257 search results - page 14 / 52 » Programming with narrowing: A tutorial |
105
click to vote
JUCS
2006
15 years 1 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
111
click to vote
IFL
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it preserves the o...
128
Voted
PARA
1995
Springer
15 years 5 months ago
1995
Springer
Abstract. ScaLAPACK is a library of high performance linear algebra routines for distributed memory MIMD computers. It is a continuation of the LAPACK project, which designed and p...
121
click to vote
AFP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In self-adjusting computation, programs respond automatically and efficiently to modifications to their data by tracking the dynamic data dependences of the computation ...
113
click to vote
WSC
2004
15 years 3 months ago
2004
This tutorial will focus on several new real-world applications that have been developed using an integrated set of methods, including Tabu Search, Scatter Search, Mixed Integer P...