75 search results - page 1 / 15 » A Compilation Model for Aspect-Oriented Polymorphically Type... |
SAS
2007
Springer
13 years 11 months ago
2007
Springer
Introducing aspect orientation to a polymorphically typed functional language strengthens the importance of type-scoped advices; i.e., advices with their effects being harnessed b...
ECOOP
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Aspect-oriented programming languages usually are extensions of object-oriented ones, and their compilation target is usually the (virtual) machine model of the language ...
ICFP
1999
ACM
13 years 9 months ago
1999
ACM
This paper defines an extended polymorphic type system for an ML-style programming language, and develops a sound and complete type inference algorithm. Different from the conve...
ECOOPW
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. In Aspect-Oriented Programming we decompose a problem into a number of functional components as well as a number of aspects and then we compose these components and aspec...
DAGSTUHL
2006
13 years 6 months ago
2006
In order to tackle the entire web service life cycle, it is necessary to face how to model systems based on service functionality and also how to add extra-functional properties to...