A validating Fermat Parse using the Meta-S Calculus

http://qtj.n3.net/cs/metas/fermatparse.html


A Validating Fermat Parse Using the §-Calculus


Abstract:


This document demonstrates an §-grammar, implemented in A-BNF form in
the Meta-S Grammar Development System (next release), that parses a
BASIC-like language called Fermat. The file parsed in this
demonstration is shown in Appendix A. The grammar used is described in
Appendix B. The primary feature demonstrated is the use of predicates
and binding to effect semantic checks during a parse, without any need
for code outside the grammar specification. This is demonstrated by
the successive parsing of a document that is syntactically correct,
but contains semantic errors of various types. To date, Meta-S is the
only grammar development system with features that allow for this
grade of parsing without user-supplied semantic checking code.


--
Quinn Tyler Jackson
http://QuinnTylerJackson.n3.net/

Return to the comp.compilers page.
Search the comp.compilers archives again.