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: |
|
||||
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: |
|
||||
Export: | |||||
Suche nach Titel in: | TUfind oder in Google |
Frage zum Eintrag |
Optionen (nur für Redakteure)
Redaktionelle Details anzeigen |