Abstracting definitional interpreters (functional pearl)

• Published in: Proceedings of ACM on programming languages Vol. 1; no. ICFP; pp. 1 - 25
• Main Authors: Darais, David, Labich, Nicholas, Nguyen, Phúc C., Van Horn, David
• Format: Journal Article
• Language: English
• Published: 01.09.2017

In this functional pearl, we examine the use of definitional interpreters as a basis for abstract interpretation of higher-order programming languages. As it turns out, definitional interpreters, especially those written in monadic style, can provide a nice basis for a wide variety of collecting sem...