K Matsuda,
M Wang - Proceedings of the ACM on Programming …, 2020 - dl.acm.org
Invertibility is a fundamental concept in computer science, with various manifestations in
software development (serializer/deserializer, parser/printer, redo/undo, compressor …