Sciweavers

10935 search results - page 23 / 2187

» Neural Programming Language

137

Voted

PLDI
1991
ACM

83views Programming Languages» more PLDI 1991»

Predicting Program Behavior Using Real or Estimated Profiles

15 years 10 months ago

Predicting Program Behavior Using Real or Estimated Profiles

Download www.hpl.hp.com

David W. Wall

claim paper

Read More »

124

Voted

POPL
1991
ACM

110views Programming Languages» more POPL 1991»

Program Optimization and Parallelization Using Idioms

15 years 10 months ago

Program Optimization and Parallelization Using Idioms

Download www.cs.technion.ac.il

Shlomit S. Pinter, Ron Y. Pinter

claim paper

Read More »

110

Voted

FPCA
1987

66views Programming Languages» more FPCA 1987»

Matrix algebra and applicative programming

15 years 9 months ago

Matrix algebra and applicative programming

Download www.cs.indiana.edu

David S. Wise

claim paper

Read More »

126

Voted

ICFP
2010
ACM

103views Programming Languages» more ICFP 2010»

Program verification through characteristic formulae

15 years 7 months ago

Program verification through characteristic formulae

Download www.chargueraud.org

Arthur Charguéraud

claim paper

Read More »

163

Voted

GPCE
2008
Springer

105views Programming Languages» more GPCE 2008»

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

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

« Prev « First page 23 / 2187 Last » Next »