Christof Fetzer, Ute Schiffel, Martin Süßkraut. AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware. In Bettina Buth, Gerd Rabe, Till Seyfarth, editors, Computer Safety, Reliability, and Security, 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings. Volume 5775 of Lecture Notes in Computer Science, pages 283-296, Springer, 2009. [doi]
Abstract is missing.