Modular Termination Verification

Article Details
Title:	Modular Termination Verification
Article URLs:	https://doi.org/10.4230/LIPIcs.ECOOP.2015.664
Alternative Article URLs:
Authors:	Bart Jacobs	KU Leuven, iMinds-DistriNet KU Leuven, Department of Computer Science
	Dragan Bosnacki	Eindhoven University of Technology
	Ruurd Kuiper	Eindhoven University of Technology
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	http://www.cs.kuleuven.be/~bartj/verifast/
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/ecoop/JacobsBK15
Author Comments:

European Conference on Object-Oriented Programming, ECOOP 2015