aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/compiler.md
diff options
context:
space:
mode:
authorEduardo Julian2021-07-10 03:10:43 -0400
committerEduardo Julian2021-07-10 03:10:43 -0400
commit4610968193df10af12c91f699fec39aeb3ef703a (patch)
tree27d1578548ad49f5aefe76fb696a7af10361c9cf /documentation/bookmark/compiler.md
parentf3e869d0246e956399ec31a074c6c6299ff73602 (diff)
Made the "try" macro into a common one, instead of a host-specific one.
Diffstat (limited to 'documentation/bookmark/compiler.md')
-rw-r--r--documentation/bookmark/compiler.md8
1 files changed, 8 insertions, 0 deletions
diff --git a/documentation/bookmark/compiler.md b/documentation/bookmark/compiler.md
new file mode 100644
index 000000000..326bfff9b
--- /dev/null
+++ b/documentation/bookmark/compiler.md
@@ -0,0 +1,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/)
+