2501 search results - page 229 / 501 » Obligations and Their Interaction with Programs |
161
click to vote
ECOOP
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. Aspect-oriented advice increases the number of places one must consider during reasoning, since advice may affect all method calls and field accesses. MAO, a new variant...
169
click to vote
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
We describe (and demonstrate) the execution model of a computing platform where computation is both incremental and data-driven. We call such an approach delta-driven. The platfor...
149
click to vote
TLDI
2003
ACM
15 years 11 months ago
2003
ACM
An important consideration for certified code systems is the interaction of the untrusted program with the runtime system, most notably the garbage collector. Most certified cod...
171
click to vote
EICS
2010
ACM
15 years 11 months ago
2010
ACM
Web applications such as web-based email, spreadsheets and form filling applications have become ubiquitous. However, many of the tasks that users try to accomplish with such web ...
146
click to vote
GPCE
2009
Springer
15 years 10 months ago
2009
Springer
Dynamic aspect-oriented programming (AOP) enables runtime adaptation of aspects, which is important for building sophisticated, aspect-based software engineering tools, such as ad...