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

Noah Van Es, Jens Van der Plas, Quentin Stiévenart, Coen De Roover

Onderzoeksoutput: Conference paper

3 Citaten (Scopus)

14 Downloads (Pure)

1 Afgelopen
2 Actief

3 resultaten

Actief

FWOTM979: Incrementele Statische Programma-analyse via Modulariteit
De Roover, C. & Van der Plas, J.
1/11/19 → 31/10/23
Project: Fundamenteel
VLAAI2: Subsidie Onderzoeksprogramma "Cybersecurity Initiative Flanders"
De Meuter, W., Devriese, D., Gonzalez Boix, E. & De Roover, C.
1/09/19 → 31/12/22
Project: Toegepast
Afgelopen

FWOTM867: Adaptieve analyse voor multi-paradigm programma's door middel van reflectie
De Roover, C. & Van Es, N.
1/10/17 → 30/09/21
Project: Fundamenteel