Reiji Nakajima

Publication Activity (10 Years)

Years Active: 1975-2005
Publications (10 Years): 0

Publications

Nobuaki Yoshida, Yoshio Hayashi, Yutaka Tamagaki, Shoji Urashita, Makoto Kakuta, Masahiro Watanabe, Jacques Garrigue, Reiji Nakajima
SOBA Framework: An Application Framework for Broadband Network Environment. SAINT (2005)
Taiichi Yuasa, Reiji Nakajima
IOTA: A Modular Programming System. IEEE Trans. Software Eng. 11 (2) (1985)
Tatsuya Hagino, Michio Honda, Akihiko Koga, Reiji Nakajima, Etsuya Shibayama, Taiichi Yuasa
KWIC Example. The IOTA Programming System (1983)
Michio Honda, Reiji Nakajima
Strategies and Techniques for Interactive Proof. The IOTA Programming System (1983)
Taiichi Yuasa, Reiji Nakajima
System Supports for Modular Programming. The IOTA Programming System (1983)
Koichi Furukawa, Reiji Nakajima, Akinori Yonezawa
Modularization and Abstraction in Logic Programming. New Gener. Comput. 1 (2) (1983)
Reiji Nakajima
Language, Logical Foundation, Verification. The IOTA Programming System (1983)
Reiji Nakajima, Michio Honda, Hayao Nakahara
Hierarchical Program Specification and Verification - a Many-sorted Logical Approach. Acta Informatica 14 (1980)
Reiji Nakajima, Taiichi Yuasa, Keiji Kojima
The iota-Programming System - A Support System for Hieratchical and Modular Programming. IFIP Congress (1980)
Michio Honda, Reiji Nakajima
Interactive Theorem Proving on Hierarchically and Modularly Structured Set of Very Many Axioms. IJCAI (1979)
Reiji Nakajima, Michio Honda, Hayao Nakahara
Describing and Verifying Programs with Abstract Data Types. Formal Description of Programming Concepts (1977)
Reiji Nakajima
Infinite normal forms for the lambda - calculus. Lambda-Calculus and Computer Science Theory (1975)