Loading...
Please wait, while we are loading the content...
Similar Documents
A Causal Semantics for Timed Default Concurrent Constraint Programming (2000)
| Content Provider | CiteSeerX |
|---|---|
| Author | Tini, Simone Maggiolo-Schettini, Andrea |
| Description | . We dene a causal semantics for Timed Default Concurrent Constraint Programming which permits associating each output with its cause. We show by an example how this information can simplify program debugging. We prove that the classic operational semantics of the language can be recovered from our causal semantics, and we prove that our causal semantics and the causal semantics of Concurrent Constraint Programming coincide for programs belonging to both languages. 1 |
| File Format | |
| Language | English |
| Publisher | Springer |
| Publisher Date | 2000-01-01 |
| Publisher Institution | Proc. of Algebraic Methodology and Software Technology, AMAST 2000, Lecture Notes in Computer Science |
| Access Restriction | Open |
| Subject Keyword | Timed Default Concurrent Constraint Programming Concurrent Constraint Programming Coincide Classic Operational Semantics Program Debugging Causal Semantics |
| Content Type | Text |
| Resource Type | Article |
