Search Sciweavers | Sciweavers

37 search results - page 3 / 8

» Binding-time Analysis for Mercury

click to vote

LICS
1996
IEEE

99views Automated Reasoning» more LICS 1996»

A Temporal-Logic Approach to Binding-Time Analysis

13 years 11 months ago

Download www.brics.dk

Rowan Davies

claim paper

Read More »

click to vote

ESOP
1994
Springer

87views Programming Languages» more ESOP 1994»

Polymorphic Binding-Time Analysis

13 years 11 months ago

Download repository.readscheme.org

Fritz Henglein, Christian Mossin

claim paper

Read More »

click to vote

POPL
1993
ACM

81views Programming Languages» more POPL 1993»

Specifying the Correctness of Binding-Time Analysis

13 years 11 months ago

Download www.cs.ucla.edu

Mitchell Wand

claim paper

Read More »

click to vote

PEPM
1995
ACM

98views Software Engineering» more PEPM 1995»

Semantic Foundations of Binding Time Analysis for Imperative Programs

13 years 11 months ago

Download www.cs.wisc.edu

Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck

claim paper

Read More »

click to vote

TAPSOFT
1995
Springer

98views Software Engineering» more TAPSOFT 1995»

Comparing Flow-Based Binding-Time Analyses

13 years 11 months ago

Download www.cs.ucla.edu

Abstract. Binding-time analyses based on ﬂow analysis have been presented by Bondorf, Consel, Bondorf and Jørgensen, and Schwartzbach and the present author. The analyses are fo...

Jens Palsberg

claim paper

Read More »

« Prev « First page 3 / 8 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers