1613 search results - page 70 / 323 » Functional and Constraint Logic Programming |
183
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Weighted logic programming, a generalization of bottom-up logic programming, is a successful framework for specifying dynamic programming algorithms. In this setting, pro...
158
click to vote
KI
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. We compare three systems for the task of synthesising functional recursive programs, namely Adate, an approach through evolutionary computation, the classification learn...
287
click to vote
PLDI
2009
ACM
16 years 6 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
165
click to vote
LICS
2005
IEEE
15 years 11 months ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
156
click to vote
ICLP
2005
Springer
15 years 11 months ago
2005
Springer
Answer set programming (ASP for short) is a declarative problem solving framework that has been recently attracting the attention of researchers for its expressiveness and for its...