Sciweavers

11909 search results - page 80 / 2382

» The Scheme Programming Language

101

Voted

POPL
2000
ACM

116views Programming Languages» more POPL 2000»

Temporal Abstract Interpretation

15 years 7 months ago

Temporal Abstract Interpretation

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

100

Voted

POPL
2000
ACM

99views Programming Languages» more POPL 2000»

Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs

15 years 7 months ago

Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs

Download www.cs.ucla.edu

Zhendong Su, Manuel Fähndrich, Alexander Aike...

claim paper

Read More »

83

Voted

ICFP
1999
ACM

66views Programming Languages» more ICFP 1999»

Static Interpretation of Modules

15 years 7 months ago

Static Interpretation of Modules

Download pl.postech.ac.kr

Martin Elsman

claim paper

Read More »

93

Voted

PLDI
1999
ACM

85views Programming Languages» more PLDI 1999»

A Fast Fourier Transform Compiler

15 years 7 months ago

A Fast Fourier Transform Compiler

Download www.fftw.org

Matteo Frigo

claim paper

Read More »

103

Voted

PLDI
1999
ACM

97views Programming Languages» more PLDI 1999»

Control CPR: A Branch Height Reduction Optimization for EPIC Architectures

15 years 7 months ago

Control CPR: A Branch Height Reduction Optimization for EPIC Architectures

Download www.hpl.hp.com

Michael S. Schlansker, Scott A. Mahlke, Richard Jo...

claim paper

Read More »

« Prev « First page 80 / 2382 Last » Next »