TU Darmstadt / ULB / TUbiblio

TACAI: An Intermediate Representation Based on Abstract Interpretation

Reif, Michael and Kübler, Florian and Helm, Dominik and Hermann, Ben and Eichberg, Michael and Mezini, Mira (2020):
TACAI: An Intermediate Representation Based on Abstract Interpretation.
In: SOAP 2020-9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, London, UK, June 2020, pp. 2-7, ISBN 9781450379977,
DOI: 10.1145/3394451.3397204,
[Online-Edition: https://pldi20.sigplan.org/home/SOAP-2020],
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2020
Creators: Reif, Michael and Kübler, Florian and Helm, Dominik and Hermann, Ben and Eichberg, Michael and Mezini, Mira
Title: TACAI: An Intermediate Representation Based on Abstract Interpretation
Language: English
ISBN: 9781450379977
Uncontrolled Keywords: Engineering; E1
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
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
Date Deposited: 09 Jul 2020 08:15
DOI: 10.1145/3394451.3397204
Official URL: https://pldi20.sigplan.org/home/SOAP-2020
Related URLs:
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)

View Item View Item