Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 210,023,886 papers from all fields of science
Search
Sign In
Create Free Account
Gary T. Leavens
Gary T. Leavens is a professor of computer science at the School of Electrical Engineering and Computer Science, University of Central Florida in…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
3 relations
Computer science
Java Modeling Language
Specification language
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
Chaperones and impersonators: run-time support for reasonable interposition
T. Strickland
,
Sam Tobin-Hochstadt
,
R. Findler
,
M. Flatt
Conference on Object-Oriented Programming Systems…
2012
Corpus ID: 6315754
Chaperones and impersonators provide run-time support for interposing on primitive operations such as function calls, array…
Expand
Review
2012
Review
2012
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
G. Leavens
,
Matthew B. Dwyer
ACM SIGPLAN International Conference on Systems…
2012
Corpus ID: 56576820
Welcome to the 2012 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). We…
Expand
2010
2010
Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions
D. Naumann
,
A. Banerjee
European Symposium on Programming
2010
Corpus ID: 4011483
The hiding of internal invariants creates a mismatch between procedure specifications in an interface and proof obligations on…
Expand
2008
2008
Nu: a dynamic aspect-oriented intermediate language model and virtual machine for flexible runtime adaptation
Robert Dyer
,
Hridesh Rajan
Aspect-Oriented Software Development
2008
Corpus ID: 661464
A variety of dynamic aspect-oriented language constructs are proposed in recent literature with corresponding, compelling use…
Expand
Review
2007
Review
2007
A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java
G. Leavens
,
J. Kiniry
,
E. Poll
International Conference on Computer Aided…
2007
Corpus ID: 34272602
JML, the Java Modeling Language, is the lingua franca of researchers working on specification and verification techniques and…
Expand
2007
2007
Aspects, dependencies and interactions: report on the workshop ADI at ECOOP 2007
F. Sanen
,
R. Chitchyan
,
L. Bergmans
,
J. Fabry
,
Mario Südholt
,
K. Mehner
2007
Corpus ID: 18727036
The topics on aspects, dependencies and interactions are among the key remaining challenges to be tackled by the Aspect-Oriented…
Expand
2006
2006
Conscientious software
R. Gabriel
,
R. Goldman
Conference on Object-Oriented Programming Systems…
2006
Corpus ID: 11580417
Software needs to grow up and become responsible for itself and its own future by participating in its own installation and…
Expand
1998
1998
Behavioural Subtyping for a Type-Theoretic Model of Objects
E. Poll
1998
Corpus ID: 18191956
We present a refinement of the existential object model of Pierce and Turner. In addition to signatures (or interfaces) as the…
Expand
1995
1995
Weak behavioral subtyping for types with mutable objects
K. Dhara
,
G. Leavens
Mathematical Foundations of Programming Semantics
1995
Corpus ID: 1595071
1992
1992
An object-oriented refinement calculus with modular reasoning
Barry Mark Utting
1992
Corpus ID: 61202181
In this thesis, the refinement calculus is extended to support a variety of object-oriented programming styles. The late binding…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE