Documents on Hybrid cc
Papers
-
Hybrid CC and interval constraints .
A paper describing the implementation of Hybrid cc.
-
Computing with Continuous Change . The theoretical
foundations of Hybrid cc.
-
Modeling an AERCam: A case study in modeling with concurrent
constraint languages. A model of a robotic freeflying
camera in Hybrid cc.
-
Programming in Hybrid Constraint Languages. An older paper
giving some examples about programming in Hybrid cc.
-
Modeling a Photocopier Paper Path . A model written in a
Hybrid cc like syntax. Was implemented later.
-
Timed Default Concurrent Constraint Programming . The
discrete time synchronous language, designed on the way to
Hybrid cc.
-
Foundations of Timed Concurrent Constraint Programming .
The first attempt at a timed language based on cc.
Documentation
- The Hybrid cc Programmer's manual. Quite
incomplete, needs a lot of work.
- Slides for Hybrid cc. A set of 9
slides explaining the basics of Hybrid cc.