Terminable statements and destructive computation | ACM SIGPLAN Notices | DeepDyve