Modular Termination Verification of Single-Threaded and Multithreaded Programs

dc.contributor.author	Jacobs, Bart
dc.contributor.author	Bosnacki, Dragan
dc.contributor.author	Kuiper, Ruurd
dc.date.accessioned	2021-10-25T20:12:20Z
dc.date.available	2021-10-25T20:12:20Z
dc.date.embargo	9999-12-31
dc.date.issued	2018
dc.identifier.issn	1057-4514
dc.identifier.uri	https://imec-publications.be/handle/20.500.12860/30943
dc.identifier.url	https://doi.org/10.1145/3210258
dc.source.beginpage	Art. 12
dc.source.issue	3
dc.source.journal	ACM Letters on Programming languages and Systems - TOPLAS
dc.source.volume	40
dc.title	Modular Termination Verification of Single-Threaded and Multithreaded Programs
dc.type	Journal article
dspace.entity.type	Publication
Files	Original bundle Name: 42431.pdf Size: 592.54 KB Format: Adobe Portable Document Format Download
Publication available in collections:	Articles

Date