4370 search results - page 296 / 874 » Algebra of Logic Programming |
216
Voted
POPL
2004
ACM
16 years 1 months ago
2004
ACM
Defunctionalization is a program transformation that aims to turn a higher-order functional program into a first-order one, that is, to eliminate the use of functions as first-cla...
89
Voted
BIRTHDAY
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper investigates how to apply the techniques on solving semi-algebraic systems to invariant generation of polynomial programs. By our approach, the generated invar...
113
Voted
HASKELL
2007
ACM
15 years 4 months ago
2007
ACM
We develop a Haskell library for functional-logic programming, motivated by the implementation of Wired, a relational embedded domain-specific language for describing and analysin...
103
click to vote
FLOPS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We present a lightweight, automated tool for specificationbased testing of declarative programs written in the functional logic programming language Curry and emphasize t...
93
Voted
FSTTCS
2009
Springer
15 years 7 months ago
2009
Springer
We study the problem of polynomial identity testing (PIT) for depth 2 arithmetic circuits over matrix algebra. We show that identity testing of depth 3 (ΣΠΣ) arithmetic circuit...