static-single-assignment

There are 8 repositories under static-single-assignment topic.

pfalcon/ssabook
Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was still online as of 2021-03, but then gone by 2021-09).
Language:TeX110 10 219
AnyDSL/thorin2
The Higher ORder INtermediate representation - next gen
Language:C++44 12 599
nick-ulle/rstatic
An R package for static analysis of R code.
Language:R40 5 74
flylai/cyx2
Compiler and VM(interpreter), Using SSA form and doing some optimizations.
Language:C++34 2 04
edgardozoppi/analysis-net
Static analysis framework for .NET programs.
Language:C#27 4 815
davnavr/ubyte
Yet another intermediate language, but with SSA
Language:F#1 2 00
mukadr/MukaVM
Compiler Backend in .NET
Language:C#1 1 00
shafiul/N-Puzzle-Z3
Test case generation of classic N-Puzzle game using Z3
Language:Python1 2 00