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 (June 2020)
doi: 10.1145/3394451.3397204
Conference or Workshop Item, Bibliographie

Item Type: Conference or Workshop Item
Erschienen: 2020
Creators: Reif, Michael ; Kübler, Florian ; Helm, Dominik ; Hermann, Ben ; Eichberg, Michael ; Mezini, Mira
Type of entry: Bibliographie
Title: TACAI: An Intermediate Representation Based on Abstract Interpretation
Language: English
Date: June 2020
Event Title: SOAP 2020-9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
Event Location: London, UK
Event Dates: June 2020
DOI: 10.1145/3394451.3397204
URL / URN: https://pldi20.sigplan.org/home/SOAP-2020
Corresponding Links:
Uncontrolled Keywords: Engineering; E1
Alternative keywords:
Alternative keywordsLanguage
three-address code, static single assignment, static analysis, Java bytecodeUNSPECIFIED
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Software Technology
DFG-Collaborative Research Centres (incl. Transregio)
DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres
Profile Areas
Profile Areas > Cybersecurity (CYSEC)
LOEWE
LOEWE > LOEWE-Zentren
LOEWE > LOEWE-Zentren > CRISP - Center for Research in Security and Privacy
DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres > CRC 1119: CROSSING – Cryptography-Based Security Solutions: Enabling Trust in New and Next Generation Computing Environments
Date Deposited: 09 Jul 2020 08:15
Last Modified: 09 Jul 2020 08:15
PPN:
Corresponding Links:
Alternative keywords:
Alternative keywordsLanguage
three-address code, static single assignment, static analysis, Java bytecodeUNSPECIFIED
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details