104
click to vote
FLOPS
15 years 19 days 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...
102
click to vote
FLOPS
15 years 2 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 2 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 2 months ago
2004 Springer 
Sharing among program variables is vital information when analyzing logic programs. This information is often expressed either as sets or as pairs of program variables that (may) s...
FLOPS
15 years 2 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...
|
Automated Reasoning