default search action

combined dblp search
author search
venue search
publication search

ask others

The IOTA Programming System 1983

> Home > Conferences and Workshops > IOTA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/iota/1983
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iota/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

- view
  authority control:
- export record
  dblp key:
  - conf/iota/Nakajima83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iota/Nakajima83
Reiji Nakajima:
Language, Logical Foundation, Verification. 4-29
- view
  authority control:
- export record
  dblp key:
  - conf/iota/YuasaN83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iota/YuasaN83
Taiichi Yuasa, Reiji Nakajima:
System Supports for Modular Programming. 30-47
- view
  authority control:
- export record
  dblp key:
  - conf/iota/HondaN83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iota/HondaN83
Michio Honda, Reiji Nakajima:
Strategies and Techniques for Interactive Proof. 48-60

System Description and Implementation Issues

- view
  authority control:
- export record
  dblp key:
  - conf/iota/YuasaK83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iota/YuasaK83
Taiichi Yuasa, Keiji Kojima:
Supports for Building Modules, Modulebase. 61-71
- view
  authority control:
- export record
  dblp key:
  - conf/iota/Yuasa83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iota/Yuasa83
Taiichi Yuasa:
Language Processing. 72-79
- view
  authority control:
- export record
  dblp key:
  - conf/iota/HaginoS83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iota/HaginoS83
Tatsuya Hagino, Etsuya Shibayama:
Verification System. 80-98
- view
  authority control:
- export record
  dblp key:
  - conf/iota/HondaHS83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iota/HondaHS83
Michio Honda, Tatsuya Hagino, Etsuya Shibayama:
Proof System. 99-108
- view
  authority control:
- export record
  dblp key:
  - conf/iota/KogaY83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iota/KogaY83
Akihiko Koga, Taiichi Yuasa:
Supports for Cooperative Modular Programming. 109-113

Program Development with the IOTA System

- view
  authority control:
- export record
  dblp key:
  - conf/iota/HaginoHKNSY83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iota/HaginoHKNSY83
Tatsuya Hagino, Michio Honda, Akihiko Koga, Reiji Nakajima, Etsuya Shibayama, Taiichi Yuasa:
KWIC Example. 114-175

Appendix

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iota/X83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iota/X83
Language Syntax. The IOTA Programming System 1983: 176-184
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iota/X83a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iota/X83a
Built-in Modules. The IOTA Programming System 1983: 185-190
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iota/X83b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iota/X83b
Formal Rules and Semantics. The IOTA Programming System 1983: 191-197
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iota/X83c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iota/X83c
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.