Sciweavers

10575 search results - page 18 / 2115

» Programming Languages

113

Voted

APLAS
2010
ACM

174views Programming Languages» more APLAS 2010»

A Quick Tour of the VeriFast Program Verifier

15 years 4 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 »

98

PPDP
2010
Springer

116views Programming Languages» more PPDP 2010»

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

15 years 2 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 »

98

Voted

CEFP
2009
Springer

141views Programming Languages» more CEFP 2009»

Functional Programming with C++ Template Metaprograms

15 years 1 months ago

Functional Programming with C++ Template Metaprograms

Download aszt.inf.elte.hu

Zoltán Porkoláb

claim paper

Read More »

104

Voted

DSL
2009

129views Programming Languages» more DSL 2009»

Embedded Probabilistic Programming

15 years 1 months ago

Embedded Probabilistic Programming

Download www.cs.rutgers.edu

Oleg Kiselyov, Chung-chieh Shan

claim paper

Read More »

231

Voted

ICFP
2009
ACM

108views Programming Languages» more ICFP 2009»

A universe of binding and computation

16 years 4 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 18 / 2115 Last » Next »