Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt, David Van Horn. Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs. In Kathryn S. McKinley, Kathleen Fisher, editors, Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019. pages 845-859, ACM, 2019. [doi]

This author has not been identified. Look up 'Phuc C. Nguyen' in GoogleThis author has not been identified. Look up 'Thomas Gilray' in GoogleThis author has not been identified. Look up 'Sam Tobin-Hochstadt' in GoogleThis author has not been identified. Look up 'David Van Horn' in Google

runs on WebDSL