Sciweavers

16 search results - page 1 / 4
» Semantics-Directed Generation of a Prolog Compiler
Sort
View
66
Voted
PLILP
1991
Springer
15 years 1 months ago
Semantics-Directed Generation of a Prolog Compiler
Charles Consel, Siau-Cheng Khoo
FAC
2000
76views more  FAC 2000»
14 years 10 months ago
Natural Semantics-Directed Generation of Compilers and Abstract Machines
s and Abstract Machines Stephan Diehl Universit
Stephan Diehl
CORR
2002
Springer
114views Education» more  CORR 2002»
14 years 10 months ago
Offline Specialisation in Prolog Using a Hand-Written Compiler Generator
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalu...
Michael Leuschel, Jesper Jørgensen, Wim Van...
DAGSTUHL
1996
14 years 11 months ago
Efficiently Generating Efficient Generating Extensions in Prolog
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalua...
Jesper Jørgensen, Michael Leuschel
JUCS
2006
175views more  JUCS 2006»
14 years 10 months ago
The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages
: Several techniques for implementing Prolog in a efficient manner have been devised since the original interpreter, many of them aimed at achieving more speed. There are two main ...
Anderson Faustino da Silva, Vítor Santos Co...