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

Datensatz

DATENSATZ AKTIONENEXPORT

Zur Ablage hinzufügen

Lokale TagsFreigabegeschichteDetailsÜbersicht

Freigegeben

Konferenzbeitrag

Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios

MPG-Autoren

/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;

Externe Ressourcen

Es sind keine externen Ressourcen hinterlegt

Volltexte (beschränkter Zugriff)

Für Ihren IP-Bereich sind aktuell keine Volltexte freigegeben.

Volltexte (frei zugänglich)

Mansur2021_Chapter_AutomaticallyTailoringAbstract.pdf
(Verlagsversion), 721KB

Ergänzendes Material (frei zugänglich)

Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar

Zitation

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.

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

Zusammenfassung

Es ist keine Zusammenfassung verfügbar