
Towards a Formal Description of Ada
Springer (Publisher)
Published on 1. December 1980
Book
Paperback/Softback
XIV, 630 pages
978-3-540-10283-0 (ISBN)
Description
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.
More details
Series
Edition
1980 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
XIV, 630 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 35 mm
Weight
966 gr
ISBN-13
978-3-540-10283-0 (9783540102830)
DOI
10.1007/3-540-10283-3
Schweitzer Classification
Content
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.