Reiji Nakajima

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