Van wijngaarden grammars as a special information processing model

  • Ingbert Kupka
Part of the Lecture Notes in Computer Science book series (LNCS, volume 88)


Van Wijngaarden grammars can be used for directly constructing problem solutions according to A. van Wijngaarden's nonprocedural problem solving method. The basis for this is the computational power of the grammars as well as their suitability for expressing abstractions and general transformations. A formal analysis of the latter property leads to an approach towards a general information processing model. As an application of this model a state-oriented method of program development is presented.


Actual Information Boolean Expression Terminal Symbol Greatest Common Divisor Information Processing Model 
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]
    Bauer, F.L.: Algorithms and Algebra, Symposium “Algorithm in Modern Mathematics and Computer Science”, Urgench, USSR, September 1979Google Scholar
  2. [2]
    Cleaveland, J.C., and Uzgalis, R.C.: Grammars for Programming Languages, New York etc., 1977Google Scholar
  3. [3]
    Deussen, P.: A Decidability Criterion for van Wijngaarden Grammars, Acta Informatica, 5, 353–375, 1975Google Scholar
  4. [4]
    Dijkstra, E.W.: Guarded Commands, Nondeterminacy and Formal Derivation of Programs, Comm.ACM, 18, 453–457, 1975Google Scholar
  5. [5]
    Hesse, W.: Vollständige formale Beschreibung von Programmiersprachen mit zweischichtigen Grammatiken, Bericht 7623, TUM, München, 1976Google Scholar
  6. [6]
    Mal'cev, A.I.: Algorithms and recursive functions, (translated from Russian), Groningen, 1970Google Scholar
  7. [7]
    Scott, D.: Logic and Programming Languages, Comm.ACM, 19, 634–641, 1976Google Scholar
  8. [8]
    van Wijngaarden, A.: vW — Grammatiken und konzeptuelle Komplexität, Kolloquium “Rechenanlagen und Anwendungsverfahren”, Inst. f. Angew. Math. u. Rechenzentrum d. Univ. Hamburg, Juni 1979 (not published)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • Ingbert Kupka
    • 1
  1. 1.Fachbereich InformatikUniversität HamburgGermany

Personalised recommendations