358 search results - page 23 / 72 » Parallel Evaluation Strategies for Functional Logic Language... |
82
Voted
CADE
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. A proof method is described which combines compositional proofs of interleaved parallel programs with the intuitive and highly automatic strategy of symbolic execution. A...
168
click to vote
ML
2011
ACM
14 years 4 months ago
2011
ACM
Abstract. Type Extension Trees (TET) have been recently introduced as an expressive representation language allowing to encode complex combinatorial features of relational entities...
ISPAN
1997
IEEE
15 years 1 months ago
1997
IEEE
This paper is concerned with the transparent parallelisation of declarative database queries, based on theoretical principles. We have designed an entire database architecture sui...
126
click to vote
LOPSTR
2009
Springer
15 years 4 months ago
2009
Springer
Answer Set Programming (ASP) is a powerful paradigm of logic programming for non-monotonic reasoning. However, the restriction of “grounded range-restricted function-free normal ...
103
click to vote
SAC
2008
ACM
14 years 9 months ago
2008
ACM
The dominance of digital objects in today's information landscape has changed the way humankind creates and exchanges information. However, it has also brought an entirely ne...