1131 search results - page 124 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
97
Voted
CORR
2008
Springer
15 years 21 days 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...
216
click to vote
POPL
2008
ACM
16 years 28 days 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...
88
Voted
DBPL
1991
Springer
15 years 4 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...
103
Voted
TACAS
2009
Springer
15 years 7 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...
118
click to vote
CORR
2004
Springer
15 years 14 days 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...