1702 search results - page 133 / 341 » Doomed program points |
131
click to vote
GCSE
2000
Springer
15 years 8 months ago
2000
Springer
Over the recent years aspect-oriented programming (AOP) has found increasing interest among researchers in software engineering. Aspects are ions which capture and localise cross-c...
135
click to vote
SETP
2007
15 years 6 months ago
2007
To improve object-oriented technologies, roles are proposed to support separation of concerns, object collaboration, and object evolutions. Compared with classes, there is confusi...
124
Voted
CATS
2006
15 years 6 months ago
2006
This paper gives an overview of a pilot project on the specification and verification of the L4 highperformance microkernel. Of the three aspects examined in the project, we descr...
293
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
151
Voted
PPOPP
2009
ACM
16 years 5 months ago
2009
ACM
Irregular programs are programs organized around pointer-based data structures such as trees and graphs. Recent investigations by the Galois project have shown that many irregular...