MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Theory of Class." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

35 documents found, showing 1 through 10. Next 10 →

ATOM

A theory of class
by Anthony J H Simons — 1996 — In Proc. 3rd Int. Conf. Object-Oriented Info. Sys
…A Theory of Class Anthony J H Simons Department of Computer Science, University of Sheffield…
Cited by 1 (0 self) – Add To MetaCart

A Theory of Classes for a Functional Language with Effects
by Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott — 1993 — In Proceedings of CSL92, volume 702 of Lecture Notes in Computer Science
…A Theory of Classes for a Functional Language with Effects Furio Honsell Udine University honsell…
Cited by 7 (6 self) – Add To MetaCart

NuPRL’s class theory and its applications
by Robert L. Constable, Jason Hickey — 2000 — Foundations of Secure Computation, NATO ASI Series, Series F: Computer & System Sciences
… Caltech Abstract This article presents a theory of classes and inheritance built on top of constructive…
Cited by 13 (6 self) – Add To MetaCart

Concurrent object-oriented programs: From specification to code
by Emil Sekerinski — 2003 — In First International Symposium on Formal Methods for Components and Objects, FMCO 02, Lecture Notes in Computer Science 2852
… in subclasses of a class hierarchy. A disciplined form of intra-object concurrency is supported. The language…
Cited by 1 (0 self) – Add To MetaCart

On Bell's Inequalities And Algebraic Invariants
by Stephen J. Summers, Reinhard F. Werner — 1995 — Lett. Math. Phys
…. These inequalities limit the strength of correlations which can be modelled by a theory in the class of "classical…
Cited by 3 (1 self) – Add To MetaCart

Stephen J. Summers and Reinhard F. Werner
by Er Ju Ne, Stephen J. Summers, Reinhard F. Werner — 1995 — Lett. Math. Phys
… of correlations which can be modelled by a theory in the class of "classical and local" theories (cf. [8…
Add To MetaCart

Caltech
by Robert L. Constable, Jason Hickey
… Caltech Abstract This article presents a theory of classes and inheritance built on top of constructive…
Add To MetaCart

General Domain Circumscription and its Effective Reductions
by Patrick Doherty, Witold Lukaszewicz — 1998
… that for a certain class of domain circumscribed theories, that any arbitrary second-order circumscription…
Cited by 5 (5 self) – Add To MetaCart

General Domain Circumscription and its First-Order Reduction
by Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas — 1995 — Proceedings of the FAPR'96 Conference
… the minimization of the domain of a theory. We then show that for the class of semi-universal theories without…
Cited by 5 (5 self) – Add To MetaCart

More on modal aspects of default logic
by V. Wiktor Marek, Miroslaw Truszczynski — 1992 — Fundamenta Informaticae
…, when a formula is added to a theory, the class of models of the resulting theory is a subset…
Cited by 6 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB