Sciweavers

10585 search results - page 30 / 2117

» The Orc Programming Language

139

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 »

140

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 »

125

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 »

111

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 »

126

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 30 / 2117 Last » Next »