1613 search results - page 48 / 323 » Functional and Constraint Logic Programming |
124
click to vote
PPDP
2001
Springer
15 years 8 months ago
2001
Springer
This paper describes an implementation of narrowing, an essential component of implementations of modern functional logic languages. These implementations rely on narrowing, in pa...
150
click to vote
LOPSTR
1997
Springer
15 years 7 months ago
1997
Springer
Synthesis of logic programs is considered as a special instance of logic programming. We describe experience made within a logical metaprogramming environment whose central compone...
125
Voted
WCET
2008
15 years 5 months ago
2008
In this paper, we propose the use of constraint logic programming as a way of modeling contextsensitive execution-times of program segments. The context-sensitive constraints are ...
137
Voted
CHARME
2003
Springer
15 years 8 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
195
Voted
SOFSEM
2009
Springer
16 years 12 days ago
2009
Springer
Abstract. Constraint Handling Rules (CHR) is a general purpose, committedchoice declarative language which, differently from other similar languages, uses multi-headed (guarded) ru...