102
click to vote
ICFP
15 years 8 months ago
2005 ACM 
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
GPCE
15 years 2 months ago
2005 Springer 
Abstract. This paper presents AOP++, a generic aspect-oriented programming framework in C++. It successfully incorporates AOP with object-oriented programming as well as generic pr...
108
click to vote
SIGADA
15 years 2 months ago
2005 Springer 
Concerns for concurrent systems are not always easy to modularize within single units using traditional programming languages. The concept of aspect orientation can be applied to ...
UM
15 years 2 months ago
2005 Springer
We develop a novel user-centric modeling technology, which can dynamically describe and update a person's expertise profile. In an enterprise environment, the technology can e...
119
click to vote
CD
15 years 2 months ago
2005 Springer
Recent studies showed potential for using component frameworks for building flexible adaptible applications for deployment in distributed environments. However this approach is h...
|
Programming Languages