Alberto Pardo, Emmanuel Gunther, Miguel Pagano, Marcos Viera. An Internalist Approach to Correct-by-Construction Compilers. In David Sabel, Peter Thiemann, editors, Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018. ACM, 2018. [doi]
@inproceedings{PardoGPV18, title = {An Internalist Approach to Correct-by-Construction Compilers}, author = {Alberto Pardo and Emmanuel Gunther and Miguel Pagano and Marcos Viera}, year = {2018}, doi = {10.1145/3236950.3236965}, url = {https://doi.org/10.1145/3236950.3236965}, researchr = {https://researchr.org/publication/PardoGPV18}, cites = {0}, citedby = {0}, booktitle = {Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018}, editor = {David Sabel and Peter Thiemann}, publisher = {ACM}, }