Functional and Logic Programming

Duration: March 1989 - March 1990.
Director: Tetsuo Ida.
Sponsored by: Austrian - Japanese Society for the Promotion of Science.
Goals: A common framework for functional and logic programming is developed both on the level of formal semantics and on the level of implementation. The implementation is based on a new type of abstract machine that may serve as a common foundation for both functional and logic programming.
Selected Publications: T. Ida: Overview of MC/LISP System; RISC-Linz report series no. 89-44.
T. Ida, T. Matsuno, A. Nakamura: Implementing Lisp and Prolog on a common abstract machine: a practical approach to combining functional and logic programming; Proc. IFIP workshop on Concepts and Characteristics of Declarative Systems, Budapest, Hungary, 1988.

Maintained by: The System Administration
Last Modification: March 7, 1997