Skip to Main content Skip to Navigation
Conference papers

BNF WAS HERE: What Have We Done About The Unnecessary Diversity Of Notation For Syntactic Definitions

Vadim Zaytsev 1 
1 ATEAMS - Analysis and Transformation based on rEliAble tool coMpositionS
Inria Lille - Nord Europe, CWI - Centrum Wiskunde & Informatica
Abstract : Reusing existing grammar knowledge residing in standards, specifications and manuals for programming languages, faces several challenges. One of the most significant of them is the diversity of syntactic notations: without loss of generality, we can state that every single language document uses its own notation, which is more often than not, a dialect of the (Extended) Backus-Naur Form. In this paper we report on an approach to solve the diversity problem by providing a way to quickly and concisely specify all the parameters of a syntactic notation. The resulting ''meta-ebnf'' language was used to successfully recover many grammars from sources that use different syntactic notations. Instead of adding another syntactic notation and arguing about its excellence, we propose to retain the diversity and to cope with it by formally defining syntactic notations and using such definitions to import existing grammars to grammar engineering frameworks and to export (pretty-print) existing grammars to any desired syntactic notation. This result effectively bridges programming language standards and parser generators. The conclusions presented in the paper, were drawn based on analysis of a large corpus of language documents, as well as on the success of its application in practice.
Document type :
Conference papers
Complete list of metadata
Contributor : Jurgen Vinju Connect in order to contact the contributor
Submitted on : Friday, November 23, 2012 - 10:29:55 PM
Last modification on : Thursday, January 20, 2022 - 4:15:34 PM


  • HAL Id : hal-00756890, version 1



Vadim Zaytsev. BNF WAS HERE: What Have We Done About The Unnecessary Diversity Of Notation For Syntactic Definitions. Programming Languages Track, Volume II of the Proceedings of the 27th ACM Symposium on Applied Computing (SAC 2012), Mar 2012, Riva del Garda, Italy. pp.1910 - 1915. ⟨hal-00756890⟩



Record views