All Fields
Computer Science
Medicine
FAQ
Contact
Sign in
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…
(More)
Wikipedia
Topic mentions per year
Topic mentions per year
1999-2009
0
1
1999
2009
Related topics
Related topics
3 relations
Computer science
Java Modeling Language
Specification language
Related mentions per year
Related mentions per year
1956-2018
1960
1980
2000
2020
Gary T. Leavens
Computer science
Specification language
Java Modeling Language
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
Proceedings of the Eighth Workshop on Foundations of Aspect-oriented Languages Held at the Eighth International Conference on Aspect-oriented Software Development Message from the Program Committee…
FOAL
2009
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation…
(More)
Is this relevant?
2006
2006
FOAL 2006 Proceedings Foundations of Aspect - Oriented Languages Workshop at AOSD 2006
Gary T. Leavens
2006
In AspectJ-like languages, there are several different kinds of advice declarations, which are specified by using advice…
(More)
Is this relevant?
2003
2003
JavaCard alkalmazások biztonsági tulajdonságainak
formális verifikációja
2003
Az intelligens chipkártyás rendszerek (és ezek közt is f ként a JavaCard) újfent érdekl dést keltettek a formális módszerek iránt…
(More)
Is this relevant?
Review
2001
Review
2001
Message from the Program Committee Chair
Phillip L. Walker
UDM
2001
The FOAL workshop in its tenth edition continues to attract foundational work on aspect-oriented software development. As in…
(More)
Is this relevant?
2000
2000
Propoosed Knowledge Units for Programming Languages for Curriculum 2001
SIGPLAN Notices
2000
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Checking Java Programs via Guarded Commands
K. Rustan M. Leino
,
James B. Saxe
,
Raymie Stata
ECOOP Workshops
1999
This paper defines a simple guarded-command–like language and its semantics. The language is used as an intermediate language in…
(More)
Is this relevant?