Staged abstract interpreters: fast and modular whole-program analysis via meta-programming.

Guannan Wei Yuxuan Chen Tiark Rompf

Published in: Proc. ACM Program. Lang. (2019)

Keyphrases

programming language
abstract data types
object oriented programming
programming environment
modular structure
real time
machine learning
genetic algorithm
search engine
case study
relational databases
description language
meta level
representation language
modular neural networks
high level language