« earlier | later » Page 3 of 15
Embedded in Academia : Multi-Version Execution Defeats a Compiler-Bug-Based Backdoor edit / delete
Using varan, a tool that compares execution traces of programs built in different ways, to detect a compiler fault. Neat!
to compiler debugging security varan ... on 28 February 2016
ooc » The ooc programming language edit / delete
"ooc is a small programming language with a clear and concise syntax that compiles to C99." Still has curly brackets, unfortunately, but overall it looks pretty good.
to compiler language-design ooc ... on 28 February 2016
lukasmartinelli/py14: Python to C++ 14 transpiler edit / delete
"C++14 has such powerful type deduction that it is possible to transpile Python into C++ without worrying about the missing type annotations in python. Only a small subset of Python is working"
to c++ compiler python translation type-inference types ... on 28 February 2016
Understanding and Writing Compilers edit / delete
Richard Bornat's 1979 book on writing compilers. Substantially more accessible than the dragon book. The examples are mostly in BCPL, which (as usual) I'm dead impressed with; for a typeless language it's very clean and clearly suited to the purpose.
to bcpl compiler etext parsing retrocomputing syntax ... on 26 January 2016
Compilers - What Every Programmer Should Know About Compiler Optimizations edit / delete
AG0803 students will find this interesting -- a pretty good overview of the basic ideas.
to ag0803 compiler optimisation ... on 22 January 2016
Clang Hardening Cheat Sheet edit / delete
clang's equivalents of the GCC hardening options. Mostly the same.
to c c++ clang compiler gcc hardening security ... on 16 January 2016
The compiler can make up its own calling conventions, within limits - The Old New Thing - Site Home - MSDN Blogs edit / delete
A nice example of compiler specialisation.
to ag0803 compiler optimisation ... on 22 March 2015
"This page contains various information about the computer language Pascal as stated by the ISO 7185, the original Pascal language designed by Niklaus Wirth at ETH in Zurich, and any implementations of that language." There's lots of description of Delphi and other derivations elsewhere, but this is very comprehensive on ISO PASCAL, including the history of its compilers.
to compiler history iso language-design pascal retrocomputing software ... on 05 March 2015
Algol 68 Genie - Algol 68 Compiler, Interpreter and Revised Report edit / delete
A modern implementation of Algol 68, and lots of documentation for it including the classic books.
to algol compiler etext interpreter software ... on 05 March 2015
« earlier | later » Page 3 of 15
tasty by Adam Sampson.