Sciweavers

10575 search results - page 264 / 2115
» Programming Languages
Sort
View
PPDP
2005
Springer
16 years 21 days ago
A gentle introduction to semantic subtyping
Giuseppe Castagna, Alain Frisch
PPDP
2005
Springer
16 years 21 days ago
A compositional semantics for CHR
Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiar...
153
Voted
PPDP
2005
Springer
16 years 21 days ago
Abstract interpretation for constraint handling rules
Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck
SIGADA
2005
Springer
16 years 21 days ago
Scheduling and memory requirements analysis with AADL
Frank Singhoff, Jérôme Legrand, Laure...