Modular Termination Verification of Single-Threaded and Multithreaded Programs.

Saved in:

Bibliographic Details
Title:	Modular Termination Verification of Single-Threaded and Multithreaded Programs.
Authors:	JACOBS, BART¹, BOSNACKI, DRAGAN², KUIPER, RUURD²
Source:	ACM Transactions on Programming Languages & Systems; Jul2018, Vol. 40 Issue 3, p1-59, 59p
Database:	Applied Science & Technology Source

Description
ISSN:	01640925
DOI:	10.1145/3210258