Logic against ghosts: comparison of two proof approaches for a list module

Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue
PDF DOI
Type
Conference paper
Publication
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, SAC 2019, Limassol, Cyprus, April 8-12, 2019