The IOTA Programming System

Keyphrases

Publications

1983

Reiji Nakajima
Language, Logical Foundation, Verification. The IOTA Programming System (1983)
Tatsuya Hagino, Etsuya Shibayama
Verification System. The IOTA Programming System (1983)
Taiichi Yuasa, Keiji Kojima
Supports for Building Modules, Modulebase. The IOTA Programming System (1983)
Structured Approach to Pointer Data Types. The IOTA Programming System (1983)
Formal Rules and Semantics. The IOTA Programming System (1983)
Taiichi Yuasa, Reiji Nakajima
System Supports for Modular Programming. The IOTA Programming System (1983)
Akihiko Koga, Taiichi Yuasa
Supports for Cooperative Modular Programming. The IOTA Programming System (1983)
Michio Honda, Reiji Nakajima
Strategies and Techniques for Interactive Proof. The IOTA Programming System (1983)
Built-in Modules. The IOTA Programming System (1983)
Tatsuya Hagino, Michio Honda, Akihiko Koga, Reiji Nakajima, Etsuya Shibayama, Taiichi Yuasa
KWIC Example. The IOTA Programming System (1983)
Michio Honda, Tatsuya Hagino, Etsuya Shibayama
Proof System. The IOTA Programming System (1983)
Taiichi Yuasa
Language Processing. The IOTA Programming System (1983)
Language Syntax. The IOTA Programming System (1983)

volume 160, 1983

The IOTA Programming System, A Modular Programming Environment The IOTA Programming System 160 (1983)