diff options
author | Eduardo Julian | 2021-07-15 00:45:15 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-07-15 00:45:15 -0400 |
commit | 0abd5bd3c0e38e352e9ba38268e04e1c858ab01e (patch) | |
tree | fe0af9e70413e9fc4f3848e0642920fca501c626 /documentation/bookmark/compiler.md | |
parent | 89ca40f2f101b2b38187eab5cf905371cd47eb57 (diff) |
Re-named "spec" hierarchy to "specification".
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/) |