3481 search results - page 311 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
147
click to vote
ANOR
2002
15 years 7 months ago
2002
Abstract. The generic hoist scheduling problem is NP-hard and arises from automated manufacturing lines. In recent work using the constraint logic programming (CLP) formalism, a un...
186
click to vote
RWEB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Answer Set Programming (ASP) is a declarative problem solving paradigm, rooted in Logic Programming and Nonmonotonic Reasoning, which has been gaining increasing attentio...
211
click to vote
GPCE
2007
Springer
16 years 1 months ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...
205
click to vote
SIGCSE
2002
ACM
15 years 6 months ago
2002
ACM
In our approach to the Programming Languages course, formal models are integrated as a thread that pervades the course, rather than as a one of many topics that is introduced and ...
223
click to vote
TLDI
2010
ACM
16 years 4 months ago
2010
ACM
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...