115
click to vote
FLOPS
15 years 1 months ago
2004 Springer 
Abstract. This paper describes how high level implementations of (needed) narrowing into Prolog can be improved by analysing definitional trees. First, we introduce a refined repre...
105
click to vote
FLOPS
15 years 3 months ago
2004 Springer 
Abstract. This article is a brief and subjective survey of quantum programming language research. 1 Quantum Computation Quantum computing is a relatively young subject. It has its ...
FLOPS
15 years 3 months ago
2004 Springer 
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...
FLOPS
15 years 3 months ago
2004 Springer
We present a graphical tool for the declarative debugging of wrong answers in functional-logic languages. The tool, integrated in the system T OY, can be used to navigate a computa...
FLOPS
15 years 1 months ago
2004 Springer 
Abstract. Outermost-needed rewriting/narrowing is a sound and complete optimal demand-driven strategy for the class of inductively sequential constructor systems. Its parallel exte...
|
Automated Reasoning