MAF: A Framework for Modular Static Analysis of Higher-Order Languages

Activiteit: Talk or presentation at a conference

Periode27 sep. 2020
Evenementstitel20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM2020)
EvenementstypeConference
LocatieAdelaide, AustraliaToon op kaart

Gerelateerde inhoud