Skip to main content

References Literature

Xi Wang and Haogang Chen and Alvin Cheung and Zhihao Jia and Nickolai Zeldovich and M. Frans Kaashoek, Undefined Behavior: What happened to my code?, Asia-Pacific Workshop on Systems, APSys '12, Seoul, Republic of Korea, July 23-24, 2012 (2012) 10.1145/2349896.2349905
Thomas H. Cormen and Charles E. Leiserson and Ronald L. Rivest and Clifford Stein, Introduction to Algorithms, MIT Press; (2009)
Glynn Winskel, The Formal Semantics of Programming Languages: An Introduction, (1993) MIT Press;
Mauro Pezzè and Michal Young, Software Testing and Analysis: Process, Principles and Techniques, Wiley; (2007)
Stefan Richter and Victor Alvarez and Jens Dittrich, A Seven-Dimensional Analysis of Hashing Methods and its Implications on Query Processing, (2015) Proceedings of the VLDB Endowment 9 no. 3, 96-107.
Reinhard Wilhelm and Helmut Seidl and Sebastian Hack, Compiler Design - Syntactic and Semantic Analysis, (2013) Springer; 10.1007/978-3-642-17540-4
Ravi Sethi and Jeffrey Ullman, The Generation of Optimal Code for Arithmetic Expressions, (1970) Journal of the ACM 17 no. 4, 715-728. ACM; 10.1145/321607.321620