189 search results - page 27 / 38 » Facilitating Modular Property-Preserving Extensions of Progr... |
119
click to vote
POS
1994
Springer
15 years 4 months ago
1994
Springer
We consider some issues in optimizing persistent programming languages. In particular, we show how to express optimizations of object residency checks in strongly typed persistent...
144
Voted
AOSD
2005
ACM
15 years 6 months ago
2005
ACM
C applications, in particular those using operating system level services, frequently comprise multiple crosscutting concerns: network protocols and security are typical examples ...
FMCO
2007
Springer
15 years 6 months ago
2007
Springer
The Universe Type System is an ownership type system for object-oriented programming languages that hierarchically structures the object store; it is used to reason modularly about...
120
click to vote
CSMR
2002
IEEE
15 years 5 months ago
2002
IEEE
The evolution of complex software systems is promoted by software engineering principles and techniques like separation of concerns, encapsulation, stepwise refinement, and reusab...
118
Voted
ECOOP
2007
Springer
15 years 6 months ago
2007
Springer
We present MJ: a language for specifying general classes whose members are produced by iterating over members of other classes. We call this technique “class morphing” or just ...