226 search results - page 29 / 46 » Language constructs for improving reusability in object-orie... |
POPL
2001
ACM
14 years 8 months ago
2001
ACM
We present a variant of Proof-Carrying Code (PCC) in which the trusted inference rules are represented as a higher-order logic program, the proof checker is replaced by a nondeter...
FASE
2005
Springer
14 years 1 months ago
2005
Springer
In situations in which developers are not familiar with a system or its documentation is inadequate, the system’s source code becomes the only reliable source of information. Unf...
QSIC
2006
IEEE
14 years 1 months ago
2006
IEEE
Aspect-oriented programming (AOP) has been proposed as a technique for improving the separation of concerns in software design and implementation. The field of AOP has, so far, f...
ICFP
2006
ACM
14 years 7 months ago
2006
ACM
The development of design patterns in object-oriented programming aims at capturing good software design in a re-usable generic form. However, design patterns are not expressible ...
AOSD
2007
ACM
13 years 11 months ago
2007
ACM
Design patterns aim at improving reusability and variability of object-oriented software. Despite a notable success, aspect-oriented programming (AOP) has been discussed recently ...