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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
Chaperones and impersonators provide run-time support for interposing on primitive operations such as function calls, array… 
Review
2012
Review
2012
Welcome to the 2012 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). We… 
2010
2010
The hiding of internal invariants creates a mismatch between procedure specifications in an interface and proof obligations on… 
2008
2008
A variety of dynamic aspect-oriented language constructs are proposed in recent literature with corresponding, compelling use… 
Review
2007
Review
2007
JML, the Java Modeling Language, is the lingua franca of researchers working on specification and verification techniques and… 
2007
2007
The topics on aspects, dependencies and interactions are among the key remaining challenges to be tackled by the Aspect-Oriented… 
2006
2006
Software needs to grow up and become responsible for itself and its own future by participating in its own installation and… 
1998
1998
We present a refinement of the existential object model of Pierce and Turner. In addition to signatures (or interfaces) as the… 
1995
1995
  • K. DharaG. Leavens
  • Mathematical Foundations of Programming Semantics
  • 1995
  • Corpus ID: 1595071
1992
1992
In this thesis, the refinement calculus is extended to support a variety of object-oriented programming styles. The late binding…