Fence - A Context-free Grammar Parser with Constraints for Model-driven Language Specification

Traditional language processing tools constrain language designers to specific kinds of grammars. In contrast, model-based language specification decouples language design from language processing. As a consequence, model-based language specification tools need general parsers able to parse unrestricted context-free grammars. As languages specified following this approach may be ambiguous, parsers must deal with ambiguities. Model-based language specification also allows the definition of associativity, precedence, and custom constraints. Therefore parsers generated by model-driven language specification tools need to enforce constraints. In this paper, we propose Fence, an efficient bottom-up chart parser with lexical and syntactic ambiguity support that allows the specification of constraints and, therefore, enables the use of model-based language specification in practice.

[1]  Fernando Berzal Galiano,et al.  A Tool for Model-Based Language Specification , 2011, ArXiv.

[2]  Jay Earley,et al.  An efficient context-free parsing algorithm , 1970, Commun. ACM.

[3]  Douglas C. Schmidt,et al.  Model-Driven Engineering , 2006 .

[4]  Donald E. Knuth,et al.  On the Translation of Languages from Left to Right , 1965, Inf. Control..

[5]  Fernando Berzal Galiano,et al.  Lamb - A Lexical Analyzer with Ambiguity Support , 2011, ICSOFT.

[6]  Jerzy R. Nawrocki Conflict Detection and Resolution in a Lexical Analyzer Generator , 1991, Inf. Process. Lett..

[7]  James H. Martin,et al.  Speech and Language Processing: An Introduction to Natural Language Processing, Computational Linguistics, and Speech Recognition , 2000 .

[8]  Jaime G. Carbonell,et al.  The Universal Parser Architecture for Knowledge-based Machine Translation , 1987, IJCAI.

[9]  F. L. Deremer,et al.  Practical translators for LR(k) languages , 1969 .

[10]  Alaa A. Kharbouch,et al.  Three models for the description of language , 1956, IRE Trans. Inf. Theory.

[11]  M Mernik,et al.  When and how to develop domain-specific languages , 2005, CSUR.

[12]  Paul Hudak,et al.  Building domain-specific embedded languages , 1996, CSUR.

[13]  Valter Crescenzi,et al.  Automatic information extraction from large websites , 2004, JACM.

[14]  Anthony G. Oettinger,et al.  Automatic syntactic analysis and the pushdown store , 1961 .

[15]  Fernando Berzal Galiano,et al.  A Language Specification Tool for Model-Based Parsing , 2011, IDEAL.

[16]  Franklin L. DeRemer,et al.  Simple LR(k) grammars , 1971, Commun. ACM.

[17]  Tadao Kasami,et al.  A Syntax-Analysis Procedure for Unambiguous Context-Free Grammars , 1969, J. ACM.

[18]  Alicia Ageno,et al.  Adaptive information extraction , 2006, CSUR.

[19]  Daniel H. Younger,et al.  Recognition and Parsing of Context-Free Languages in Time n^3 , 1967, Inf. Control..