Programming languages and their definition

著者

• Bekič, H. (Hans)
• Jones, Cliff B.

書誌事項

Programming languages and their definition

H. Bekič ; selected papers edited by C.B. Jones

（Lecture notes in computer science, 177）

Springer-Verlag, 1984

• : gw
• : us

注記

Includes bibliographical references

内容説明・目次

目次

Note on a test example for ALGOL60 compilers by D.E. Knuth.- The assignment to a type procedure identifier in ALGOL60.- The meaning of names in PL/I.- Defining a language in its own terms.- Note on some problems concerning the PL/I manual and its re-writing.- Definable operations in general algebras, and the theory of automata and flowcharts.- Formalization of storage properties.- On the formal definition of programming languages.- A formal definition of a PL/I subset.- Mathematical semantics and compiler correctness.- Towards a mathematical theory of processes.- From comments arising from a lecture in Amsterdam, June 1972.- The semantics of parallel processing.- Nondeterministic functions and the semantics of CSP.- Nondeterministic programs : An example.- A model of nondeterminism: Indexed sets and their equivalence.

「Nielsen BookData」 より

• NII書誌ID(NCID): BA03034851
• ISBN:
  • 354013378X
  • 038713378X
• LCCN: 84014094
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin ; New York ; Tokyo
• ページ数/冊数: xxxii, 254 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA76.7
  • DC19 : 001.64/24
• 件名:
  • LCSH : Programming languages (Electronic computers)
• 親書誌ID:
  • BA00009279