SSA is Functional Programming (1998)

Cached

Download Links

by Andrew W. Appel
Venue:ACM SIGPLAN NOTICES
Citations:58 - 0 self

Active Bibliography

Static Single Information from a Functional Perspective – Jeremy Singer
1 types and structures – Lal George
5 A Functional Perspective on SSA Optimisation Algorithms - preliminary version – Manuel M. T. Chakravarty, Gabriele Keller, Patryk Zadarnowski - 2003
1 A Type System Equivalent to Static Single Assignment ⋆,⋆⋆ Abstract – Yutaka Matsuno, Atsushi Ohori
In and Out of SSA: A Denotational Specification – Sebastian Pop Pierre Jouvelot
20 Static Single Information Form – C. Scott Ananian, Martin Rinard - 1999
14 Simple generation of static single-assignment form – John Aycock, Nigel Horspool - 2000
Equality saturation: Using equational . . . – Ross Tate - 2012
7 Program analysis using random interpretation – Sumit Gulwani, Sumit Gulwani, Sumit Gulwani - 2005
A UNIFIED COMPILER FRAMEWORK FOR PROGRAM ANALYSIS, OPTIMIZATION, AND AUTOMATIC VECTORIZATION WITH CHAINS OF RECURRENCES – Name Yixin Shou
65 From ML to Ada: Strongly-typed Language Interoperability via Source Translation – Andrew Tolmach, Dino P. Oliva - 1993
5 A New One-Pass Transformation into Monadic Normal Form – Olivier Danvy - 2003
6 SUDS: Automatic Parallelization for Raw Processors – Matthew Ian Frank - 2003
CEAL: A C-Based Language for Self-Adjusting Computation – unknown authors
14 CEAL: a C-based language for self-adjusting computation – Matthew A. Hammer, Umut A. Acar, Yan Chen - 2009
15 Generalized Boxings, Congruences and Partial Inlining – Jean Goubault
20 Equality saturation: a new approach to optimization – Ross Tate, Zachary Tatlock, Sorin Lerner - 2009
9 Hierarchical Modularity And Intermodule Optimization – Matthias Blume - 1997
1 Tree-Based Code Optimization – Carl Mcconnell - 1992