Crossmark

Disjunctive Relational Abstract Interpretation for Interprocedural Program Analysis

Crossref DOI link: https://doi.org/10.1007/978-3-030-11245-5_7

Published Online: 2019-01-11

Published Print: 2019

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Boutonnet, Rémy

Halbwachs, Nicolas
License Information

Text and Data Mining valid from 2019-01-01
More Information

Conference Information

Conference Acronym: VMCAI

Conference Name: International Conference on Verification, Model Checking, and Abstract Interpretation

Conference City: Cascais

Conference Country: Portugal

Conference Year: 2019

Conference Start Date: 13 January 2019

Conference End Date: 15 January 2019

Conference Number: 20

Conference ID: vmcai2019

Conference URL: https://popl19.sigplan.org/track/VMCAI-2019