1613 search results - page 50 / 323 » Functional and Constraint Logic Programming |
129
Voted
VLDB
1991
ACM
15 years 7 months ago
1991
ACM
We introduce a persistentfunctional languagecalled PFL which adapts functional programming to the area of deductive databases,much as logic-based deductive databaselanguagesadapt ...
157
click to vote
CADE
2001
Springer
16 years 3 months ago
2001
Springer
The modalities of Dynamic Logic refer to the final state of a program execution and allow to specify programs with pre- and postconditions. In this paper, we extend Dynamic Logic w...
156
click to vote
CORR
2004
Springer
15 years 3 months ago
2004
Springer
In this paper, we present a framework for automatic generation of CHR solvers given the logical specification of the constraints. This approach takes advantage of the power of tab...
116
click to vote
DAC
1998
ACM
16 years 4 months ago
1998
ACM
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...
147
Voted
LICS
1994
IEEE
15 years 7 months ago
1994
IEEE
We develop a model for timed, reactive computation by extending the asynchronous, untimed concurrent constraint programming model in a simple and uniform way. In the spirit of pro...