222
Voted
PLISP
15 years 10 months ago
1989  160
Voted
PLISP
15 years 10 months ago
1989
Speculative computing is a technique to improve the execution time of certain applications by starting some computations before it is known that the computations are required. A s...
161
click to vote
LICS
15 years 10 months ago
1989 IEEE
The λ-calculus is considered an useful mathematical tool in the study of programming languages. However, if one uses βη-conversion to prove equivalence of programs, then a gros...
145
click to vote
LICS
15 years 10 months ago
1989 IEEE
A refutation mechanism is introduced into logic programming, dual to the usual proof mechanism; then negation is treated via refutation. A four-valued logic is appropriate for the...
153
click to vote
CSL
15 years 10 months ago
1989 Springer 
We generalize algebraic operational semantics from sequential languages to distributed, concurrent languages using Occam as an example. Elsewhere, we will discuss applications to ...
|
Automated Reasoning