6740 search results - page 286 / 1348 » Using Classification as a Programming Language |
143
Voted
CP
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. In this paper, we present a major improvement in the search procedures in constraint programming. First, we integrate various search procedures from AI and OR. Second, we...
116
Voted
IFL
2007
Springer
15 years 8 months ago
2007
Springer
Haskell is a functional language, with features such as higher order functions and lazy evaluation, which allow succinct programs. These high-level features present many challenges...
98
Voted
SFP
2004
15 years 4 months ago
2004
: In previous work we showed how to verify a compiler for a small language with exceptions. In this article we show how to calculate, as opposed to an abstract machine for this lan...
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...
121
Voted
ICTAC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...