BIBLIOGRAPHY BIBLIOGRAPHY
[Jav13] Java.The Java® Virtual Machine Specification Java SE 7 Edition. Also available ashttp://go.yurichev.
com/17345andhttp://go.yurichev.com/17346. February 2013.
[Ker88] Brian W. Kernighan.The C Programming Language. Ed. by Dennis M. Ritchie. 2nd. Prentice Hall Professional
Technical Reference, 1988. ISBN: 0131103709.
[Knu74] Donald E. Knuth. “Structured Programming with go to Statements”. In:ACM Comput. Surv. 6.4 (Dec. 1974). Also
available ashttp://go.yurichev.com/17271, pp. 261–301. ISSN: 0360-0300. DOI:10.1145/356635.
356640. URL:http://go.yurichev.com/17300.
[Knu98] Donald E. Knuth.The Art of Computer Programming Volumes 1-3 Boxed Set. 2nd. Boston, MA, USA: Addison-
Wesley Longman Publishing Co., Inc., 1998. ISBN: 0201485419.
[Loh10] Eugene Loh. “The Ideal HPC Programming Language”. In:Queue 8.6 (June 2010), 30:30–30:38. ISSN: 1542-7730.
DOI:10.1145/1810226.1820518. URL:http://go.yurichev.com/17298.
[Ltd94] Advanced RISC Machines Ltd.The ARM Cookbook. Also available ashttp://go.yurichev.com/17273.
1994.
[Mit13] Michael Matz / Jan Hubicka / Andreas Jaeger / Mark Mitchell.System V Application Binary Interface. AMD64 Architecture Processor Supplement.
Also available ashttp://go.yurichev.com/17295. 2013.
[Mor80] Stephen P. Morse.The 8086 Primer. Also available ashttp://go.yurichev.com/17351. 1980.
[One96] Aleph One. “Smashing The Stack For Fun And Profit”. In:Phrack (1996). Also available ashttp://go.yurichev.
com/17266.
[Pie] Matt Pietrek. “A Crash Course on the Depths of Win32™ Structured Exception Handling”. In:MSDN magazine ().
URL:http://go.yurichev.com/17293.
[Pie02] Matt Pietrek. “An In-Depth Look into the Win32 Portable Executable File Format”. In:MSDN magazine (2002).
URL:http://go.yurichev.com/17318.
[Pre+07] William H. Press et al.Numerical Recipes. 2007.
[RA09] Mark E. Russinovich and David A. Solomon with Alex Ionescu.Windows® Internals: Including Windows Server 2008 and Windows Vista, Fifth Edition.
2009.
[Ray03] Eric S. Raymond.The Art of UNIX Programming. Also available ashttp://go.yurichev.com/17277.
Pearson Education, 2003. ISBN: 0131429019.
[Rit79] Dennis M. Ritchie. “The Evolution of the Unix Time-sharing System”. In: (1979).
[Rit86] Dennis M. Ritchie.Where did ++ come from? (net.lang.c).http://go.yurichev.com/17296. [Online; ac-
cessed 2013]. 1986.
[Rit93] Dennis M. Ritchie. “The development of the C language”. In:SIGPLAN Not. 28.3 (Mar. 1993). Also available as
http://go.yurichev.com/17264, pp. 201–208. ISSN: 0362-1340. DOI:10.1145/155360.155580.
URL:http://go.yurichev.com/17297.
[RT74] D. M. Ritchie and K. Thompson. “The UNIX Time Sharing System”. In: (1974). Also available ashttp://go.
yurichev.com/17270.
[Sch94] Bruce Schneier.Applied Cryptography: Protocols, Algorithms, and Source Code in C. 1994.
[SK95] SunSoft Steve Zucker and IBM Kari Karhi.SYSTEM V APPLICATION BINARY INTERFACE: PowerPC Processor Supplement.
Also available ashttp://go.yurichev.com/17282. 1995.
[Sko12] Igor Skochinsky.Compiler Internals: Exceptions and RTTI. Also available ashttp://go.yurichev.com/
17294. 2012.
[Str13] Bjarne Stroustrup.The C++ Programming Language, 4th Edition. 2013.
[Swe10] Dominic Sweetman.See MIPS Run, Second Edition. 2010.
[War02] Henry S. Warren.Hacker’s Delight. Boston, MA, USA: Addison-Wesley Longman Publishing Co., Inc., 2002. ISBN:
0201914654.
[Yur12] Dennis Yurichev. “Finding unknown algorithm using only input/output pairs and Z3 SMT solver”. In: (2012). Also
available ashttp://go.yurichev.com/17268.
[Yur13] Dennis Yurichev.C/C++ programming language notes. Also available ashttp://go.yurichev.com/17289.
2013.