5477 search results - page 1033 / 1096 » Contexts, Domains, and Software |
104
click to vote
PLDI
2010
ACM
15 years 4 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
TAPSOFT
1993
Springer
15 years 4 months ago
1993
Springer
: We propose a new algebraic framework for exception handling which is powerful enough to cope with many exception handling features such that recovery, implicit propagation of exc...
101
click to vote
TACS
1994
Springer
15 years 4 months ago
1994
Springer
In the A-calculus, there is a standard notion of what terms should be considered to be "undefined": the unsolvable terms. There are various equivalent characterisations o...
107
click to vote
CASES
2007
ACM
15 years 3 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
115
Voted
CODES
2009
IEEE
15 years 3 months ago
2009
IEEE
Profilers play an important role in software/hardware design, optimization, and verification. Various approaches have been proposed to implement profilers. The most widespread app...