An on-the-fly grammar modification mechanism for composing and defining extensible languages. (July 2015)

• Record Type: Journal Article
• Authors: Reis, Leonardo V.S.; Di Iorio, Vladimir O.; Bigonha, Roberto S.
• Is Part Of: Computer languages, systems & structures. Volume 42(2015)
• Page Start: 46
• Page End: 59
• Publication Date: 2015-07
• Subjects: Parsing Expression Grammars -- Extensible languages -- Grammars -- Language composition; Programming languages (Electronic computers) -- Periodicals; Computer networks -- Periodicals; Computer architecture -- Periodicals; Computer systems -- Periodicals; Langage de programmation; Réseau d'ordinateurs; Architecture d'ordinateur; Périodique électronique (Descripteur de forme); Ressource Internet (Descripteur de forme); 005.13
• DOI: 10.1016/j.cl.2015.01.002
• Languages: English
• ISSNs: 1477-8424

Abstract

Abstract: Adaptable Parsing Expression Grammar (APEG) is a formal method for defining the syntax of programming languages. It provides an on-the-fly mechanism to perform modifications of the syntax of the language during parsing time. The primary goal of this dynamic mechanism is the formal specification and the automatic parser generation for extensible languages. In this paper, we show how APEG can be used for the definition of the extensible languages SugarJ and Fortress, clarifying many aspects of the syntax of these languages. We also show that the mechanism for on-the-fly modification of syntax rules can be useful for defining grammars in a modular way, implementing almost all types of language composition in the context of specification of extensible languages. Abstract : Highlights: We evaluate an adaptable model based on Parsing Expressions Grammars, called APEG. we define the syntax of SugarJ and Fortress using APEG. We analyze the flexible mechanism of APEG to change the grammar on-the-fly. The flexibility to modify grammars allows APEG to reuse other grammars definitions. The mechanism of on-the-fly modification of grammars allows composing languages.