MinX
From MaRDI portal
Software:30362
No author found.
Related Items (2)
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ⋮ From MinX to MinC: semantics-driven decompilation of recursive datatypes
This page was built for software: MinX
