Sciweavers

3825 search results - page 22 / 765

» The Language of Time: A Reader

20

POPL
1996
ACM

82views Programming Languages» more POPL 1996»

Points-to Analysis in Almost Linear Time

14 years 18 days ago

Points-to Analysis in Almost Linear Time

Download www.cs.utsa.edu

Bjarne Steensgaard

claim paper

Read More »

22

ESOP
1994
Springer

87views Programming Languages» more ESOP 1994»

Polymorphic Binding-Time Analysis

14 years 17 days ago

Polymorphic Binding-Time Analysis

Download repository.readscheme.org

Fritz Henglein, Christian Mossin

claim paper

Read More »

20

IFIP
1994
Springer

87views Programming Languages» more IFIP 1994»

Evolving Algebras and Linear Time Hierarchy

14 years 16 days ago

Evolving Algebras and Linear Time Hierarchy

Download research.microsoft.com

Andreas Blass, Yuri Gurevich

claim paper

Read More »

23

IFIP
1994
Springer

85views Programming Languages» more IFIP 1994»

Linear-Time Algorithms in Memory Hierarchies

14 years 16 days ago

Linear-Time Algorithms in Memory Hierarchies

Download www.cse.buffalo.edu

Kenneth W. Regan

claim paper

Read More »

27

POPL
1993
ACM

81views Programming Languages» more POPL 1993»

Specifying the Correctness of Binding-Time Analysis

14 years 16 days ago

Specifying the Correctness of Binding-Time Analysis

Download www.cs.ucla.edu

Mitchell Wand

claim paper

Read More »

« Prev « First page 22 / 765 Last » Next »