A Systematic Approach to Abstract Interpretation of Program Transformations.
- Publikationstyp:
- Konferenzbeitrag
- Metadaten:
-
- Autoren
-
Sven Keidel
-
Sebastian Erdweg
- Editoren
-
Dirk Beyer
-
Damien Zufferey
- ISBN-13
- 978-3-030-39321-2
- Zeitschrift
- VMCAI
- Paginierung
- 136 - 157
- Datum der Veröffentlichung
- 2020
- Herausgeber
- Springer
- Herausgeber URL
- https://doi.org/10.1007/978-3-030-39322-9
- Titel
- A Systematic Approach to Abstract Interpretation of Program Transformations.
- Ausgabe der Zeitschrift
- 11990
Datenquelle: DBLP
- Andere Metadatenquellen:
-
- Beziehungen:
-