Sciweavers

12452 search results - page 51 / 2491

» An exploration of program as language

144

Voted

ICALP
1991
Springer

99views Programming Languages» more ICALP 1991»

Logical and Computational Aspects of Programming with Sets/Bags/Lists

15 years 10 months ago

Logical and Computational Aspects of Programming with Sets/Bags/Lists

Download www.ircs.upenn.edu

Val Tannen, Ramesh Subrahmanyam

claim paper

Read More »

145

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 »

127

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 »

117

FPCA
1987

66views Programming Languages» more FPCA 1987»

Matrix algebra and applicative programming

15 years 10 months ago

Matrix algebra and applicative programming

Download www.cs.indiana.edu

David S. Wise

claim paper

Read More »

130

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 »

« Prev « First page 51 / 2491 Last » Next »