Distributed Interoperation in Higher-Order Meta-Logic
Dr. Chuck C. Liang
Department of Computer Science
I will present and demonstrate the operation of a limited-scale,
distributed middleware framework, a means through which programs
written in different languages and for different architectures and
operating systems can interoperate by sharing high-level structures
and services. Existing such systems, including RPC, RMI and CORBA are
designed for conventional programming systems, such as C/C++ and Java.
My system is unique in the following ways:
In addition to these items I will also discuss the ongoing
implementation effort I have in collaboration with Hofstra graduate
- In addition to conventional languages, it can support highly
declarative functional and logic programming languages. The
interfacing languages of the framework is purely functional and can be
given a precise, logical formulation. The system thus compares to RMI
and CORBA much in the same way that languages such as Prolog and ML
compares to Java and C++.
- It allows for higher-order remote procedures. It is possible in
many languages, such as Scheme and Perl, to pass a function as a
parameter to another function. All existing middleware systems are
strictly first order. My system defines a low-level protocol for
communicating functions represented in the typed lambda calculus.