Sciweavers

7456 search results - page 64 / 1492
» Parallelism in Logic Programs
Sort
View
ICALP
1992
Springer
15 years 6 months ago
Logic Programming Semantics Made Easy
Els Laenens, Dirk Vermeir, Carlo Zaniolo
91
Voted
PPDP
2000
Springer
15 years 6 months ago
Type-based nondeterminism checking in functional logic programs
Michael Hanus, Frank Steiner
103
Voted
PVM
2004
Springer
15 years 7 months ago
A Message Ordering Problem in Parallel Programs
We consider a certain class of parallel program segments in which the order of messages sent affects the completion time. We give characterization of these parallel program segmen...
Bora Uçar, Cevdet Aykanat
139
Voted
PADL
2007
Springer
15 years 8 months ago
Aspect-Oriented Programming in Higher-Order and Linear Logic
Essential elements of aspect-oriented programming can be formulated as forms of logic programming. Extensions of Horn Clause rovide richer abstraction and control mechanisms. Defi...
Chuck C. Liang