3738 search results - page 298 / 748 » Parametrized Logic Programming |
105
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
136
click to vote
CP
2000
Springer
15 years 8 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...
141
click to vote
SIGCSE
2002
ACM
15 years 3 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 ...
156
click to vote
TLDI
2010
ACM
16 years 1 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...
154
click to vote
EPIA
2003
Springer
15 years 9 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...