Re: Books for partial evaluation?

m-sr0069@missjane.cs.nyu.edu (Salem Reyen) writes:
      [ Are there any other books on P.E. other than Jones&Gomard&Sestoft
          and Consel&Danvy ]


The only other one I know if is by Pagan [Pagan:pcclp:1991], though
this is at a more introductory book than Jones&Gomard&Sestoft and is
geared towards practical use of PE in the construction of lexers and
parsers (for a review see the computing reviews 9108-0589). If you
can't find the book, a couple of papers, one in Software Practice &
Experience [Pagan:spe:1988] and one in Sigplan Notices
[Pagan:acm:sigplan:1990] give a flavour of the book.




@article
{ Pagan:spe:1988
, author= "F. G. Pagan"
, title= "Converting interpreters into compilers"
, journal= spe
, volume= 18
, pages= "509--527"
, year= 1988
, reffrom= Pagan:acm:sigplan:1990
, reffrom= Hannan:Miller:acm:lfp:1990
}






@article
{ Pagan:acm:sigplan:1990
, author= "Frank G. Pagan"
, title= "Comparative Efficiency of General and Residual Parsers"
, journal= acm:sigplan
, volume= 25
, number= 4
, pages= "59--68"
, month= apr
, year= 1990
, checked= 19940602
, refs= 6
, keywords= "partial evaluation, parsers, source"
, abstract= "Some fundamentals of the partial computation concept are
concisely reviewed, including its relevance to the relationship
between table-driven, general syntactic analyzers and
source-language-specific, residual syntactic analyzers. A manual
methodology for converting genral parsers into generators of residual
parsers is explained, using an LL(1) parser as a detailed example.
The results of several experiments are reported, comparing the time
and speace efficiencies of different general parsers with
corresponding, automatically generated, residual parsers. The latter
parsers are usually several times faster than the former ones."
}




@book
{ Pagan:pcclp:1991
, author= "Frank G. Pagan"
, title= "Partial computation and the construction of language processors"
, publisher= "Prentice-Hall"
, year= 1991
, cr= "9108-0589"
, keywords= "partial evaluation"
, reffrom= Pagan:acm:sigplan:1990
}
--

Return to the comp.compilers page.
Search the comp.compilers archives again.