Title Towards a formal description of Ada / edited by D. Bjørner and O.N. Oest

Published Berlin ; New York : Springer-Verlag, 1980

Click on the following:
Springer eBooks

Copies

Description 1 online resource (xii, 630 pages) Series Lecture notes in computer science ; 98 Lecture notes in computer science ; 98. 0302-9743 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 Bibliography Includes bibliographical references (pages 626-630) SUBJECT Ada gnd Subject Ada (Computer program language) Programming languages (Electronic computers) -- Semantics. Ada (Computer program language) Programming languages (Electronic computers) -- Semantics Ada ADA. Ada (Computer program language) Ada (langage de programmation) Langages de programmtion -- Sémantique. Form Electronic book Author Bjørner, D. (Dines), 1937- Oest, O. N. ISBN 9783540384151 3540384154 3540102833 9783540102830

  Permalink