Sciweavers

10871 search results - page 358 / 2175
» A stable programming language
Sort
View
IFIP
2005
Springer
16 years 29 days ago
Recent Advances in Bound Constrained Optimization
William W. Hager, Hongchao Zhang
146
Voted
PPDP
2005
Springer
16 years 28 days ago
A gentle introduction to semantic subtyping
Giuseppe Castagna, Alain Frisch
PPDP
2005
Springer
16 years 28 days ago
A compositional semantics for CHR
Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiar...
155
Voted
PPDP
2005
Springer
16 years 28 days ago
Abstract interpretation for constraint handling rules
Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck