Sciweavers

10585 search results - page 31 / 2117

» The Orc Programming Language

131

Voted

GPCE
2008
Springer

105views Programming Languages» more GPCE 2008»

Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement

15 years 4 months ago

Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement

Download www.infosun.fim.uni-passau.de

Sven Apel, Christian Kästner, Christian Lenga...

claim paper

Read More »

110

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 »

93

Voted

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 »

90

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 »

102

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 »

« Prev « First page 31 / 2117 Last » Next »