Sciweavers

16 search results - page 1 / 4
» Semantics-Directed Generation of a Prolog Compiler
Sort
View
73
Voted
PLILP
1991
Springer
15 years 3 months ago
Semantics-Directed Generation of a Prolog Compiler
Charles Consel, Siau-Cheng Khoo
77
Voted
FAC
2000
76views more  FAC 2000»
15 years 2 days 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»
15 years 2 days 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
15 years 1 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
166
Voted
JUCS
2006
175views more  JUCS 2006»
15 years 6 days 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...