891 search results - page 38 / 179 » Implementation, Compilation, Optimization of Object-Oriented... |
122
Voted
PADL
2010
Springer
16 years 19 days ago
2010
Springer
Abstract. We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusin...
144
Voted
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
Workload, platform, and available resources constitute a parallel program’s execution environment. Most parallelization efforts statically target an anticipated range of environ...
119
Voted
CC
2003
Springer
15 years 9 months ago
2003
Springer
We have developed Tm, a template-based metacompiler. Given a set of data-structure definitions and a template, Tm generates files that instantiate the template for the given data...
141
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An impor...
114
Voted
CC
2003
Springer
15 years 9 months ago
2003
Springer
Polyglot is an extensible compiler framework that supports the easy creation of compilers for languages similar to Java, while avoiding code duplication. The Polyglot framework is ...