Sciweavers

4722 search results - page 14 / 945

» Representation-independent program analysis

99

PLDI
1993
ACM

113views Programming Languages» more PLDI 1993»

Isolation and Analysis of Optimization Errors

15 years 7 months ago

Isolation and Analysis of Optimization Errors

Download www.math.fsu.edu

Mickey R. Boyd, David B. Whalley

claim paper

Read More »

99

POPL
1993
ACM

81views Programming Languages» more POPL 1993»

Specifying the Correctness of Binding-Time Analysis

15 years 7 months ago

Specifying the Correctness of Binding-Time Analysis

Download www.cs.ucla.edu

Mitchell Wand

claim paper

Read More »

116

POPL
1994
ACM

103views Programming Languages» more POPL 1994»

Lazy Array Data-Flow Dependence Analysis

15 years 7 months ago

Lazy Array Data-Flow Dependence Analysis

Download www.cse.iitb.ac.in

Vadim Maslov

claim paper

Read More »

118

PPCP
1994

123views Programming Languages» more PPCP 1994»

Experiences with Constraint-based Array Dependence Analysis

15 years 7 months ago

Experiences with Constraint-based Array Dependence Analysis

Download www.lib.umd.edu

William Pugh, David Wonnacott

claim paper

Read More »

81

IFIP
1992
Springer

158views Programming Languages» more IFIP 1992»

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

15 years 7 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 »

« Prev « First page 14 / 945 Last » Next »