Sciweavers

10666 search results - page 36 / 2134

» Quantum programming languages

107

APLAS
2010
ACM

174views Programming Languages» more APLAS 2010»

A Quick Tour of the VeriFast Program Verifier

15 years 3 months ago

A Quick Tour of the VeriFast Program Verifier

Download people.cs.kuleuven.be

Bart Jacobs, Jan Smans, Frank Piessens

claim paper

Read More »

89

PPDP
2010
Springer

116views Programming Languages» more PPDP 2010»

On theorem proving for program checking: historical perspective and recent developments

15 years 1 months ago

On theorem proving for program checking: historical perspective and recent developments

Download profs.sci.univr.it

Maria Paola Bonacina

claim paper

Read More »

86

CEFP
2009
Springer

141views Programming Languages» more CEFP 2009»

Functional Programming with C++ Template Metaprograms

15 years 24 days ago

Functional Programming with C++ Template Metaprograms

Download aszt.inf.elte.hu

Zoltán Porkoláb

claim paper

Read More »

99

DSL
2009

129views Programming Languages» more DSL 2009»

Embedded Probabilistic Programming

15 years 23 days ago

Embedded Probabilistic Programming

Download www.cs.rutgers.edu

Oleg Kiselyov, Chung-chieh Shan

claim paper

Read More »

216

ICFP
2009
ACM

108views Programming Languages» more ICFP 2009»

A universe of binding and computation

16 years 3 months ago

A universe of binding and computation

Download www.cs.cmu.edu

Daniel R. Licata, Robert Harper

claim paper

Read More »

« Prev « First page 36 / 2134 Last » Next »