3441 search results - page 229 / 689 » Parallel Logic Programming Systems |
145
click to vote
ENTCS
2007
15 years 3 months ago
2007
Narrowing was originally introduced to solve equational E-unification problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both ...
122
click to vote
FSTTCS
2003
Springer
15 years 8 months ago
2003
Springer
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
122
Voted
CLEIEJ
2002
15 years 3 months ago
2002
Advances in parallel computation are of central importance to Artificial Intelligence due to the significant amount of time and space their programs require. Functional languages ...
150
click to vote
AUTONOMICS
2008
ACM
15 years 5 months ago
2008
ACM
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...
120
click to vote
PPDP
2009
Springer
15 years 10 months ago
2009
Springer
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively refine dependent types wit...