3441 search results - page 441 / 689 » Parallel Logic Programming Systems |
157
click to vote
PPDP
2004
Springer
15 years 10 months ago
2004
Springer
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...
134
click to vote
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...
165
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
Abstract. A method based on dependency pairs for showing termination of functional programs on data structures generated by constructors with relations is proposed. A functional pr...
125
click to vote
ICLP
2007
Springer
15 years 11 months ago
2007
Springer
As logic programming applications grow in size, Prolog systems need to efficiently access larger and larger data sets and the need for any- and multiargument indexing becomes more...
159
click to vote
EUROPAR
2009
Springer
15 years 11 months ago
2009
Springer
Porting on grids complex MPI applications involving collective communications requires significant program modification, usually dedicated to a single grid structure. The diffi...