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

6 Citaten (Scopus)

244 Downloads (Pure)

2 Afgelopen
2 Actief

4 resultaten

Actief
VLAAI2: Cybersecurity Onderzoeksprogramma Vlaanderen – tweede cyclus
De Meuter, W., Braeken, A., Devriese, D., Gonzalez Boix, E. & De Roover, C.
1/01/24 → 31/12/28
Project: Toegepast
SRP52: SRP-Onderzoekszwaartepunt: Foundations for Reliable Multi-Paradigm Network-Centric Programming
De Meuter, W., De Roover, C. & Gonzalez Boix, E.
1/03/19 → 29/02/28
Project: Fundamenteel
Afgelopen
FWOTM979: Incrementele Statische Programma-analyse via Modulariteit
De Roover, C. & Van der Plas, J.
1/11/19 → 31/10/23
Project: Fundamenteel
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