Program Analisys and Transformation survey and links (particular focus on SSA)
-
Updated
Mar 22, 2021
#
ssa-construction
Here are 6 public repositories matching this topic...
LVC verified compiler
compiler coq verification coq-formalization register-allocation compiler-design verified-compiler lvc lvc-compiler register-assignment spilling constant-propagation ssa-construction
-
Updated
Nov 1, 2018 - Coq
mirror of git://git.kernel.org/pub/scm/devel/sparse/sparse.git
-
Updated
Feb 3, 2024 - C
《Static Single Assignment Book》- 中文翻译
-
Updated
May 7, 2023
A C compiler written in Kotlin
-
Updated
Jun 22, 2024 - Kotlin
Improve this page
Add a description, image, and links to the ssa-construction topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the ssa-construction topic, visit your repo's landing page and select "manage topics."