Los Angeles, CA
March 31, 2009 to April 2, 2009
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CSIE.2009.461
This paper introduces a formalism for the syntactic description of programming languages. While our work clearly borrows from existing, well-known formalisms such as EBNF, its primary contribution is to provide a notation that can serve both as a concise, formal linguistic description as well as input to a parser generator. This is achieved through the use of notational conventions in place of excessive markup. These conventions are fully defined and enable a syntax to remain concise without relying on informal descriptions. Benefits of the notation include a clear separation of microsyntax and macrosyntax — a trait curiously lacking from many published programming language standards. We also provide a description of the formalism using its own notation.
Ray Toal, Derek Smith, "Convention-Based Syntactic Descriptions", CSIE, 2009, 2009 WRI World Congress on Computer Science and Information Engineering, CSIE, 2009 WRI World Congress on Computer Science and Information Engineering, CSIE 2009, pp. 797-801, doi:10.1109/CSIE.2009.461