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

V. 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.
Type de document :
Communication dans un congrès
Mernik, M. and Bryant, B. Programming Languages Track, Volume II of the Proceedings of the 27th ACM Symposium on Applied Computing (SAC 2012), Mar 2012, Riva del Garda, Italy. ACM, pp.1910 - 1915, 2012
Liste complète des métadonnées

https://hal.inria.fr/hal-00756890
Contributeur : Jurgen Vinju <>
Soumis le : vendredi 23 novembre 2012 - 22:29:55
Dernière modification le : lundi 5 octobre 2015 - 16:59:02

Identifiants

  • HAL Id : hal-00756890, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

84