1063 search results - page 64 / 213 » Programming Methodologies in GCLA |
SAC
2010
ACM
14 years 2 months ago
2010
ACM
The applicability of aspects as a means of implementing runtime contract checking has been demonstrated in prior work, where contracts are identified as cross-cutting concerns [1...
IEEEIAS
2009
IEEE
14 years 2 months ago
2009
IEEE
: The link between security engineering and systems engineering exists at the earliest stage of systems development, and, as a whole, there is sufficient evidence to suggest the di...
CC
2004
Springer
14 years 1 months ago
2004
Springer
In theory, increasing alias analysis precision should improve compiler optimizations on C programs. This paper compares alias analysis algorithms on scalar optimizations, including...
ECOOP
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness of object-oriented software. Yet, reasoni...
SIGUCCS
2003
ACM
14 years 28 days ago
2003
ACM
The University of Missouri–Columbia’s Information and Access Technology (IAT) Services division’s InfoTech Training department measures IT training using the return on inves...