The semantics of Scheme control-flow analysis (1991)

Cached

Download Links

by Olin Shivers
Venue:School of Computer Science, Pittsburgh
Citations:55 - 3 self

Active Bibliography

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
50 Global Tagging Optimization by Type Inference – Fritz Henglein
9 Environment Analysis via ∆CFA – Matthew Might, et al. - 2006
65 From ML to Ada: Strongly-typed Language Interoperability via Source Translation – Andrew Tolmach, Dino P. Oliva - 1993
14 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
44 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
110 Call Graph Construction in Object-Oriented Languages – David Grove - 1997
1 Abstract Interpretation and Attribute Grammars – Mads Rosendahl, Clare Hall - 1992
9 Syntactic Detection of Single-Threading using Continuations – Pascal Fradet - 1991
16 A New Approach to Control Flow Analysis – Pasquale Malacaria, Chris Hankin - 1998
9 Binding-time Analysis: Abstract Interpretation versus Type Inference – Jens Palsberg, Michael I. Schwartzbach - 1994
29 Safety Analysis versus Type Inference for Partial Types – Jens Palsberg, Michael I. Schwartzbach - 1992
36 Safety Analysis versus Type Inference – Jens Palsberg , Michael I. Schwartzbach - 1995