Towards a Formal Description of Ada

Book

An Attribute Grammar for the Semantic Analysis of ADA (Lecture Notes in Computer Science, 139)

Book

An Analytical Description of CHILL, the CCITT High Level Language

Book

Report on the Programming Language PLZ/SYS

Book

Report on the Algorithmic Language ALGOL 68

Book

The Programming Language Ada: Reference Manual. Proposed Standard Document United States Department of Defense (Lecture Notes in Computer Science, 106)

Book

Paragon A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types

Book

ANNA A Language for Annotating Ada Programs Reference Manual

Book

ADA Eine Einführung in die Programmiersprache der Softwaretechnik

Book

DIANA. An Intermediate Language for Ada: Revised Version (Lecture Notes in Computer Science, 161)

Book

A Review of Ada Tasking