2 ms·PGo is a source to source compiler to compile PlusCal into Go/TLA+1 points by ngaut 8y agongaut 8y agoThe paper link: https://www.sigops.org/src/srcsosp2017/sosp17src-final23.pdf https://www.sigops.org/src/srcsosp2017/sosp17src-final23.pdf