Sciweavers

10871 search results - page 36 / 2175

» A stable programming language

93

POPL
1991
ACM

110views Programming Languages» more POPL 1991»

Program Optimization and Parallelization Using Idioms

15 years 6 months ago

Program Optimization and Parallelization Using Idioms

Download www.cs.technion.ac.il

Shlomit S. Pinter, Ron Y. Pinter

claim paper

Read More »

72

FPCA
1987

66views Programming Languages» more FPCA 1987»

Matrix algebra and applicative programming

15 years 6 months ago

Matrix algebra and applicative programming

Download www.cs.indiana.edu

David S. Wise

claim paper

Read More »

90

Voted

ICFP
2010
ACM

103views Programming Languages» more ICFP 2010»

Program verification through characteristic formulae

15 years 4 months ago

Program verification through characteristic formulae

Download www.chargueraud.org

Arthur Charguéraud

claim paper

Read More »

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 »

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