Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios

Mansur, Muhammad Numair; Mariano, Benjamin; Christakis, Maria; Navas, Jorge A.; Wüstholz, Valentin

doi:10.1007/978-3-030-81688-9_36

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Conference Paper

Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios

MPS-Authors

/persons/resource/persons260721

Mansur, Muhammad Numair
Group M. Christakis, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons231014

Christakis, Maria
Group M. Christakis, Max Planck Institute for Software Systems, Max Planck Society;

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

Mansur2021_Chapter_AutomaticallyTailoringAbstract.pdf
(Publisher version), 721KB

Supplementary Material (public)

There is no public supplementary material available

Citation

Mansur, M. N., Mariano, B., Christakis, M., Navas, J. A., & Wüstholz, V. (2021). Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios. In A. Silva (Ed.), Computer Aided Verification (pp. 777-800). Berlin: Springer. doi:10.1007/978-3-030-81688-9_36.

Cite as: https://hdl.handle.net/21.11116/0000-0009-578C-8

Abstract

There is no abstract available