Partial evaluation grammars

Partial evaluation grammar (PEG), a specification language that permits syntax and semantics to be integrally defined, is introduced. Definite clause grammars and basic partial evaluation, important foundations for PEGs, are analyzed. States that represent random access memory and I/O files are detailed. The predicate definition, PEG's center concept, eliminates the use of intermediate code, thus improving readability and compilers' mechanical derivation. PEG's exact procedural semantics and an application to the Warren Abstract Machine are also described.