Towards a formal description of Ada

Author(s)

• Oest, O. N.
• Bjørner, D. (Dines)

Bibliographic Information

Towards a formal description of Ada

edited by D. Bjørner and O.N. Oest

（Lecture notes in computer science, 98）

Springer-Verlag, 1980

• : gw
• : us

Note

"References and bibliography": p. 626-630

Description and Table of Contents

Table of 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.

by "Nielsen BookData"

Details

• NCID: BA03072136
• ISBN:
  • 3540102833
  • 0387102833
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin
• Pages/Volumes: xii, 630 p.
• Size: 25 cm
• Classification:
  • LCC : QA76.73.A35
  • DC19 : 001.64/24
• Subject Headings:
  • LCSH : Ada (Computer program language)
  • LCSH : Programming languages (Electronic computers) -- Semantics
• Parent Bibliography ID:
  • BA00009279