2 citations · 2 across the 4 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.SE2017
On the Effect of Semantically Enriched Context Models on Software Modularization
Amir Saeidi, Jurriaan Hage, Ravi Khadka +1
Many of the existing approaches for program comprehension rely on the linguistic information found in source code, such as identifier names and comments. Semantic clustering is one…
cs.LO2017
Constraint Handling Rules with Binders, Patterns and Generic Quantification
Alejandro Serrano, Jurriaan Hage
Constraint Handling Rules provide descriptions for constraint solvers. However, they fall short when those constraints specify some binding structure, like higher-rank types in a c…