MinX

MaRDI QIDQ30362swMATHFDO

Official website http://dl.acm.org/citation.cfm?doid=2837614.2837633

Cited in

(3)

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

This page was built for software: MinX