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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
  • 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
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
  • 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
The FOAL workshop in its tenth edition continues to attract foundational work on aspect-oriented software development. As in… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
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?