Distributed Interoperation in Higher-Order Meta-Logic

Dr. Chuck C. Liang
Department of Computer Science
Hofstra University
cscccl@hofstra.edu

ABSTRACT
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:
  1. 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++.
  2. 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.
In addition to these items I will also discuss the ongoing implementation effort I have in collaboration with Hofstra graduate students.