3566 search results - page 270 / 714 » Signed Logic Programs |
172
click to vote
SAS
1992
Springer
15 years 7 months ago
1992
Springer
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
127
click to vote
CP
2000
Springer
15 years 7 months ago
2000
Springer
Constraint programming offers a variety of modeling objects such as logical and global constraints, that lead to concise and clear models for expressing combinatorial optimization...
131
click to vote
SIGCSE
2002
ACM
15 years 2 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 ...
149
click to vote
TLDI
2010
ACM
16 years 1 days 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...
144
click to vote
EPIA
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7]. jcc is intended for use i...