A simple implementation of grammar libraries

Cervelle, Julien; Forax, Rémi; Roussel, Gilles

doi:10.2298/csis0702065c

Cited by 9 publications

(6 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This is one of the key concepts to support language adaptation during the program execution. In the literature, it is A C C E P T E D M A N U S C R I P T possible to find parsers with similar properties as Tatoo's [72] and Silver's [18] ones even if, in these cases, parser extensibility is limited to rules addition and not to their removal.…”

Section: Accepted Manuscriptmentioning

confidence: 99%

“…Therefore any micro-language extension will imply recompiling the whole interpreter hindering the possibility of deploying adaptations at runtime. Tatoo [72,77] focuses on grammars composition de facto enabling separate compilations but it does not support the modularization and composition of the language semantics: it could be integrated with any other modular language development framework to get the needed semantics support. More in general, any language development framework, such as Xtext [78], could provide micro-languages support to DSU, but modular development frameworks are preferable since they provide a finer change granularity and so are more flexible.…”

Section: Accepted Manuscriptmentioning

confidence: 99%

See 1 more Smart Citation

μ -DSU: A Micro-Language Based Approach to Dynamic Software Updating

Cazzola

Chitchyan

Rashid

et al. 2018

Computer Languages, Systems & Structures

View full text Add to dashboard Cite

Today software systems play a critical role in society's infrastructures and many are required to provide uninterrupted services in their constantly changing environments. As the problem domain and the operational context of such software changes, the software itself must be updated accordingly. In this paper we propose to support dynamic software updating through language semantic adaptation; this is done through use of micro-languages that confine the effect of the introduced change to specific application features. Micro-languages provide a logical layer over a programming language and associate an application feature with the portion of the programming language used to implement it. Thus, they permit to update the application feature by updating the underlying programming constructs without affecting the behaviour of the other application features. Such a linguistic approach provides the benefit of easy addition/removal of application features (with a special focus on non-functional features) to/from a running application by separating the implementation of the new feature from the original application, allowing for the application to remain unaware of any extensions. The feasibility of this approach is demonstrated with two studies; its benefits and drawbacks are also analysed.

show abstract

Section: Accepted Manuscriptmentioning

confidence: 99%

Section: Accepted Manuscriptmentioning

confidence: 99%

μ -DSU: A Micro-Language Based Approach to Dynamic Software Updating

Cazzola

Chitchyan

Rashid

et al. 2018

Computer Languages, Systems & Structures

View full text Add to dashboard Cite

show abstract

“…As with parameterised rules, menhir processes the modules before parser generation, merging them into a single file. This contrasts with more sophisticated approaches, such as Tatoo, which supports the combination of modules at run time, at the cost of potentially changing the language recognised by the parser.…”

Section: Grammar Engineering With Menhirmentioning

confidence: 99%

Grammar engineering for multiple front‐ends for Python

Malloy

Power

2018

Softw Pract Exp

View full text Add to dashboard Cite

In this paper, we describe our experience in grammar engineering to construct multiple parsers and front ends for the Python language. We present a metrics-based study of the evolution of the Python grammars through the multiple versions of the language in an effort to distinguish and measure grammar evolution and to provide a basis of comparison with related research in grammar engineering. To conduct this research, we have built a toolkit, pygrat, which builds on tools developed in other research. We use pygrat to build a system that automates much of the process needed to translate the Python grammars from EBNF to a formalism acceptable to the bison parser generator. We exploit the suite of Python test cases, used by the Python developers, to validate our parser generation. Finally, we describe our use of the menhir parser generator to facilitate the parser and front-end construction, eliminating some of the transformations and providing practical support for grammar modularisation.

show abstract

“…Several works have this goal and propose techniques for generating small parse tables for parts of the language, and combining them to form the table for the language. As an example, Cervelle et al [35] implements a system which supports to separate compilation of pieces of grammars and dynamic linkage of these pieces at runtime. Parse tables are generated using a bottom-up approach from incomplete grammars in which some nonterminals, those that come from other pieces of grammars, are treated as special terminals (branch points).…”

Section: Grammar Modularizationmentioning

confidence: 99%

An on-the-fly grammar modification mechanism for composing and defining extensible languages

Reis¹,

Iorio²,

Bigonha³

2015

Computer Languages, Systems & Structures

View full text Add to dashboard Cite

a b s t r a c tAdaptable 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.

show abstract

A simple implementation of grammar libraries

Abstract: International audienc

Cited by 9 publications

References 7 publications

μ -DSU: A Micro-Language Based Approach to Dynamic Software Updating

μ -DSU: A Micro-Language Based Approach to Dynamic Software Updating

Grammar engineering for multiple front‐ends for Python

An on-the-fly grammar modification mechanism for composing and defining extensible languages

Contact Info

Product

Resources

About