32032 search results - page 49 / 6407 » Verified programming in Guru |
COMPSAC
2007
IEEE
15 years 5 months ago
2007
IEEE
Program verification is a promising approach to improving program quality. To formally verify aspectoriented programs, we have to find a way to formally specify programs written i...
86
Voted
JLP
2010
14 years 5 months ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...
OOPSLA
2004
Springer
15 years 4 months ago
2004
Springer
In this paper we present aspect-oriented programming laws that are useful for deriving refactorings for AspectJ. The laws help developers to verify if the transformations they de�...
VSTTE
2005
Springer
15 years 4 months ago
2005
Springer
This paper argues that specified blocks have every advantage over the combination of assertions, preconditions, postconditions, invariants, and variants, both for verifying program...
108
click to vote
LICS
1992
IEEE
15 years 3 months ago
1992
IEEE
We sketch a methodology for the verification of compiler correctness based on the LF Logical Framework as realized within the Elf programming language. We have applied this techni...