Sciweavers

8232 search results - page 67 / 1647
» Dynamic Logic Programming
Sort
View
91
Voted
PPDP
2000
Springer
15 years 6 months ago
Type-based nondeterminism checking in functional logic programs
Michael Hanus, Frank Steiner
PPDP
2000
Springer
15 years 6 months ago
Continuations for parallel logic programming
Eneia Todoran, Nikolaos Papaspyrou
WAC
2004
Springer
150views Communications» more  WAC 2004»
15 years 7 months ago
A Systems Architecture for Sensor Networks Based On Hardware/Software Co-design
We describe the motivation and design of a novel embedded systems architecture for large networks of small devices, tha canonical example being wireless sensor networks. The archit...
Andy Nisbet, Simon Dobson
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