A Functional Perspective on SSA Optimisation Algorithms-Reference-Cited by-同舟云学术

A Functional Perspective on SSA Optimisation Algorithms

Published:2004-04 Issue:2 Volume:82 Page:347-361
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Chakravarty Manuel M.T.,Keller Gabriele,Zadarnowski Patryk

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference22 articles.

1. Detecting equality of variables in programs;Alpern,1998

2. “Modern Compiler Implementation in ML,”;Appel,1998

3. SSA is functional programming;Appel;ACM SIGPLAN Notices,1998

4. The program dependence web: a representation supporting control-, data-, and demand-driven interpretation of imperative languages;Ballance,1990

5. A functional perspective on SSA optimisation algorithms-unabridged;Chakravarty,2003

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Call-by-Unboxed-Value;Proceedings of the ACM on Programming Languages;2024-08-15

2. Grammar Inference for Ad Hoc Parsers;Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity;2022-11-29

3. A New Backend for Standard ML of New Jersey;IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages;2020-09-02

4. Functional-Style SQL UDFs With a Capital 'F';Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data;2020-06-11

5. Inferring types and effects via static single assignment;Proceedings of the 35th Annual ACM Symposium on Applied Computing;2020-03-29