A derivative-based parser generator for visibly Pushdown grammars

In this paper, we present a derivative-based, functional recognizer and parser generator for visibly pushdown grammars. The generated parser accepts ambiguous grammars and produces a parse forest containing all valid parse trees for an input string in linear time. Each parse tree in the forest can then be extracted also in linear time. Besides the parser generator, to allow more flexible forms of the visibly pushdown grammars, we also present a translator that converts a tagged CFG to a visibly pushdown grammar in a sound way, and the parse trees of the tagged CFG are further produced by running the semantic actions embedded in the parse trees of the translated visibly pushdown grammar. The performance of the parser is compared with a popular parsing tool ANTLR and other popular hand-crafted parsers. The correctness of the core parsing algorithm is formally verified in the proof assistant Coq.

Description Of Context Free Grammars In Json Format For Parser Generators

Analysis of various presentations for context free grammars provided with parser generators. A new description format of context free grammars is proposed. Given a representation of context free grammar in JSON format. The concept of a new parser generator based on JSON data format of describing context free grammars is presented. Described a parser generation scheme based on that concept.

focheck XSL-FO Validation Framework

XSL-FO documents are typically generated by an XSLT transform and thus rarely edited by hand. However, validating XSL-FO markup can be a useful check of the correctness of the transformation. The focheck Validation Framework is an open source project that bundles a Relax NG Schema for validating the structure of FO files with Schematron rules for validating property expressions. Validation uses an expression parser generated as an XSLT program by the REx parser generator; Schematron rules are mostly autogenerated, using an XSLT stylesheet to extract property value definitions from the XML version of the XSL 1.1 Recommendation. Since its introduction in 2015, focheck has added extension formatting objects, properties specific to Antenna House Formatter V6.3, and some Schematron Quick Fixes (SQF). Both GitHub and Oxygen framework versions of focheck are available. See what it can do!