diff options
Diffstat (limited to 'documentation/bookmark/compiler.md')
| -rw-r--r-- | documentation/bookmark/compiler.md | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/documentation/bookmark/compiler.md b/documentation/bookmark/compiler.md index 326bfff9b..5d582a174 100644 --- a/documentation/bookmark/compiler.md +++ b/documentation/bookmark/compiler.md @@ -1,8 +1,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/) |