Sciweavers

3983 search results - page 46 / 797
» Conceptual logic programs
Sort
View
POPL
1990
ACM
15 years 6 months ago
Parallelism in Logic Programs
Raghu Ramakrishnan
85
Voted
PPDP
2000
Springer
15 years 5 months ago
Type-based nondeterminism checking in functional logic programs
Michael Hanus, Frank Steiner
PPDP
2000
Springer
15 years 5 months ago
Continuations for parallel logic programming
Eneia Todoran, Nikolaos Papaspyrou
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