An Abstract Domain to Infer Octagonal Constraints with Absolute Value

Article Details
Title:	An Abstract Domain to Infer Octagonal Constraints with Absolute Value
Article URLs:	https://doi.org/10.1007/978-3-319-10936-7_7
Alternative Article URLs:
Authors:	Liqian Chen	National University of Defense Technology, National Laboratory for Parallel and Distributed Processing
	Jiangchao Liu	Ecole Normale Supérieure
	Antoine Miné	Ecole Normale Supérieure CNRS
	Deepak Kapur	University of New Mexico
	Ji Wang	National University of Defense Technology, National Laboratory for Parallel and Distributed Processing
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/sas/ChenLMKW14
Author Comments:

International Static Analysis Symposium, SAS 2014