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.
2013
2013
El Uso de los demostradores automáticos de teoremas para la enseñanza de la programación
La verificacion formal de algoritmos, impartida en los estudios de Ingenieria Informatica como parte de las asignaturas de… 
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… 
2008
2008
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… 
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
Preliminary Definition of Core JML
The JML specification language has evolved over a number of years and several variations/subsets have been formalized, mainly in… 
2005
2005
Aspects for Modularizing Collaborating Behaviors in Method Implementation Donglin Liang and Yi Guo April 06, 2005 Aspects for Modularizing Collaborating Behaviors in Method Implementation
A method of a class in an object-oriented (OO) program often must implement collaborating behaviors that require multiple inter… 
Review
1996
Review
1996
Protection from the Underspeciied
Underspeci cation is a good way to deal with partial functions in speci cation and reasoning. However, when underspeci cation is… 
1995
1995
Weak behavioral subtyping for types with mutable objects
1994
1994
Local Variable Allocation For Accurate Garbage Collection of C
Accurate garbage collection of C++ requires that every memory location and ev ery register be known to contain either a pointer… 
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)