Ebook: Towards a Formal Description of Ada
- Tags: Programming Languages Compilers Interpreters
- Series: Lecture Notes in Computer Science 98
- Year: 1980
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- pdf
Content:
Front Matter....Pages -
The DDC Ada compiler development method....Pages 1-20
A denotational (static) semantics method for defining Ada context conditions....Pages 21-212
A formal semantics definition of sequential Ada....Pages 213-308
Parallelism in Ada....Pages 309-434
The design of a virtual machine for Ada....Pages 435-606
Back Matter....Pages -
Content:
Front Matter....Pages -
The DDC Ada compiler development method....Pages 1-20
A denotational (static) semantics method for defining Ada context conditions....Pages 21-212
A formal semantics definition of sequential Ada....Pages 213-308
Parallelism in Ada....Pages 309-434
The design of a virtual machine for Ada....Pages 435-606
Back Matter....Pages -
....
Download the book Towards a Formal Description of Ada for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)