MinX

swMATH18523MaRDI QIDQ30362FDOQ30362

Author name not available (Why is that?)

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