Sciweavers

10575 search results - page 18 / 2115

» T2Script Programming Language

61

APLAS
2010
ACM

174views Programming Languages» more APLAS 2010»

A Quick Tour of the VeriFast Program Verifier

14 years 9 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 »

56

Voted

PPDP
2010
Springer

116views Programming Languages» more PPDP 2010»

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

14 years 7 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 »

59

CEFP
2009
Springer

141views Programming Languages» more CEFP 2009»

Functional Programming with C++ Template Metaprograms

14 years 7 months ago

Functional Programming with C++ Template Metaprograms

Download aszt.inf.elte.hu

Zoltán Porkoláb

claim paper

Read More »

66

DSL
2009

129views Programming Languages» more DSL 2009»

Embedded Probabilistic Programming

14 years 7 months ago

Embedded Probabilistic Programming

Download www.cs.rutgers.edu

Oleg Kiselyov, Chung-chieh Shan

claim paper

Read More »

164

ICFP
2009
ACM

108views Programming Languages» more ICFP 2009»

A universe of binding and computation

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