Advertisement

A method using a set-theoretical formalism to describe the semantics of programming languages

  • Walter Issel
Communications
Part of the Lecture Notes in Computer Science book series (LNCS, volume 45)

Keywords

Programming Language Finite Sequence Logical Symbol Basic Symbol Conditional Structure 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Issel, W., Eine Methode zur Formalisierung der Semantik von Programmierungssprachen, Diss. B Humboldt-Universität zu Berlin, 1975.Google Scholar
  2. 2.
    Issel, W., A method to formalize the semantics of programming languages, Elektronische Informationsverarbeitung und Kybernetik 11 (1975), 228–239.Google Scholar
  3. 3.
    Issel, W., A model for PL/I-multitasking using a simulated time, Elektronische Informationsverarbeitung und Kybernetik 11 (1975), 239–252.Google Scholar
  4. 4.
    Issel, W., A model for PL/I list-processing using the method of semantic bricks, to appear in Elektronische Informationsverarbeitung und Kybernetik 12 (1976).Google Scholar
  5. 5.
    Lucas, P., Lauer, P., Stigleitner, H., Method and notation for the formal definition of programming languages, TR 25.087 IBM, 1968.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1976

Authors and Affiliations

  • Walter Issel
    • 1
  1. 1.Central Institute of Mathematics and Mechanics of the Academy of Sciences of GDR108 BerlinGDR

Personalised recommendations