default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe IOTA Programming System 1983
- Reiji Nakajima, Taiichi Yuasa:
The IOTA Programming System, A Modular Programming Environment. Lecture Notes in Computer Science 160, Springer 1983, ISBN 3-540-12693-7
Basis Concepts and Design Principles
- Reiji Nakajima:
Language, Logical Foundation, Verification. 4-29 - Taiichi Yuasa, Reiji Nakajima:
System Supports for Modular Programming. 30-47 - Michio Honda, Reiji Nakajima:
Strategies and Techniques for Interactive Proof. 48-60
System Description and Implementation Issues
- Taiichi Yuasa, Keiji Kojima:
Supports for Building Modules, Modulebase. 61-71 - Taiichi Yuasa:
Language Processing. 72-79 - Tatsuya Hagino, Etsuya Shibayama:
Verification System. 80-98 - Michio Honda, Tatsuya Hagino, Etsuya Shibayama:
Proof System. 99-108 - Akihiko Koga, Taiichi Yuasa:
Supports for Cooperative Modular Programming. 109-113
Program Development with the IOTA System
- Tatsuya Hagino, Michio Honda, Akihiko Koga, Reiji Nakajima, Etsuya Shibayama, Taiichi Yuasa:
KWIC Example. 114-175
Appendix
- Language Syntax. The IOTA Programming System 1983: 176-184
- Built-in Modules. The IOTA Programming System 1983: 185-190
- Formal Rules and Semantics. The IOTA Programming System 1983: 191-197
- Structured Approach to Pointer Data Types. The IOTA Programming System 1983: 198-213
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-25 20:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
