Sciweavers

10622 search results - page 344 / 2125
» Python Programming Language
Sort
View
PPDP
2005
Springer
16 years 7 days ago
A gentle introduction to semantic subtyping
Giuseppe Castagna, Alain Frisch
PPDP
2005
Springer
16 years 7 days ago
A compositional semantics for CHR
Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiar...
144
Voted
PPDP
2005
Springer
16 years 7 days ago
Nominal rewriting with name generation: abstraction vs. locality
Maribel Fernández, Murdoch Gabbay
PPDP
2005
Springer
16 years 7 days ago
Abstract interpretation for constraint handling rules
Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck
129
Voted
SIGADA
2005
Springer
16 years 6 days ago
Scheduling and memory requirements analysis with AADL
Frank Singhoff, Jérôme Legrand, Laure...