537 search results - page 35 / 108 » Compiling Exceptions Correctly |
VLDB
2005
ACM
14 years 1 months ago
2005
ACM
A key challenge facing the designers of serviceoriented applications is ensuring that the autonomous services that make up these distributed applications always finish in consiste...
ICAI
2004
13 years 9 months ago
2004
This paper presents a mixed-initiative assistant that supports a subject matter expert to extend the ontology of a learning agent, in order to express the subtle distinctions he ma...
FAC
2008
13 years 7 months ago
2008
We describe our experiences in mechanising the specification, refinement, and proof of the Mondex Electronic Purse using the Z/Eves theorem prover. We took a conservative approach ...
ACE
2003
13 years 9 months ago
2003
Syntax error correction is an essential part of the debugging process. Yet there has been little research investigating how programmers approach syntax error correction and how to...
HASKELL
2007
ACM
13 years 11 months ago
2007
ACM
The use of typed intermediate languages can significantly increase the reliability of a compiler. By type-checking the code produced at each transformation stage, one can identify...