1036 search results - page 130 / 208 » Verification Programs for Abduction |
242
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
We present an internal language with equivalent expressive power to Standard ML, and discuss its formalization in LF and the machine-checked verification of its type safety in Twe...
131
click to vote
PERCOM
2007
ACM
16 years 4 months ago
2007
ACM
Pervasive computing applications are tedious to develop because they combine a number of problems ranging from device heterogeneity, to middleware constraints, to lack of programm...
121
click to vote
SIGADA
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes one method for identifying global variables in Ada procedures and adding them to the parameter list of appropriate procedures. Global variables, ones that are...
141
click to vote
STACS
2000
Springer
15 years 8 months ago
2000
Springer
We investigate self-testing programs with relative error by allowing error terms proportional to the function to be computed. Until now, in numerical computation, error terms were ...
153
click to vote
ESOP
2008
Springer
15 years 6 months ago
2008
Springer
This paper defines the cover of a formula with respect to a set of variables V in theory T to be the strongest quantifier-free formula that is implied by V : in theory T. Cover e...