Sciweavers

10871 search results - page 358 / 2175
» A stable programming language
Sort
View
IFIP
2005
Springer
16 years 6 days ago
Recent Advances in Bound Constrained Optimization
William W. Hager, Hongchao Zhang
PPDP
2005
Springer
16 years 6 days ago
A gentle introduction to semantic subtyping
Giuseppe Castagna, Alain Frisch
PPDP
2005
Springer
16 years 6 days ago
A compositional semantics for CHR
Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiar...
144
Voted
PPDP
2005
Springer
16 years 6 days ago
Nominal rewriting with name generation: abstraction vs. locality
Maribel Fernández, Murdoch Gabbay
PPDP
2005
Springer
16 years 6 days ago
Abstract interpretation for constraint handling rules
Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck