Verified, executable parsing (2009)

by A Barthwal, M Norrish
Venue:In Proceedings of European Symposium on Programming (ESOP’09