1264 search results - page 89 / 253 » Abstract machines for programming language implementation |
131
click to vote
PARLE
1992
15 years 8 months ago
1992
Collection-oriented languages provide high-level constructs for describing computations over collections. These languages are becoming increasingly popular with the advent of massi...
156
click to vote
TIC
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...
135
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. The LogAnswer system is an application of automated reasoning to the field of open domain question-answering, the retrieval of answers to natural language questions regar...
140
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
Recent research has shown how boilerplate code, or repetitive code for traversing datatypes, can be eliminated using generic programming techniques already available within some i...
117
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
Abstract. Class extensions provide a fine-grained mechanism to define incremental modifications to class-based systems when standard subclassing mechanisms are inappropriate. To...