MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Logic of Object-Oriented Programs." – sorted by Relevance.

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

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

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

ATOM

A Logic of Object-Oriented Programs
by Martin Abadi, K. Rustan M. Leino, Martn Abadi, Martn Abadi, K. Rustan, K. Rustan, M. Leino, M. Leino — 1998
…September 15, 1998 SRC Research Report 161 A logic of object-oriented programs Martn Abadi and K…
Cited by 133 (1 self) – Add To MetaCart

Recursive Object Types in a Logic of Object-Oriented Programs
by K. Rustan M. Leino, K. Rustan, M. Leino — 1997
… October 1997 Recursive object types in a logic of object-oriented programs K. Rustan M. Leino d i g i t a…
Cited by 24 (1 self) – Add To MetaCart

Symbiotic reflection between an object-oriented and a logic programming language
by Roel Wuyts, Stéphane Ducasse — 2001 — In ECOOP 2001 International workshop on MultiParadigm Programming with Object-Oriented Languages
…Symbiotic Reflection between an Object-Oriented and a Logic Programming Language Roel Wuyts…
Cited by 14 (4 self) – Add To MetaCart

Towards Linguistic Symbiosis of an Object-Oriented and a Logic Programming Language
by Johan Brichau, Kris Gybels, Roel Wuyts — 2002 — In Jörg Striegnitz, Kei Davis, and Yannis Smaragdakis, editors, Proceedings of the Workshop on Multiparadigm Programming with Object-Oriented Languages
…Towards Linguistic Symbiosis of an Object-Oriented and a Logic Programming Language Johan Brichau…
Cited by 5 (3 self) – Add To MetaCart

A relational model for object-oriented designs
by He Jifeng, Zhiming Liu, Xiaoshan Li, Shengchao Qin — 2004 — In Pro. APLAS’2004, LNCS 3302
… object-oriented programs. We build a logic of object-oriented programs as a conservative extension…
Cited by 12 (6 self) – Add To MetaCart

Polymorphism in ACL2
by Ruben Gamboa, Mark Patterson
… that allows ACL2 to support polymorphism, a cornerstone of object-oriented programming. We will also show how…
Add To MetaCart

When Separation Logic met Java (Work in progress)
by Matthew Parkinson University, Matthew Parkinson
…, Computer Laboratory, Cambridge, CB3 0FD, UK Developing a logic for object-oriented programs is complicated…
Add To MetaCart

Validation techniques for object-oriented proof outlines
by Validatietechnieken Voor Objectgeoriënteerde, Cornelis Pierik — 2006
…. In this thesis we will develop a proof outline logic for object-oriented programs. This logic is both sound…
Cited by 4 (0 self) – Add To MetaCart

A Relational Model for Object-Oriented Programming
by He Jifeng, Zhiming Liu, Li Xiaoshan — 2001 — of Maths and Computer Science, the Univ. of Leicester
… initialises the state of variables, objects and classes. We build a logic of object-oriented programs as a…
Cited by 9 (6 self) – Add To MetaCart

Polymorphism in ACL2
by Ruben Gamboa Mark, Mark Patterson — 2003
…. Informally, we say that objects encapsulate both state and behavior. A logic of object-oriented programs…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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