32 search results - page 5 / 7 » ecoop 2008 |
ECOOP
2008
Springer
14 years 19 days ago
2008
Springer
Back-in-time debuggers are extremely useful tools for identifying the causes of bugs. Unfortunately the "omniscient" approaches that try to remember all previous states a...
ECOOP
2008
Springer
14 years 19 days ago
2008
Springer
Abstract. Javari is an extension of Java that supports reference immutability constraints. Programmers write readonly type qualifiers and other constraints, and the Javari typechec...
ECOOP
2008
Springer
14 years 19 days ago
2008
Springer
Abstract. Lightweight bytecode verification uses stack maps to annotate Java bytecode programs with type information in order to reduce the verification to type checking. This pape...
ECOOP
2008
Springer
14 years 19 days ago
2008
Springer
Domain specific aspect languages (DSALs) are becoming more popular because they can be designed to represent recurring concerns in a way that is optimized for a specific domain. H...
ECOOP
2008
Springer
14 years 19 days ago
2008
Springer
This paper demonstrates the impact of integrating session types and object-oriented programming, through their implementation in Java. Seses provide high-level abstraction for stru...