797 search results - page 18 / 160 » Eliminating Proofs from Programs |
126
click to vote
AMAI
1999
Springer
15 years 14 days ago
1999
Springer
In this paper we present an extension of logic programming (LP) that is suitable not only for the "rational" component of a single agent but also for the "reactive&...
113
Voted
PLDI
2006
ACM
15 years 6 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
141
Voted
ENTCS
2006
15 years 24 days ago
2006
It is a well-known fact that algorithms are often hidden inside mathematical proofs. If these proofs are formalized inside a proof assistant, then a mechanism called extraction ca...
107
click to vote
HEURISTICS
2006
15 years 24 days ago
2006
Multiobjective optimization deals with problems involving multiple measures of performance that should be optimized simultaneously. In this paper we extend bucket elimination (BE),...
110
click to vote
APLAS
2006
ACM
15 years 6 months ago
2006
ACM
straction for Imperative Languages William L. Harrison Dept. of Computer Science, University of Missouri, Columbia, Missouri, USA. ty in programming language semantics derives fro...