documentation/bookmark/compiler.md


1
2
3
4
5
6
7
8

# Security

1. [A Brief Tour of Formally Secure Compilation](http://ceur-ws.org/Vol-2315/paper03.pdf)

# Framework

1. [Nanopass Framework: Clean Compiler Creation Language](http://nanopass.org/)