3481 search results - page 551 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
133
click to vote
LOPSTR
2004
Springer
15 years 8 months ago
2004
Springer
We address the problem of an efficient rewriting strategy for general term rewriting systems. Several strategies have been proposed over the last two decades for rewriting, the mos...
109
click to vote
ICLP
2003
Springer
15 years 8 months ago
2003
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
110
Voted
ECOOP
1998
Springer
15 years 7 months ago
1998
Springer
Predicate dispatching generalizes previous method dispatch mechanisms by permitting arbitrary predicates to control method applicability and by using logical implication between pr...
112
Voted
ECBS
1997
IEEE
15 years 7 months ago
1997
IEEE
We present a new approach to an interactive design and analysis environment for visual languages. The main components, i.e., editor, animator, and interpreter, are introduced. The...
149
click to vote
TYPES
1998
Springer
15 years 7 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...