1036 search results - page 103 / 208 » Verification Programs for Abduction |
239
click to vote
POPL
2003
ACM
16 years 4 months ago
2003
ACM
We present the design of a typed assembly language called TALT that supports heterogeneous tuples, disjoint sums, and a general account of addressing modes. TALT also implements t...
169
click to vote
FMCO
2009
Springer
15 years 2 months ago
2009
Springer
Partial evaluation is a program specialization technique that allows to optimize programs for which partial input is known. We show that partial evaluation can be used with advanta...
143
click to vote
WWW
2002
ACM
16 years 5 months ago
2002
ACM
HTML documents composed of frames can be difficult to write correctly. We demonstrate a technique that can be used by authors manually creating HTML documents (or by document edit...
140
click to vote
HYBRID
2000
Springer
15 years 8 months ago
2000
Springer
In this paper, we formulate the problem of characterizing the stability of a piecewise affine (PWA) system as a verification problem. The basic idea is to take the whole Rn as the ...
149
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...