The IOTA Programming System 1983

Reiji Nakajima, Taiichi Yuasa (Eds.): The IOTA Programming System, A Modular Programming Environment. Lecture Notes in Computer Science 160 Springer 1983, ISBN 3-540-12693-7 BibTeX

@proceedings{DBLP:conf/iota/1983,
  editor    = {Reiji Nakajima and
               Taiichi Yuasa},
  title     = {The IOTA Programming System, A Modular Programming Environment},
  booktitle = {The IOTA Programming System},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {160},
  year      = {1983},
  isbn      = {3-540-12693-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Basis Concepts and Design Principles

Reiji Nakajima: Language, Logical Foundation, Verification. 4-29 BibTeX
Taiichi Yuasa, Reiji Nakajima: System Supports for Modular Programming. 30-47 BibTeX
Michio Honda, Reiji Nakajima: Strategies and Techniques for Interactive Proof. 48-60 BibTeX

System Description and Implementation Issues

Taiichi Yuasa, Keiji Kojima: Supports for Building Modules, Modulebase. 61-71 BibTeX
Taiichi Yuasa: Language Processing. 72-79 BibTeX
Tatsuya Hagino, Etsuya Shibayama: Verification System. 80-98 BibTeX
Michio Honda, Tatsuya Hagino, Etsuya Shibayama: Proof System. 99-108 BibTeX
Akihiko Koga, Taiichi Yuasa: Supports for Cooperative Modular Programming. 109-113 BibTeX

Program Development with the IOTA System

Tatsuya Hagino, Michio Honda, Akihiko Koga, Reiji Nakajima, Etsuya Shibayama, Taiichi Yuasa: KWIC Example. 114-175 BibTeX

Appendix

Language Syntax. 176-184 BibTeX
Built-in Modules. 185-190 BibTeX
Formal Rules and Semantics. 191-197 BibTeX
Structured Approach to Pointer Data Types. 198-213 BibTeX