Sciweavers

12452 search results - page 51 / 2491

» An exploration of program as language

83

Voted

ICALP
1991
Springer

99views Programming Languages» more ICALP 1991»

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

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

87

Voted

PLDI
1991
ACM

83views Programming Languages» more PLDI 1991»

Predicting Program Behavior Using Real or Estimated Profiles

15 years 4 months ago

Predicting Program Behavior Using Real or Estimated Profiles

Download www.hpl.hp.com

David W. Wall

claim paper

Read More »

77

Voted

POPL
1991
ACM

110views Programming Languages» more POPL 1991»

Program Optimization and Parallelization Using Idioms

15 years 4 months ago

Program Optimization and Parallelization Using Idioms

Download www.cs.technion.ac.il

Shlomit S. Pinter, Ron Y. Pinter

claim paper

Read More »

58

Voted

FPCA
1987

66views Programming Languages» more FPCA 1987»

Matrix algebra and applicative programming

15 years 4 months ago

Matrix algebra and applicative programming

Download www.cs.indiana.edu

David S. Wise

claim paper

Read More »

75

Voted

ICFP
2010
ACM

103views Programming Languages» more ICFP 2010»

Program verification through characteristic formulae

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