This page describes our work towards the development of a unified
logical foundation for deductive object-oriented data languages. The
statical aspects of object-oriented languages are captured via F-logic
and the dynamics are modeled via Transaction Logic. The ideas on which
the two logics are built are orthogonal, so the logics can be combined
in a single, unified declarative formalism.
More papers can be found on the FLORA-2 Web site
Maintained by: Michael Kifer