This paper describes the declaration and inference based type system in an object-oriented logic framework, where logic objects are viewed as typed abstractions with state, constraints, behaviors and non-monotonic inheritance. Types are built by ordered constructors with subtyping relationships. As base types, the classes can be applied to complex type construction. Objects are classified according to their method signatures, and subtyping is independent of inheritance.
Unfortunately, ACM prohibits us from displaying non-influential references for this paper.
To see the full reference list, please visit http://dl.acm.org/citation.cfm?id=307926.