Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,423,309 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.
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
2000
2000
Proposed knowledge units for programming languages for curriculum 2001
B. Goldberg
,
Chris Haynes
,
G. Leavens
SIGP
2000
Corpus ID: 8211348
The Programming Language Knowledge Area Focus Group was formed at the end of July, 1999. This report was submitted to the The…
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
C. 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