Search Sciweavers | Sciweavers

10666 search results - page 347 / 2134

» Quantum programming languages

144

click to vote

IFIP
2005
Springer

74views Programming Languages» more IFIP 2005»

Proof Obligations Preserving Compilation

16 years 5 days ago

Download cs.ioc.ee

Gilles Barthe, Tamara Rezk, Ando Saabas

claim paper

Read More »

160

click to vote

IFIP
2005
Springer

87views Programming Languages» more IFIP 2005»

Recent Advances in Bound Constrained Optimization

16 years 5 days ago

Download www.math.lsu.edu

William W. Hager, Hongchao Zhang

claim paper

Read More »

128

click to vote

PPDP
2005
Springer

103views Programming Languages» more PPDP 2005»

A gentle introduction to semantic subtyping

16 years 5 days ago

Download www.di.ens.fr

Giuseppe Castagna, Alain Frisch

claim paper

Read More »

137

click to vote

PPDP
2005
Springer

82views Programming Languages» more PPDP 2005»

A compositional semantics for CHR

16 years 5 days ago

Download tocl.acm.org

Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiar...

claim paper

Read More »

142

Voted

PPDP
2005
Springer

90views Programming Languages» more PPDP 2005»

Nominal rewriting with name generation: abstraction vs. locality

16 years 5 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers