blob: 5d582a174c6046c75b1fa8fc5d682dced4796a9d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
# Methodology
1. [Collapsing Towers of Interpreters](https://www.cs.purdue.edu/homes/rompf/papers/amin-popl18.pdf)
1. [Miniphases: Compilation using Modular and Efficient Tree Transformations](https://infoscience.epfl.ch/record/228518/files/paper.pdf)
# Security
1. [A Brief Tour of Formally Secure Compilation](http://ceur-ws.org/Vol-2315/paper03.pdf)
# Framework
1. [The GENTLE Compiler Construction System](http://gentle.compilertools.net/index.html)
1. [Nanopass Framework: Clean Compiler Creation Language](http://nanopass.org/)
|