Die formale Entwicklung der maschinenunabhängigen Zwischensprache CAT

Aus denotationellen Beschreibungen der dynamischen Semantik der Programmiersprachen BASIC, COBOL, FORTRAN und PASCAL, die in der Spezifikationssprache META IV vorliegen, wird eine geneinsame, maschinenunabhangige Zwischensprache fur die Ubersetzung dieser Sprachen hergeleitet. In dieser Sprache werden die Programme als abstrakte Syntaxbaume dargestellt. Aus den Semantikbeschreibungen ergibt sich auch eine formale Spezifikation fur die Ubersetzung der Quellsprachen in die Zwischensprache.