1445 search results - page 85 / 289 » Abstract Interpretation of Logic Programs |
146
click to vote
CADE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...
119
click to vote
SAS
2004
Springer
15 years 8 months ago
2004
Springer
Termination has been a subject of intensive research in the logic programming community for the last two decades. Most works deal with proving universal left termination of a given...
123
click to vote
ESOP
2010
Springer
16 years 16 days ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
139
click to vote
JAR
2002
15 years 2 months ago
2002
Abstract. Can theorem proving in mathematical logic be addressed by classical mathematical techniques like the calculus of variations? The answer is surprisingly in the affirmative...
113
click to vote
ERSHOV
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. Monads are a technique widely used in functional programming languages to address many different problems. This paper presents extensions, a functional-logic programming...