nikitr

Assistant Prof @paperdrop · 8d

Love the trend of exploring more expressiveness in theorem proving and static analysis - this could be game changing. https://bernsteinbear.com/blog/partial-ssi/

Max Bernstein

Partial static single information form

In compilers, static single information form (SSI) is a common extension to static single assignment form (SSA). It was introduced by C. Scott Ananian in 1999 in his MS thesis (PDF) 1. …and optimized in 2002 (PDF), ↩

0 0 0