Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,000,445 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
3 relations
Computer science
Java Modeling Language
Specification 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
Ana Romero
2013
Corpus ID: 179148915
La verificacion formal de algoritmos, impartida en los estudios de Ingenieria Informatica como parte de las asignaturas de…
Expand
2008
2008
Aspects , Dependencies and Interactions Report on the Workshop ADI at ECOOP 2007
F. Sanen
,
R. Chitchyan
,
Lodewijk Bergmans
,
J. Fabry
,
M. Sudholt
,
K. Mehner
2008
Corpus ID: 18727036
The topics on aspects, dependencies and interactions are among the key remaining challenges to be tackled by the Aspect-Oriented…
Expand
Review
2007
Review
2007
A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java
G. Leavens
,
J. Kiniry
,
E. Poll
International Conference on Computer Aided…
2007
Corpus ID: 34272602
JML, the Java Modeling Language, is the lingua franca of researchers working on specification and verification techniques and…
Expand
2007
2007
Preliminary Definition of Core JML
G. Leavens
,
D. Naumann
,
S. Rosenberg
2007
Corpus ID: 9221089
The JML specification language has evolved over a number of years and several variations/subsets have been formalized, mainly in…
Expand
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
Yi Guo
2005
Corpus ID: 18516729
A method of a class in an object-oriented (OO) program often must implement collaborating behaviors that require multiple inter…
Expand
Review
1998
Review
1998
1997 workshop on foundations of component-based systems
G. Leavens
,
Oscar Nierstrasz
,
M. Sitaraman
SOEN
1998
Corpus ID: 9203876
This is the report of the Workshop on Foundations of ComponentBased Systems held in Zurich, Switzerland on September 26, 1997 in…
Expand
1998
1998
On Functional Programming , Language Design , andPersistence
Claus Reinke
1998
Corpus ID: 17353858
ion is the process of separating properties of objects into two classes, one for details that are relevant to a given task and…
Expand
Review
1996
Review
1996
Protection from the Underspeciied
Jeannette M. WingTR
1996
Corpus ID: 15069315
Underspeci cation is a good way to deal with partial functions in speci cation and reasoning. However, when underspeci cation is…
Expand
1995
1995
Weak behavioral subtyping for types with mutable objects
K. Dhara
,
G. Leavens
Mathematical Foundations of Programming Semantics
1995
Corpus ID: 1595071
1992
1992
An object-oriented refinement calculus with modular reasoning
Barry Mark Utting
1992
Corpus ID: 61202181
In this thesis, the refinement calculus is extended to support a variety of object-oriented programming styles. The late binding…
Expand
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)
ACCEPT & CONTINUE