2196 search results - page 149 / 440 » Practical Reasoning Using Values |
LICS
1999
IEEE
15 years 6 months ago
1999
IEEE
We give a new decision procedure for the guarded fragment with equality. The procedure is based on resolution with superposition. We argue that this method will be more useful in ...
108
click to vote
POPL
1998
ACM
15 years 6 months ago
1998
ACM
Recent years have seen increasing interest in systems that reason about and manipulate executable code. Such systems can generally benefit from information about aliasing. Unfort...
107
Voted
CADE
1994
Springer
15 years 6 months ago
1994
Springer
Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic acc...
118
Voted
CADE
2006
Springer
15 years 6 months ago
2006
Springer
We present a tool for checking the sufficient completeness of linear, order-sorted equational specifications modulo associativity, commutativity, and identity. Our tool treats this...
146
click to vote
PLILP
1995
Springer
15 years 6 months ago
1995
Springer
Abstract. Using higher-order functions is standard practice in functional programming, but most functional logic programming languages that have been described in the literature la...