Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.
Gary T. Leavens
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Because potential users have to choose a formal method before they can start using one, research on assessing the applicability… Expand
Highly Cited
2012
Highly Cited
2012
Chaperones and impersonators provide run-time support for interposing on primitive operations such as function calls, array… Expand
2008
2008
A variety of dynamic aspect-oriented language constructs are proposed in recent literature with corresponding, compelling use… Expand
2007
2007
The topics on aspects, dependencies and interactions are among the key remaining challenges to be tackled by the Aspect-Oriented… Expand
2006
2006
Software needs to grow up and become responsible for itself and its own future by participating in its own installation and… Expand
2006
2006
We present an approach to systematic, toolsupported design and development of JAVA CARD applets. We employ the Unified Modeling… Expand
2005
2005
Performance and usability of deductive program verification systems can be enhanced if specifications not only consist of pre… Expand
1998
1998
We present a refinement of the existential object model of Pierce and Turner. In addition to signatures (or interfaces) as the… Expand
1995
1995
Abstract This paper studies the question of when one abstract data type (ADT) is a behavioral subtype of another, and proposes a… Expand
1992
1992
In this thesis, the refinement calculus is extended to support a variety of object-oriented programming styles. The late binding… Expand