1131 search results - page 124 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
110
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
We describe Haskell implementations of interesting combinatorial generation algorithms with focus on boolean functions and logic circuit representations. First, a complete exact c...
241
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
Java programmers can document that the relationship between two objects is unchanging by declaring the field that encodes that relationship to be final. This information can be us...
103
click to vote
DBPL
1991
Springer
15 years 6 months ago
1991
Springer
We present a functional DBPL in the style of FP that facilitates the definition of precise semantics and opens up opportunities for far-reaching optimizations. The language is int...
125
click to vote
TACAS
2009
Springer
15 years 9 months ago
2009
Springer
We introduce the All-Termination(T) problem: given a termination solver, T, and a program (a set of functions), find every set of formal arguments whose consideration is sufficie...
146
click to vote
CORR
2004
Springer
15 years 2 months ago
2004
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda-calculus for the QRAM model, following the work of P. Seling...