Towards a formal description of Ada

著者

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

書誌事項

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

注記

"References and bibliography": p. 626-630

内容説明・目次

目次

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.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA03072136
• ISBN:
  • 3540102833
  • 0387102833
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin
• ページ数/冊数: xii, 630 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA76.73.A35
  • DC19 : 001.64/24
• 件名:
  • LCSH : Ada (Computer program language)
  • LCSH : Programming languages (Electronic computers) -- Semantics
• 親書誌ID:
  • BA00009279