Static single information from a functional perspective.
作者： Jeremy Singer
DOI:
关键词: Static single assignment form 、 Computer science 、 Perspective (geometry) 、 Extension (predicate logic) 、 Compiler 、 Notation 、 Transformation (function) 、 Static import 、 Programming language 、 Theoretical computer science 、 Imperative programming
摘要: Static single information form is a natural extension of the well-known static assignment form. It program intermediate representation used in optimising compilers for imperative programming languages. In this paper we show how expressed can be transformed into an equivalent functional notation. We also examine implications transformation.
ed.ac.uk参考文章(22)
Ravi Sethi, Jeffrey D. Ullman, Alfred V. Aho, Compilers: Principles, Techniques, and Tools ,(1986)
John Aycock, Nigel Horspool, Simple Generation of Static Single-Assignment Form compiler construction. pp. 110- 124 ,(2000) , 10.1007/3-540-46423-9_8
Andrew W. Appel, Compiling with continuations ,(1992)
Nicholas Nethercote, Alan Mycroft, Redux: A Dynamic Dataflow Tracer Electronic Notes in Theoretical Computer Science. ,vol. 89, pp. 149- 170 ,(2003) , 10.1016/S1571-0661(04)81047-8
Jens Palsberg, Andrew W. Appel, Modern Compiler Implementation in Java ,(1997)
Mark Stephenson, Jonathan Babb, Saman Amarasinghe, Bidwidth analysis with application to silicon compilation Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation - PLDI '00. ,vol. 35, pp. 108- 120 ,(2000) , 10.1145/349299.349317
Daniel Weise, Roger F. Crew, Michael Ernst, Bjarne Steensgaard, Value dependence graphs: representation without taxation symposium on principles of programming languages. pp. 297- 310 ,(1994) , 10.1145/174675.177907
Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck, Efficiently computing static single assignment form and the control dependence graph ACM Transactions on Programming Languages and Systems. ,vol. 13, pp. 451- 490 ,(1991) , 10.1145/115372.115320
Manuel M.T. Chakravarty, Gabriele Keller, Patryk Zadarnowski, A Functional Perspective on SSA Optimisation Algorithms Electronic Notes in Theoretical Computer Science. ,vol. 82, pp. 347- 361 ,(2004) , 10.1016/S1571-0661(05)82596-4
George C. Necula, Proof-carrying code symposium on principles of programming languages. pp. 106- 119 ,(1997) , 10.1145/263699.263712