Sciweavers

Share
EPIA
2003
Springer

jcc: Integrating Timed Default Concurrent Constraint Programming into Java

9 years 3 months ago
jcc: Integrating Timed Default Concurrent Constraint Programming into Java
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 in education and research, for the programming of embedded reactive systems, for parallel/distributed simulation and modelling (particularly for space, robotics and systems biology applications), and to support the development of constraint-based program analysis and type-checking tools. In fully implementing the Timed Default cc framework, jcc supports the notion of (typed) logical variables (called “promises”, after [5]), allows the programmer to add his/her own constraint system (an implementation of the Herbrand constraint system is provided), implements (instantaneous) defaults via backtracking, implements a complete renewal of the constraint-store at each time instant, and implements bounded-time execution of the Timed cc control constructs. jcc implements the notion of reactive vats [5] as single th...
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where EPIA
Authors Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
Comments (0)
books