1768 search results - page 78 / 354 » A Logic for Algebraic Effects |
184
click to vote
PDSE
1998
15 years 7 months ago
1998
This paper proposes a theoretical framework for verifying and deriving code optimizations for programs written in parallel programming languages. The key idea of this framework is...
152
click to vote
ICCAD
2008
IEEE
16 years 2 months ago
2008
IEEE
This paper presents new methods for restructuring logic networks based on fast Boolean techniques. The basis for these are 1) a cut based view of a logic network, 2) exploiting th...
189
click to vote
FLOPS
2010
Springer
16 years 26 days ago
2010
Springer
We present a general framework for generating SQL query test cases using Constraint Logic Programming. Given a database schema and a SQL view defined in terms of other views and s...
177
click to vote
LOPSTR
1998
Springer
15 years 10 months ago
1998
Springer
Based on a variable-free combinatory form of definite clause logic programs we outline a methodology and supporting program environment CombInduce for inducing well-moded logic pro...
171
click to vote
IPPS
2007
IEEE
16 years 10 days ago
2007
IEEE
This paper presents a new and retargetable method to identify patterns of instructions with direct support in coarsegrained processing elements (PEs). The method uses a three-addr...