Robuta

https://pl.ewi.tudelft.nl/seminar/2019/06/18/17-00-sebastian-erdweg/ A Systematic Approach to Static Analysis of Program Transformations static analysis program transformations systematic approach https://journal.hep.com.cn/fcs/EN/10.1007/s11704-013-3910-8 Formal verification of synchronous data-flow program transformations toward certified compilers Translation validation was invented in the 90’s by Pnueli et al. as a technique to formally verify the correctness of code generators. Rather than certifying... synchronous data flow formal verification program transformations toward certified https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2013.115 Model Checking and Functional Program Transformations model checking functional program transformations