LICS
1990
IEEE
14 years 3 months ago
1990
IEEE
E cient automatic model checking algorithms for real-time systems have been obtained in recent years based on the state region graph technique of Alur, Courcoubetis and Dill. Howev...
LICS
1990
IEEE
14 years 3 months ago
1990
IEEE
PLISP
1989
14 years 3 months ago
1989
PLISP
1989
14 years 3 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...
LICS
1989
IEEE
14 years 3 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...
LICS
1989
IEEE
14 years 3 months ago
1989
IEEE
LICS
1989
IEEE
14 years 3 months ago
1989
IEEE
LICS
1989
IEEE
14 years 3 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...
LICS
1989
IEEE
14 years 3 months ago
1989
IEEE
LICS
1989
IEEE
14 years 3 months ago
1989
IEEE
We explore ideal models for a programming language with recursive polymorphic types, variants of the model studied by MacQueen, Plotkin, and Sethi. The use of suitable ideals yiel...