Skip to main content
Springer Nature Link
Log in

Die formale Entwicklung der maschinenunabhängigen Zwischensprache CAT

  • Chapter
GI — 11. Jahrestagung

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 50))

  • 76 Accesses

Zusammenfassung

Aus denotationellen Beschreibungen der dynamischen Semantik der Programmiersprachen BASIC, COBOL, FORTRAN und PASCAL, die in der Spezifikationssprache META IV vorliegen, wird eine geneinsame, maschinenunabhängige Zwischensprache für die Übersetzung dieser Sprachen hergeleitet. In dieser Sprache werden die Programme als abstrakte Syntaxbäume dargestellt. Aus den Semantikbeschreibungen ergibt sich auch eine formale Spezifikation für die Übersetzung der Quellsprachen in die Zwischensprache.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

Literatur

  1. Bjørner, D., Jones, C.B., The Vienna Development Method: The Meta Language, Berlin, Springer LNCS 61, 1978

    Book  MATH  Google Scholar 

  2. Jensen, K., Wirth, N., PASCAL User Manual and Report Berlin, Springer, LNCS 18, 1974

    Book  Google Scholar 

  3. ANSI X3.9, American National Standard Programming Language FORTRAN, New York, American National Standards Institute, 1978

    Google Scholar 

  4. ANSI X3.23, American National Standard Programming Language COBOL, New York, American National Standards Institute, 1974

    Google Scholar 

  5. Dietz 600, C-BASIC Benutzeranleitung, Mülheim, Dietz Computer Systeme, 1977

    Google Scholar 

  6. Bjørner, D., The Systematic Development of a Compiling Algorithm, Techn. Rept. ID681, Dept. of Comp. Sci., Techn. University of Denmark, Kopenhagen, 1977

    Google Scholar 

  7. Bjørner, D., Programming Languages: Linguistics and Semantics, in Morlet, E., Ribben, D., International Computing Symposium 1977, Proceedings, Amsterdam, North-Holland Publ. Comp., 1977, S. 511

    Google Scholar 

  8. Jones, C. B., The Meta-Language: A Reference Manual in [1], S. 218 (1978)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, Deutschland

    Uwe Schmidt & Reinhard Völler

Authors
  1. Uwe Schmidt
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Reinhard Völler
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fachbereich Informatik, Universität Hamburg, Rothenbaumchaussee 67/69, 2000, Hamburg 13, Deutschland

    Wilfried Brauer

Rights and permissions

Reprints and permissions

Copyright information

© 1981 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Schmidt, U., Völler, R. (1981). Die formale Entwicklung der maschinenunabhängigen Zwischensprache CAT. In: Brauer, W. (eds) GI — 11. Jahrestagung. Informatik-Fachberichte, vol 50. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-01089-1_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-01089-1_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-10884-9

  • Online ISBN: 978-3-662-01089-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics