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.
Review
2012
Review
2012
Welcome to the 2012 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). We… Expand
Is this relevant?
2007
2007
The JML specification language has evolved over a number of years and several variations/subsets have been formalized, mainly in… Expand
Is this relevant?
Review
2007
Review
2007
JML, the Java Modeling Language, is the lingua franca of researchers working on specification and verification techniques and… Expand
Is this relevant?
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
Is this relevant?
1998
1998
We present a refinement of the existential object model of Pierce and Turner. In addition to signatures (or interfaces) as the… Expand
Is this relevant?
Review
1998
Review
1998
This is the report of the Workshop on Foundations of ComponentBased Systems held in Zurich, Switzerland on September 26, 1997 in… Expand
Is this relevant?
1996
1996
This paper presents a type-inference system for Scheme that is designed to be used by students in an introductory programming… Expand
Is this relevant?
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
Is this relevant?
1994
1994
Accurate garbage collection of C++ requires that every memory location and ev ery register be known to contain either a pointer… Expand
  • figure 2.3
  • table 2.1
  • table 2.3
  • figure 3.1
  • figure 4.1
Is this relevant?
1989
1989
This report describes the design of a distributed program that searched for peaks in certain measures related to the 3x+1 problem… Expand
  • table A.1
  • table A.2
  • table A.3
  • table A.4
  • table A.5
Is this relevant?