Conferences in DBLP

The IOTA Programming System (iota)
1983 (conf/iota/1983)

1. Reiji Nakajima
   Language, Logical Foundation, Verification. [Citation Graph (0, 0)][DBLP]
   The IOTA Programming System, 1983, pp:4-29 [Conf]
   
2. Taiichi Yuasa, Reiji Nakajima
   System Supports for Modular Programming. [Citation Graph (0, 0)][DBLP]
   The IOTA Programming System, 1983, pp:30-47 [Conf]
   
3. Michio Honda, Reiji Nakajima
   Strategies and Techniques for Interactive Proof. [Citation Graph (0, 0)][DBLP]
   The IOTA Programming System, 1983, pp:48-60 [Conf]
   
4. Taiichi Yuasa, Keiji Kojima
   Supports for Building Modules, Modulebase. [Citation Graph (0, 0)][DBLP]
   The IOTA Programming System, 1983, pp:61-71 [Conf]
   
5. Taiichi Yuasa
   Language Processing. [Citation Graph (0, 0)][DBLP]
   The IOTA Programming System, 1983, pp:72-79 [Conf]
   
6. Tatsuya Hagino, Etsuya Shibayama
   Verification System. [Citation Graph (0, 0)][DBLP]
   The IOTA Programming System, 1983, pp:80-98 [Conf]
   
7. Michio Honda, Tatsuya Hagino, Etsuya Shibayama
   Proof System. [Citation Graph (0, 0)][DBLP]
   The IOTA Programming System, 1983, pp:99-108 [Conf]
   
8. Akihiko Koga, Taiichi Yuasa
   Supports for Cooperative Modular Programming. [Citation Graph (0, 0)][DBLP]
   The IOTA Programming System, 1983, pp:109-113 [Conf]
   
9. Tatsuya Hagino, Michio Honda, Akihiko Koga, Reiji Nakajima, Etsuya Shibayama, Taiichi Yuasa
   KWIC Example. [Citation Graph (0, 0)][DBLP]
   The IOTA Programming System, 1983, pp:114-175 [Conf]
   
10. 
    Language Syntax. [Citation Graph (0, 0)][DBLP]
    The IOTA Programming System, 1983, pp:176-184 [Conf]
    
11. 
    Built-in Modules. [Citation Graph (0, 0)][DBLP]
    The IOTA Programming System, 1983, pp:185-190 [Conf]
    
12. 
    Formal Rules and Semantics. [Citation Graph (0, 0)][DBLP]
    The IOTA Programming System, 1983, pp:191-197 [Conf]
    
13. 
    Structured Approach to Pointer Data Types. [Citation Graph (0, 0)][DBLP]
    The IOTA Programming System, 1983, pp:198-213 [Conf]