Image from Amazon.com
Towards a formal description of Ada / edited by D. Bjørner and O.N. Oest.
Material type:
TextSeries: Lecture notes in computer science ; 98.Publisher: Berlin ; New York : Springer-Verlag, 1980Description: 1 online resource (xii, 630 pages)Content type: - text
- computer
- online resource
- 9783540384151
- 3540384154
- 3540102833
- 9783540102830
- Ada
- Ada (Computer program language)
- Programming languages (Electronic computers) -- Semantics
- Ada (Langage de programmation)
- Langages de programmation -- Sémantique
- Ada (Computer program language)
- Programming languages (Electronic computers) -- Semantics
- Ada
- ADA
- Ada (Computer program language)
- Ada (langage de programmation)
- Langages de programmtion -- Sémantique
- 001.64/24 19
- QA76.73.A35 T68 1980
- 54.53
- SS 4800
- 19a
Contents:
The DDC Ada compiler development method -- A denotational (static) semantics method for defining Ada context conditions -- A formal semantics definition of sequential Ada -- Parallelism in Ada -- The design of a virtual machine for Ada.
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
eBook
|
e-Library | eBook LNCS | Available |
Total holds: 0
Includes bibliographical references (pages 626-630).
The DDC Ada compiler development method -- A denotational (static) semantics method for defining Ada context conditions -- A formal semantics definition of sequential Ada -- Parallelism in Ada -- The design of a virtual machine for Ada.