10585 search results - page 713 / 2117 » The Orc Programming Language |
212
click to vote
ESOP
2005
Springer
16 years 1 months ago
2005
Springer
We present a statically typed, class-based object oriented language where classes are first class polymorphic values. A main contribution of this work is the design of a type syst...
173
click to vote
AOSD
2004
ACM
16 years 27 days ago
2004
ACM
This paper describes the implementation of advice weaving in AspectJ. The AspectJ language picks out dynamic join points in a program's execution with pointcuts and uses advi...
194
click to vote
ECOOP
1998
Springer
15 years 11 months ago
1998
Springer
Three nontrivial limitations of the existing JavaT M technology are considered from the viewpoint of object-oriented database technology. The limitations are: lack of support for o...
186
click to vote
POS
1998
Springer
15 years 11 months ago
1998
Springer
Several techniques have been proposed for adding persistence to the Java language environment. This paper describes a system we call icee that works by checkpointing the Java Virt...
229
click to vote
ESOP
2006
Springer
15 years 11 months ago
2006
Springer
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...