Sciweavers

3566 search results - page 29 / 714
» Signed Logic Programs
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
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
PDPTA
2000
15 years 3 months ago
Constant Multipliers for FPGAs
This paper presents a survey of techniques to implement multiplications by constants on FPGAs. It shows in particular that a simple and well-known technique, canonical signed recod...
Florent de Dinechin, Vincent Lefèvre