|
1
|
Semantic Analyses for Storage Management Optimizations in Functional Language Implementations
– Young Gil Park, Benjamin Goldberg, Grace Sunjung, Jihwa Park
- 1991
|
|
13
|
On Static and Dynamic Control-Flow Information in Program Analysis and Transformation
– Daniel Damian, Daniel Damian
- 2001
|
|
|
Improving the Accuracy of Higher-Order Specialization using Control Flow Analysis
– Fuse Memo, Erik Ruf, Daniel Weise
|
|
1
|
Demand-Driven Type Analysis for Dynamically-Typed Functional Languages
– Danny Dubé, En Informatique, Danny Dub, Gilles Brassard, Marc Feeley, Matthias Felleisen
|
|
|
Type- and Flow-Directed Compilation for Specialized Data Representations
– Allyn Dimock
- 2002
|
|
59
|
From ML to Ada: Strongly-typed Language Interoperability via Source Translation
– Andrew Tolmach, Dino P. Oliva
- 1993
|
|
12
|
Set Constraints for Destructive Array Update Optimization
– Mitchell Wand, William D. Clinger
- 1999
|
|
27
|
Storage Use Analysis and its Applications
– Manuel Serrano, Marc Feeley
- 1996
|
|
43
|
Whole-program optimization of object-oriented languages
– Craig Chambers, Jeffrey Dean, David Grove
- 1996
|
|
16
|
Effective Interprocedural Optimization of Object-Oriented Languages
– David Paul Grove
- 1998
|
|
100
|
Call Graph Construction in Object-Oriented Languages
– David Grove
- 1997
|
|
1
|
Abstract Interpretation and Attribute Grammars
– Mads Rosendahl, Clare Hall
- 1992
|
|
8
|
Syntactic Detection of Single-Threading using Continuations
– Pascal Fradet
- 1991
|
|
29
|
Safety Analysis versus Type Inference for Partial Types
– Jens Palsberg, Michael I. Schwartzbach
- 1992
|
|
17
|
Correctness of Binding-time Analysis
– Jens Palsberg
- 1993
|
|
9
|
Binding-time Analysis: Abstract Interpretation versus Type Inference
– Jens Palsberg, Michael I. Schwartzbach
- 1994
|
|
15
|
A New Approach to Control Flow Analysis
– Pasquale Malacaria, Chris Hankin
- 1998
|
|
42
|
Constraint-Based Type Inference and Parametric Polymorphism
– Ole Agesen
- 1994
|
|
36
|
Safety Analysis versus Type Inference
– Jens Palsberg , Michael I. Schwartzbach
- 1995
|
