Reiji Nakajima

According to our database, Reiji Nakajima authored at least 12 papers between 1975 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

SOBA Framework: An Application Framework for Broadband Network Environment.

Nobuaki Yoshida, Yoshio Hayashi, Yutaka Tamagaki, Shoji Urashita, Makoto Kakuta, Masahiro Watanabe, Jacques Garrigue, Reiji Nakajima

Proceedings of the 2005 IEEE/IPSJ International Symposium on Applications and the Internet (SAINT 2005), 31 January, 2005

1985

IOTA: A Modular Programming System.

Taiichi Yuasa, Reiji Nakajima

IEEE Trans. Software Eng., 1985

1983

Modularization and Abstraction in Logic Programming.

Koichi Furukawa, Reiji Nakajima, Akinori Yonezawa

New Gener. Comput., 1983

System Supports for Modular Programming.

Taiichi Yuasa, Reiji Nakajima

Proceedings of the IOTA Programming System, A Modular Programming Environment, 1983

Language, Logical Foundation, Verification.

Reiji Nakajima

Proceedings of the IOTA Programming System, A Modular Programming Environment, 1983

Strategies and Techniques for Interactive Proof.

Michio Honda, Reiji Nakajima

Proceedings of the IOTA Programming System, A Modular Programming Environment, 1983

KWIC Example.

Tatsuya Hagino, Michio Honda, Akihiko Koga, Reiji Nakajima, Etsuya Shibayama, Taiichi Yuasa

Proceedings of the IOTA Programming System, A Modular Programming Environment, 1983

1980

Hierarchical Program Specification and Verification - a Many-sorted Logical Approach.

Reiji Nakajima, Michio Honda, Hayao Nakahara

Acta Informatica, 1980

The iota-Programming System - A Support System for Hieratchical and Modular Programming.

Reiji Nakajima, Taiichi Yuasa, Keiji Kojima

Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980

1979

Interactive Theorem Proving on Hierarchically and Modularly Structured Set of Very Many Axioms.

Michio Honda, Reiji Nakajima

Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

1977

Describing and Verifying Programs with Abstract Data Types.

Reiji Nakajima, Michio Honda, Hayao Nakahara

Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977

1975

Infinite normal forms for the lambda - calculus.

Reiji Nakajima

Proceedings of the Lambda-Calculus and Computer Science Theory, 1975