C Lindig - Proceedings of the sixth international symposium on …, 2005 - dl.acm.org
In a C compiler, function calls are difficult to implement correctly because they must respect
a platform-specific calling convention. But they are governed by a simple invariant …