LR-PARSING DERIVEDHesselink, W. H., Nov-1992, In : Science of computer programming. 19, 2, p. 171-196 26 p.
Research output: Contribution to journal › Article › Academic › peer-review
The LR(k)-parsing algorithm is derived, i.e., presented and proved as an interplay between program development and parsing theory. The program development uses invariants and the new concept of weakest angelic precondition. The parsing theory involved relates rightmost derivability to three other transitive relations on strings. The usual stack of item sets and the finite automaton appear in an optimisation of the abstract algorithm.
|Number of pages||26|
|Journal||Science of computer programming|
|Publication status||Published - Nov-1992|