135 search results - page 7 / 27 » Clone Detection Using Abstract Syntax Trees |
104
Voted
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
High-level formalisms for reasoning about names and binding such uijn indices, various flavors of higher-order abstract syntax, ry of Contexts, and nominal abstract syntax address...
93
Voted
DAGSTUHL
2006
15 years 2 months ago
2006
Abstract. An overview of the concept of program similarity is presented. It divides similarity into two types--syntactic and semantic-and provides a review of eight categories of m...
107
Voted
ICLP
1995
Springer
15 years 4 months ago
1995
Springer
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...
123
Voted
CC
2003
Springer
15 years 6 months ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
92
Voted
ECLIPSE
2006
ACM
15 years 7 months ago
2006
ACM
In this paper, we present the APFEL plug-in that collects finegrained changes from version archives in a database. APFEL is built upon the Eclipse infrastructure for CVS and Java....