487 search results - page 52 / 98 » A Compiled Implementation of Normalization by Evaluation |
157
Voted
HASKELL
2007
ACM
15 years 7 months ago
2007
ACM
This paper describes the design and construction of a Haskell source-level debugger built into the GHCi interactive environment. We have taken a pragmatic approach: the debugger i...
144
click to vote
SC
1995
ACM
15 years 7 months ago
1995
ACM
We describe the design of a runtime system for a fine-grained concurrent object-oriented (actor) language and its performance. The runtime system provides considerable flexibility...
112
Voted
AAAI
2000
15 years 4 months ago
2000
We consider the compilation of different reasoning tasks into the evaluation problem of quantified boolean formulas (QBFs) as an approach to develop prototype reasoning systems us...
111
Voted
AAAI
1997
15 years 4 months ago
1997
Our goal is to build knowledge acquisition tools that support users in modifying knowledge-based systems. These modi cations may require several individual changes to various comp...
125
click to vote
CC
2000
Springer
15 years 3 months ago
2000
Springer
The performance of a Java Virtual Machine (JVM) interpreter running on a very long instruction word (VLIW) processor can be improved by means of pipelining. While one bytecode is i...