Using Mathematics to Improve Ada Compiled Code

Ward Douglas Maurer. Using Mathematics to Improve Ada Compiled Code. In Luís Miguel Pinho, Michael González Harbour, editors, Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings. Volume 4006 of Lecture Notes in Computer Science, pages 191-202, Springer, 2006. [doi]

Abstract

Abstract is missing.