3736 search results - page 182 / 748 » Hand-Writing Program Generator Generators |
266
click to vote
ICFP
2009
ACM
16 years 6 months ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...
151
click to vote
ICLP
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...
203
click to vote
PADL
2005
Springer
15 years 11 months ago
2005
Springer
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to us...
196
click to vote
SEKE
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents a state-based approach to testing aspect-oriented programs. Aspectual state models, as an extension to the testable FREE state model of classes, are exploited ...
162
click to vote
SAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...