Sciweavers

3566 search results - page 29 / 714

» Signed Logic Programs

130

Voted

PPDP
2000
Springer

80views Programming Languages» more PPDP 2000»

Type-based nondeterminism checking in functional logic programs

15 years 10 months ago

Type-based nondeterminism checking in functional logic programs

Download eref.uqu.edu.sa

Michael Hanus, Frank Steiner

claim paper

Read More »

132

PPDP
2000
Springer

94views Programming Languages» more PPDP 2000»

Continuations for parallel logic programming

15 years 10 months ago

Continuations for parallel logic programming

Download www.softlab.ntua.gr

Eneia Todoran, Nikolaos Papaspyrou

claim paper

Read More »

139

ICALP
1991
Springer

99views Programming Languages» more ICALP 1991»

Logical and Computational Aspects of Programming with Sets/Bags/Lists

15 years 10 months ago

Logical and Computational Aspects of Programming with Sets/Bags/Lists

Download www.ircs.upenn.edu

Val Tannen, Ramesh Subrahmanyam

claim paper

Read More »

192

Voted

PADL
2007
Springer

180views Programming Languages» more PADL 2007»

Aspect-Oriented Programming in Higher-Order and Linear Logic

16 years 16 days ago

Aspect-Oriented Programming in Higher-Order and Linear Logic

Download www.cs.hofstra.edu

Essential elements of aspect-oriented programming can be formulated as forms of logic programming. Extensions of Horn Clause rovide richer abstraction and control mechanisms. Deﬁ...

Chuck C. Liang

claim paper

Read More »

158

PDPTA
2000

123views Distributed And Parallel Com...» more PDPTA 2000»

Constant Multipliers for FPGAs

15 years 7 months ago

Constant Multipliers for FPGAs

Download perso.ens-lyon.fr

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

claim paper

Read More »

« Prev « First page 29 / 714 Last » Next »