Syntetisering av løkkefrie programmer med Rust og Z3 (2020)

Et teknisk blogginnlegg viser hvordan man kan skrive programmer som skriver andre programmer, ved å bruke Rust og SMT-løseren Z3 til å syntetisere løkkefri kode.

Kilde: https://fitzgen.com/2020/01/13/synthesizing-loop-free-programs.html