Sciweavers

18 search results - page 1 / 4
» ppdp 2005
Sort
View
PPDP
2005
Springer
14 years 2 months ago
A gentle introduction to semantic subtyping
Giuseppe Castagna, Alain Frisch
PPDP
2005
Springer
14 years 2 months ago
A compositional semantics for CHR
Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiar...
PPDP
2005
Springer
14 years 2 months ago
Abstract interpretation for constraint handling rules
Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck
PPDP
2005
Springer
14 years 2 months ago
Timed constraint programming: a declarative approach to usage control
Radha Jagadeesan, Will Marrero, Corin Pitcher, Vij...