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 (June 2020)
doi: 10.1145/3394451.3397204
Konferenzveröffentlichung, Bibliographie
URL / URN: https://pldi20.sigplan.org/home/SOAP-2020
| 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 | ||||
| Veranstaltungstitel: | SOAP 2020-9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis | ||||
| Veranstaltungsort: | London, UK | ||||
| Veranstaltungsdatum: | June 2020 | ||||
| DOI: | 10.1145/3394451.3397204 | ||||
| URL / URN: | https://pldi20.sigplan.org/home/SOAP-2020 | ||||
| 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: | 09 Jul 2020 08:15 | ||||
| PPN: | |||||
| Zugehörige Links: | |||||
| Schlagworte: |
|
||||
| Export: | |||||
| Suche nach Titel in: | TUfind oder in Google | ||||
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum