Towards a Formal Description of Ada

Front Cover
D Bjorner, O.N. Oest
Springer Science & Business Media, 1980 - Computers - 630 pages
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Contents page
24
Declarative Parts Declarative Items and Compilation
48
Subprograms
64
The Notion of Types in Ada
72
The Data Types in Ada
82
Expressions
99
Names
111
Statements
118
4
286
Parallelism in Ada
309
Page
311
A Formal Model of the Tasking Concept in Ada
321
The Formal Model
385
5
386
An Ada Computer
435
5
487

Remaning Work
128
The Formal Model of M Context Conditions
135
A Formal Semantics Definition of Sequential Ada
213
Host Machine Computer Interface
266
CONTENTS
609
ABSTRACT SYNTAX
617
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information