Towards a Formal Description of Ada
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

Full names Links ISxN
	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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.