Sciweavers

7456 search results - page 64 / 1492
» Parallelism in Logic Programming
Sort
View
ICALP
1992
Springer
14 years 2 months ago
Logic Programming Semantics Made Easy
Els Laenens, Dirk Vermeir, Carlo Zaniolo
PVM
2004
Springer
14 years 3 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
PADL
2007
Springer
14 years 4 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