On the Declarative and Procedural Semantics of Deductive Object-Oriented Systems (1995)

Cached

Download Links

by Gillian Dobbie , Rodney Topor , Michael Kifer
Venue:Journal of Intelligent Information Systems
Citations:35 - 1 self

Document Versions

On the Declarative and Procedural Semantics of Deductive Object-Oriented Systems –Gillian Dobbie, Rodney Topor, Michael Kifer — 1995 — Journal of Intelligent Information Systems