An Internalist Approach to Correct-by-Construction Compilers

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming - PPDP '18 ◽

10.1145/3236950.3236965 ◽

2018 ◽

Author(s):

Alberto Pardo ◽

Emmanuel Gunther ◽

Miguel Pagano ◽

Marcos Viera

Download Full-text