1320 search results - page 96 / 264 » Efficient Implementation of a Linear Logic Programming Langu... |
151
click to vote
ERLANG
2003
ACM
15 years 9 months ago
2003
ACM
The viability of implementing an in-memory database, Erlang ETS, using a relatively-new data structure, called a Judy array, was studied by comparing the performance of ETS tables...
158
click to vote
ICLP
2010
Springer
15 years 2 months ago
2010
Springer
Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific logical relati...
158
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...
139
click to vote
PLILP
1997
Springer
15 years 8 months ago
1997
Springer
We introduce a framework for managing as a whole the space of a narrowing computation. The aim of our framework is to find a finite representation of an infinite narrowing space...
130
click to vote
ICFP
2002
ACM
16 years 3 months ago
2002
ACM
We present the type theory LTT, intended to form a basis for typed target languages, providing an internal notion of logical proposition and proof. The inclusion of explicit proof...