Mastering contextsensitivity in programming languages

  • Gerhard Barth
Part of the Lecture Notes in Computer Science book series (LNCS, volume 64)


A system for the specification of programming languages is introduced. It exceeds the description power of BNF but retains two most attractive features, readability and efficient syntax checking methods.


Programming Language Recording State Letter String Procedure Call Control Word 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    A.V. Aho, J.D. Ullman: Principles of Compiler Design. Addison-Wesley, Reading Massachusetts, 1977Google Scholar
  2. [2]
    G. Barth: Protokollgrammatiken — Ein Konzept zur zeitvarianten Kontrolle bei kontextfreien Ersetzungen. Doctorial Thesis, Universität Kaiserslautern, 1977Google Scholar
  3. [3]
    ---: Grammars with Dynamic Control Sets. To be presented at the 5th ICALP Conference Udine 1978. Appears in Springer Lecture Notes in Computer ScienceGoogle Scholar
  4. [4]
    ---: Efficient Non-Contextfree Parsing. Informatik Fachberichte Vol. 10, Springer-Verlag 1977 (ed. H.J.Schneider), 1–15Google Scholar
  5. [5]
    G.Bochmann: Semantic Evaluation from Left to Right. CACM 19 (76), 55Google Scholar
  6. [6]
    S. Ginsburg, E. Rounds: Dynamic Syntax Specification Using Grammar Forms. IEEE Trans. on Software Eng. 4 (1978), 44–55Google Scholar
  7. [7]
    K.V. Hanford, C.B. Jones: Dynamic Syntax: Definition of the Syntax of Programming Languages. Ann. Review in Aut. Prog. 7 (1974), 115CrossRefGoogle Scholar
  8. [8]
    T. Kasai: An Hierarchy between Contextfree and Contextsensitive Languages. JCSS 4 (1970), 492Google Scholar
  9. [9]
    M. Marcotty, H. Ledgard, G, Bochmann: A Sampler of Formal Definitions. Comp. Surveys 8 (1976), 191CrossRefGoogle Scholar
  10. [10]
    A. Salomaa: Formal Languages. Academic Press London, 1973Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1978

Authors and Affiliations

  • Gerhard Barth
    • 1
  1. 1.Fachbereich InformatikUniversität KaiserslauternGermany

Personalised recommendations