Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

PPDP
2005
Springer

favoriteEmaildiscussreport

82views Programming Languages» more PPDP 2005»

A compositional semantics for CHR

13 years 9 months ago

A compositional semantics for CHR

Download tocl.acm.org

Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiar

Real-time Traffic

PPDP 2005 |

claim paper

Related Content

» Semanticspreserving translations between linear concurrent constraint programming and cons...

» Guard and Continuation Optimization for Occurrence Representations of CHR

» Expressiveness of Multiple Heads in CHR

» A LinearLogic Semantics for Constraint Handling Rules

» A Type System for CHR

» Unfolding in CHR

» HYPROLOG A New Logic Programming Language with Assumptions and Abduction

» Learning DependencyBased Compositional Semantics

» Unsupervised Learning of Semantic Relation Composition

Post Info
More Details (n/a)

Added	28 Jun 2010
Updated	28 Jun 2010
Type	Conference
Year	2005
Where	PPDP
Authors	Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo

Comments (0)