143
Voted
PLISP
15 years 4 months ago
1989  92
Voted
PLISP
15 years 4 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...
103
Voted
LICS
15 years 4 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...
88
Voted
LICS
15 years 4 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...
94
Voted
CSL
15 years 4 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