skip to main content

Size-Change Termination as a Contract

Nguyen, Phuc C. ; Gilray, Thomas ; Tobin-Hochstadt, Sam ; Van Horn, David

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '19), June 22-26, 2019, Phoenix, AZ, USA

Texto completo disponível

Citações Citado por

Buscando em bases de dados remotas. Favor aguardar.