Sciweavers

PEPM
1993
ACM

Partial Evaluation of General Parsers

13 years 7 months ago
Partial Evaluation of General Parsers
Applications of partial evaluation have so far mainly focused on generation of compilers from interpreters for programming languages. We partially evaluate a simple general LR(k) parsing algorithm. To obtain good results, we rewrite the algorithm using a number of binding-time improvements. The final LR(1) parser has been specialized using Similix, a partial evaluator for a higher order subset of Scheme [3]. The obtained specialized parsers are efficient and compact. Partial evaluation is responsible for the (equivalent of) the sets-of-items construction, and the construction of parsing tables. er is an extended abstract of [14].
Christian Mossin
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1993
Where PEPM
Authors Christian Mossin
Comments (0)