Logical foundations of object-oriented and frame-based languages (1995)

by Michael Kifer , Georg Lausen , James Wu
Venue:JOURNAL OF THE ACM
Citations:766 - 59 self

Document Versions

Logical foundations of object-oriented and frame-based languages –Michael Kifer, Georg Lausen, James Wu — 1995 — JOURNAL OF THE ACM
Logical Foundations of Object-Oriented and Frame-Based Languages –Michael Kifer , Georg Lausen, James Wu — 1990
Logical Foundations of Object-Oriented and Frame-Based Languages –Michael Kifer, Georg Lausen, James Wu — 1990 — Journal of the ACM
Logical Foundations of Object-Oriented and Frame-Based Languages –Michael Kifer , Georg Lausen, James Wu — 1994