Sciweavers

12272 search results - page 91 / 2455

» Experimental program analysis

83

Voted

POPL
1993
ACM

81views Programming Languages» more POPL 1993»

Specifying the Correctness of Binding-Time Analysis

15 years 4 months ago

Specifying the Correctness of Binding-Time Analysis

Download www.cs.ucla.edu

Mitchell Wand

claim paper

Read More »

87

Voted

POPL
1994
ACM

103views Programming Languages» more POPL 1994»

Lazy Array Data-Flow Dependence Analysis

15 years 4 months ago

Lazy Array Data-Flow Dependence Analysis

Download www.cse.iitb.ac.in

Vadim Maslov

claim paper

Read More »

105

Voted

PPCP
1994

123views Programming Languages» more PPCP 1994»

Experiences with Constraint-based Array Dependence Analysis

15 years 4 months ago

Experiences with Constraint-based Array Dependence Analysis

Download www.lib.umd.edu

William Pugh, David Wonnacott

claim paper

Read More »

66

Voted

IFIP
1992
Springer

158views Programming Languages» more IFIP 1992»

Erep: An editable, high-level representation for geometric design and analysis

15 years 4 months ago

Erep: An editable, high-level representation for geometric design and analysis

Download www.cs.purdue.edu

Christoph M. Hoffmann, Robert Juan

claim paper

Read More »

76

Voted

PLDI
1992
ACM

97views Programming Languages» more PLDI 1992»

Escape Analysis on Lists

15 years 4 months ago

Escape Analysis on Lists

Download cs.nyu.edu

Young Gil Park, Benjamin Goldberg

claim paper

Read More »

« Prev « First page 91 / 2455 Last » Next »