MinX

swMATH18523MaRDI QIDQ30362FDOQ30362

Author name not available (Why is that?)

Cited In (2)

• Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '16, St. Petersburg, FL, USA, January 20--22, 2016
• From MinX to MinC: semantics-driven decompilation of recursive datatypes

This page was built for software: MinX