PCC Framework for Program-Generators

Parsing Program Pgm Grammar G Abstract Parsing Semanitcs AbstractParsing(Pgm, G)({Pinit}) = {Pacc}