FAQ

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
0119992009

Related topics

Related topics

3 relations
Computer scienceJava Modeling LanguageSpecification language

Related mentions per year

Related mentions per year

1956-2018
1960198020002020
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)
  • figure 4
  • table 1
  • table 2
Is this relevant?
2006
2006
FOAL 2006 Proceedings Foundations of Aspect - Oriented Languages Workshop at AOSD 2006
In AspectJ-like languages, there are several different kinds of advice declarations, which are specified by using advice… (More)
  • figure 2
  • figure 3
  • figure 1
  • figure 4
  • figure 5
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
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
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?