Editing Static single-assignment form (section)

===General references===
* {{cite book |title=SSA-based compiler design |date=2022 |location=Cham |isbn=978-3-030-80515-9 |doi=10.1007/978-3-030-80515-9 |s2cid=63274602 |language=en|editor-first1=Fabrice|editor-last1=Rastello|editor-first2=Florent Bouchez|editor-last2=Tichadou|url=https://pfalcon.github.io/ssabook/latest/book-full.pdf}}
* {{cite book |author=Appel, Andrew W.
|title=Modern Compiler Implementation in ML 
|publisher=Cambridge University Press |year=1999 |isbn=978-0-521-58274-2 }} Also available in [[Java (programming language)|Java]] ({{ISBN|0-521-82060-X}}, 2002) and [[C (programming language)|C]] ({{ISBN|0-521-60765-5}}, 1998) versions.
* {{cite book |author1=Cooper, Keith D. |author2=Torczon, Linda |name-list-style=amp |title=Engineering a Compiler 
|publisher=Morgan Kaufmann |year=2003 |isbn=978-1-55860-698-2 }}
* {{cite book |author=Muchnick, Steven S. |title=Advanced Compiler Design and Implementation |publisher=Morgan Kaufmann |year=1997 |isbn=978-1-55860-320-2 |url-access=registration |url=https://archive.org/details/advancedcompiler00much }}
* {{cite journal |author=Kelsey, Richard A.
|title=A Correspondence between Continuation Passing Style and Static Single Assignment Form 
|journal=ACM SIGPLAN Notices |date=March 1995 |volume=30 |issue=3  |pages=13–22 |doi=10.1145/202530.202532 |doi-access=free }}
* {{cite journal |author=Appel, Andrew W.
|title=SSA is Functional Programming 
|journal=ACM SIGPLAN Notices |date=April 1998 |volume=33 |issue=4  |pages=17–20 |doi=10.1145/278283.278285 |s2cid=207227209 
|doi-access=free }}
* {{cite journal |author=Pop, Sebastian
|title=The SSA Representation Framework: Semantics, Analyses and GCC Implementation 
|year=2006 |url=http://cri.ensmp.fr/people/pop/papers/2006-12-thesis.pdf }}
* {{citation |author1=Matthias Braun |title=Compiler Construction |author2=Sebastian Buchwald |author3=Sebastian Hack |author4=Roland Leißa |author5=Christoph Mallon |author6=Andreas Zwinkau | chapter=Simple and Efficient Construction of Static Single Assignment Form| year=2013| volume=7791| pages=102–122| publisher=Springer Berlin Heidelberg| series=Lecture Notes in Computer Science| doi=10.1007/978-3-642-37051-9_6| chapter-url=http://www.cdl.uni-saarland.de/projects/ssaconstr| accessdate=24 March 2013|isbn=978-3-642-37050-2 | doi-access=free}}