Sciweavers

4666 search results - page 34 / 934

» Equations on Timed Languages

29

ESOP
1994
Springer

87views Programming Languages» more ESOP 1994»

Polymorphic Binding-Time Analysis

14 years 2 months ago

Polymorphic Binding-Time Analysis

Download repository.readscheme.org

Fritz Henglein, Christian Mossin

claim paper

Read More »

26

IFIP
1994
Springer

87views Programming Languages» more IFIP 1994»

Evolving Algebras and Linear Time Hierarchy

14 years 2 months ago

Evolving Algebras and Linear Time Hierarchy

Download research.microsoft.com

Andreas Blass, Yuri Gurevich

claim paper

Read More »

28

IFIP
1994
Springer

85views Programming Languages» more IFIP 1994»

Linear-Time Algorithms in Memory Hierarchies

14 years 2 months ago

Linear-Time Algorithms in Memory Hierarchies

Download www.cse.buffalo.edu

Kenneth W. Regan

claim paper

Read More »

31

POPL
1993
ACM

81views Programming Languages» more POPL 1993»

Specifying the Correctness of Binding-Time Analysis

14 years 2 months ago

Specifying the Correctness of Binding-Time Analysis

Download www.cs.ucla.edu

Mitchell Wand

claim paper

Read More »

32

PLDI
1994
ACM

72views Programming Languages» more PLDI 1994»

Link-Time Optimization of Address Calculation on a 64-bit Architecture

14 years 2 months ago

Link-Time Optimization of Address Calculation on a 64-bit Architecture

Download www.hpl.hp.com

Amitabh Srivastava, David W. Wall

claim paper

Read More »

« Prev « First page 34 / 934 Last » Next »