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:TeX139 9 221
AnyDSL/MimIR
MimIR is my Intermediate Representation
Language:C++75 12 6115
nick-ulle/rstatic
An R package for static analysis of R code.
Language:R42 4 74
flylai/cyx2
Compiler and VM(interpreter), Using SSA form and doing some optimizations.
Language:C++38 2 04
CompilerProgramming/ez-lang
EeZee Language - Compiler Engineering Basics
Language:Java30 1 116
edgardozoppi/analysis-net
Static analysis framework for .NET programs.
Language:C#28 3 815
davnavr/ubyte
Yet another intermediate language, but with SSA
Language:F#1 2 00
shafiul/N-Puzzle-Z3
Test case generation of classic N-Puzzle game using Z3
Language:Python1 1 00