Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

3 relations
Computer scienceJava Modeling LanguageSpecification 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
Chaperones and impersonators provide run-time support for interposing on primitive operations such as function calls, array… 
Review
2012
Review
2012
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Welcome to the 2012 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). We… 
2010
2010
Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions
The hiding of internal invariants creates a mismatch between procedure specifications in an interface and proof obligations on… 
2008
2008
Nu: a dynamic aspect-oriented intermediate language model and virtual machine for flexible runtime adaptation
A variety of dynamic aspect-oriented language constructs are proposed in recent literature with corresponding, compelling use… 
Review
2007
Review
2007
A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java
JML, the Java Modeling Language, is the lingua franca of researchers working on specification and verification techniques and… 
2007
2007
Aspects, dependencies and interactions: report on the workshop ADI at ECOOP 2007
The topics on aspects, dependencies and interactions are among the key remaining challenges to be tackled by the Aspect-Oriented… 
2006
2006
Conscientious software
Software needs to grow up and become responsible for itself and its own future by participating in its own installation and… 
1998
1998
Behavioural Subtyping for a Type-Theoretic Model of Objects
We present a refinement of the existential object model of Pierce and Turner. In addition to signatures (or interfaces) as the… 
1995
1995
Weak behavioral subtyping for types with mutable objects
  • K. DharaG. Leavens
  • Mathematical Foundations of Programming Semantics
  • 1995
  • Corpus ID: 1595071
1992
1992
An object-oriented refinement calculus with modular reasoning
In this thesis, the refinement calculus is extended to support a variety of object-oriented programming styles. The late binding… 
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)