4355 search results - page 86 / 871 » From Interpretation to Compilation |
129
Voted
PLDI
1997
ACM
15 years 8 months ago
1997
ACM
An interface definition language (IDL) is a nontraditional language for describing interfaces between software components. IDL compilers generate “stubs” that provide separat...
140
Voted
TABLEAUX
2009
Springer
15 years 8 months ago
2009
Springer
Projection computation is a generalization of second-order quantifier elimination, which in turn is closely related to the computation of forgetting and of uniform interpolants. O...
114
Voted
DSVIS
2008
Springer
15 years 5 months ago
2008
Springer
Graphical rendering must be fast enough so as to avoid hindering the user perception/action loop. Traditionally, programmers interleave descriptions and optimizations to achieve su...
140
Voted
ICCBR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents KES (Knowledge Extraction and Summarization), a new knowledge-enhanced approach that builds a case memory out of episodic textual narratives. These na...
134
Voted
TYPES
2004
Springer
15 years 9 months ago
2004
Springer
Abstract Within a framework of correct code-generation from HOLspecifications, we present a particular instance concerned with the optimized compilation of a lazy language (called...