Dines Bjørner, Ole N. Oest
Towards a Formal Description of Ada
TFDA-1980, 1980.

@proceedings{TFDA-1980,
	editor        = "Dines Bjørner and Ole N. Oest",
	isbn          = "3-540-10283-3",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Towards a Formal Description of Ada}",
	volume        = 98,
	year          = 1980,
}

Contents (6 items)

5 ×#ada
2 ×#semantics

TFDA-1980-BjornerO #ada #compilation #development

The DDC Ada Compiler Development Project (DB, ONO), pp. 1–20.

TFDA-1980-BundgaardS #ada #semantics

A Denotational (Static) Semantics Method for Defining Ada Context Conditions (JB, LS), pp. 21–212.

TFDA-1980-Pedersen #ada #semantics

A Formal Semantics Definition of Sequential Ada (JSP), pp. 213–308.

TFDA-1980-Lovengreen #ada #parallel

Parallelism in Ada (HHL), pp. 309–434.

TFDA-1980-Dommergaard #ada #design #virtual machine

The Design of a Virtual Machine for Ada (OD), pp. 435–606.

TFDA-1980-Bjorner #metalanguage

Reference Manual for the Meta-Language (DB), pp. 607–623.