Distilling Programs to Prove Termination
You are here
| Title | Distilling Programs to Prove Termination |
| Publication Type | Journal Article |
| Year of Publication | 2020 |
| Authors | Hamilton G |
| Journal | Electronic Proceedings in Theoretical Computer Science |
| URL | http://eptcs.web.cse.unsw.edu.au/paper.cgi?VPTHCVS2020.10 |
| DOI | 10.4204/EPTCS.320.10 |
