1251 search results - page 91 / 251 » Optimizing Compilation of CLP(R) |
TOPLAS
1998
14 years 9 months ago
1998
Abstract: We introduce a unified framework to describe, relate, compare and classify functional language implementations. The compilation process is expressed as a succession of p...
111
click to vote
ICFEM
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
EDBT
2006
ACM
15 years 10 months ago
2006
ACM
We present the architecture of Natix V2. Among the features of this native XML Data Store are an optimizing XPath query compiler and a powerful API. In our demonstration we explain...
IFL
2003
Springer
15 years 3 months ago
2003
Springer
Construction of complex array operations by composition of more basic ones allows for abstract and concise specifications of algorithms. Unfortunately, na¨ıve compilation of suc...
IEEEPACT
1998
IEEE
15 years 2 months ago
1998
IEEE
This work identifies practical compiling techniques for scalable shared memory machines. For this, we have focused on experimental studies using a real machine and representative ...