What can we do about the unnecessary diversity of notation for syntactic definitions?

@article{Wirth1977WhatCW,
  title={What can we do about the unnecessary diversity of notation for syntactic definitions?},
  author={Niklaus Wirth},
  journal={Commun. ACM},
  year={1977},
  volume={20},
  pages={822-823}
}
  • N. Wirth
  • Published 1 November 1977
  • Computer Science
  • Commun. ACM
The population of programming languages is steadily growing, and there is no end of this growth in sight. Many language definitions appear in journals, many are found in technical reports, and perhaps an even greater number remains confined to proprietory circles. After frequent exposure to these definitions, one cannot fail to notice the lack of “common denominators.” The only widely accepted fact is that the language structure is defined by a syntax. But even notation for syntactic… 
BNF was here: what have we done about the unnecessary diversity of notation for syntactic definitions
TLDR
An approach to solve the diversity problem by providing a way to quickly and concisely specify all the parameters of a syntactic notation and the resulting "meta-ebnf" language was used to successfully recover many grammars from sources that use different syntactic notations.
How to define a language using PROLOG
  • C. Moss
  • Computer Science
    LFP '82
  • 1982
TLDR
The present paper attempts to give an overview of this method in the form of a practical guide to writing a language definition, which includes the context sensitive syntax, and semantics using denotational, relational or axiomatic methods.
A standard syntactic metalanguage
TLDR
This article is a general guide and explains some of the background and defines a new standard syntactic metalanguage, which is useful not only for the syntax of programming command languages, but whenever a formally defined syntax is required~ e.g. the format for references in scientific reports.
A Flexible Notation for Syntactic Definitions
TLDR
A notation is presented here which is both simple and versatile and which has additional benefits when specifying the static semantic rules of a language.
A human engineered variant of BNF
TLDR
A very simple, human engineered variant of BNF that satisfies the following criteria: the absence of angle brackets, and the use of prettyprinting to display logical structure.
Electronic Communications of the EASST Volume 49 ( 2012 ) Proceedings of the First International Workshop on Bidirectional Transformations ( BX 2012 ) Language Evolution , Metasyntactically
Currently existing syntactic definitions employ many different notations (usually dialects of EBNF) with slight deviations among them, which prevent efficient automated processing. When changes in
Language Evolution, Metasyntactically
  • V. Zaytsev
  • Computer Science
    Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
  • 2012
TLDR
This paper explains the general setup of such an infrastructure, with links to the prototypical implementation of the solution, and relies on composing a notation specification and expressing notation changes as transformations of that specification.
Notation-parametric grammar recovery
TLDR
This paper focuses on automated grammar recovery from sources that utilise a family of metasyntaxes known as EBNF: many language specifications extend the well-studied Backus Naur Form in different directions, resulting in unnecessary diversity of syntactic notations.
Proceduralism and parallelism in specification languages
TLDR
Using this language, solutions can be suggested for some example stock-control problems which are difficult to handle in a purely non-procedural way.
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 11 REFERENCES
Generation of permutations by adjacent transposition
1. RICHARD S. VARGA, Matrix Iterative Analysis, Prentice-Hall, Inc., 1962. 2. E. G. D'YAKONOV, "On a Method of Solving the Poisson Equation," Dokl. Akad. Nauk SSSR 143 (1962), 21-24, the same paper
Permutation enumeration: four new permutation algorithms
  • F. Ives
  • Mathematics, Computer Science
    CACM
  • 1976
TLDR
Performance tests which have counted execution of assignment statements, comparisons, arithmetic operations, and subscripted array references have shown superiority of the new algorithms compared to Boothroyd's Implementation of M.B. Well's algorithm and Ehrlich's implementation of the Johnson-Trotter algorithm.
A corner finder for visual feedback
TLDR
The purpose of the program described herein is to provide such information for the case in which the model is an edge or corner of a model of a line or a corner with two or three edges.
Algorithm 115: Perm
this cyclic o r d e r-t h e vertices of a simple closed p o l y g o n a n d (x0, y0) is a p o i n t n o t on a n y side of t h e polygon, t h e n t h e procedure d e t e r m i n e s , b y s e t t i n
A Parallel Mechanism for Detecting Curves in Pictures
TLDR
This correspondence shows how this method can be used to detect any given curve in a specific orientation and can be easily implemented and efficiently implemented in a parallel machine.
Finding circles by an array of accumulators
TLDR
This procedure is an extension and improvement of the circle-finding concept sketched by Duda and Hart as an extension of the Hough straight-line finder.
Picture Processing by Computer
Abstract : The field of picture processing by computer is reviewed from a technique-oriented standpoint. Only the processing of given pictures (as opposed to computer-synthesized pictures) is
Use of the Hough transformation to detect lines and curves in pictures
TLDR
It is pointed out that the use of angle-radius rather than slope-intercept parameters simplifies the computation further, and how the method can be used for more general curve fitting.
...
1
2
...