2638 search results - page 436 / 528 » A Framework for Automatic Debugging |
107
click to vote
KDD
1995
ACM
15 years 5 months ago
1995
ACM
The information age is characterizedby a rapid growth in the amountof information availablein electronicmedia. Traditional data handling methods are not adequate to cope with this...
110
click to vote
MPC
1995
Springer
15 years 5 months ago
1995
Springer
We want to prove \automatically" that a program is correct with respect to a set of given properties that is a speci cation. Proofs of speci cations contain logical parts and ...
124
click to vote
SC
1995
ACM
15 years 5 months ago
1995
ACM
This paper presents an extensive empirical evaluation of an interprocedural parallelizing compiler, developed as part of the Stanford SUIF compiler system. The system incorporates...
105
click to vote
LICS
1989
IEEE
15 years 5 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
103
click to vote
PAKDD
2010
ACM
15 years 5 months ago
2010
ACM
We present a general framework for the task of extracting specific information “on demand” from a large corpus such as the Web under resource-constraints. Given a database wit...