Parsing Schemata and Correctness of Parsing Algorithms


Parsing schemata provide a high level formal de scription of parsers These can be used among others as an intermediate level of abstraction for deriving the formal correctness of a parser A parser is correct if it duely implements a parsing schema that is known to be correct In this paper it is discussed how the correctness of a parsing schema can be proven… (More)
DOI: 10.1016/S0304-3975(97)00269-7