Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
  • P. Zave
  • Formal Aspects of Computing
  • 2014
  • Corpus ID: 491403
Because potential users have to choose a formal method before they can start using one, research on assessing the applicability… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
2012
Highly Cited
2012
Chaperones and impersonators provide run-time support for interposing on primitive operations such as function calls, array… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 7
2008
2008
A variety of dynamic aspect-oriented language constructs are proposed in recent literature with corresponding, compelling use… Expand
  • figure 3
  • figure 5
  • figure 13
  • figure 14
  • figure 15
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
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
2006
2006
We present an approach to systematic, toolsupported design and development of JAVA CARD applets. We employ the Unified Modeling… Expand
  • table 1
  • figure 1
  • figure 3
  • figure 4
  • figure 2
2005
2005
Performance and usability of deductive program verification systems can be enhanced if specifications not only consist of pre… Expand
  • figure 1
  • figure 2
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
  • figure 2
1992
1992
In this thesis, the refinement calculus is extended to support a variety of object-oriented programming styles. The late binding… Expand