TU Darmstadt / ULB / TUbiblio

TACAI: An Intermediate Representation Based on Abstract Interpretation

Reif, Michael ; Kübler, Florian ; Helm, Dominik ; Hermann, Ben ; Eichberg, Michael ; Mezini, Mira (2020)
TACAI: An Intermediate Representation Based on Abstract Interpretation.
SOAP 2020-9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. London, UK (15.06.2020-19.06.2020)
doi: 10.1145/3394451.3397204
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2020
Autor(en): Reif, Michael ; Kübler, Florian ; Helm, Dominik ; Hermann, Ben ; Eichberg, Michael ; Mezini, Mira
Art des Eintrags: Bibliographie
Titel: TACAI: An Intermediate Representation Based on Abstract Interpretation
Sprache: Englisch
Publikationsjahr: Juni 2020
Ort: London, UK
Veranstaltungstitel: SOAP 2020-9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
Veranstaltungsort: London, UK
Veranstaltungsdatum: 15.06.2020-19.06.2020
DOI: 10.1145/3394451.3397204
Zugehörige Links:
Freie Schlagworte: Engineering; E1
Schlagworte:
Einzelne SchlagworteSprache
three-address code, static single assignment, static analysis, Java bytecodenicht bekannt
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > Softwaretechnik
DFG-Sonderforschungsbereiche (inkl. Transregio)
DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche
Profilbereiche
Profilbereiche > Cybersicherheit (CYSEC)
LOEWE
LOEWE > LOEWE-Zentren
LOEWE > LOEWE-Zentren > CRISP - Center for Research in Security and Privacy
DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche > SFB 1119: CROSSING – Kryptographiebasierte Sicherheitslösungen als Grundlage für Vertrauen in heutigen und zukünftigen IT-Systemen
Hinterlegungsdatum: 09 Jul 2020 08:15
Letzte Änderung: 05 Jul 2024 07:01
PPN:
Schlagworte:
Einzelne SchlagworteSprache
three-address code, static single assignment, static analysis, Java bytecodenicht bekannt
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen