A Type System of Logic Objects

Abstract

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.

DOI: 10.1145/307903.307926

Extracted Key Phrases

Cite this paper

@article{Xu1999ATS, title={A Type System of Logic Objects}, author={Dianxiang Xu}, journal={SIGPLAN Notices}, year={1999}, volume={34}, pages={52-56} }