2008-01-24

"Virtual Machine Design and Implementation in C/C++"中提到的参考书目

Intel. IA-64 Architecture Software Developer's Manual, Volume 1: IA-64 Application Architecture. Order Number 245317-001, January 2000

Maxwell, Scott. Linux Core Kernel Commentary. The Coriolis Group, 1999. ISBN:1576104699.

Ritchie, Dennis M. "The Development of the C Language." Association for Computing Machinery, Second History of Programming Languages conference, April 1993.

Schildt, Herbert. C: The Complete Reference. Osborne McGraw-Hill, 2000. ISBN:0072121246.

van der Linden, Peter. Expert C Programming: Deep C Secrets. Prentice Hall, 1994.ISBN: 0131774298.

Buyya, Rajkumar. High Performance Cluster Computing: Volume 1 Architectures and Systems. Prentice Hall: 1999. ISBN: 0130137847.

Halfhill, Tom. "Crash-Proof Computing." BYTE, April 1998.

Brey, Barry. Intel Microprocessors. Prentice Hall, 1999. ISBN: 0139954082.

Burgess, Richard. Develop Your Own 32-bit Operating System. Sams Publishing, 1995.ISBN: 0672306557.

Detlefs, David, Al Dosser, and Benjamin Zorn. "Memory Allocation Costs in Large C and C++ Programs." University of Colorado at Boulder, 1993. Technical Report CU-CS-665-93.

Duntemann, Jeff. Assembly Language Step-by-Step. John Wiley and Sons, 1992. ISBN:0471578142.

Holub, Allen. Compiler Design in C. Prentice Hall, 1990. ISBN: 0131550454.

Jones, Robert and Rafael Lins. Garbage Collection: Algorithms for Automatic Dynamic Memory Management. John Wiley & Sons, 1996. ISBN: 0471941484.

Koopman, Phillip. Stack Computers: The New Wave. Ellis Horwood Ltd., 1989. ISBN:0745804187.

Loshin, David. Efficient Memory Programming. McGraw-Hill, 1999. ISBN:0070388687.

Necula, George C. and Peter Lee. "Proof-Carrying Code." Carnegie Mellon University,1996. Memorandum CMU-CS-FOX-96-03.

Pate, Steve. UNIX Internals — A Practical Approach. Addison-Wesley, 1996. ISBN:020187721X.

Podanoffsky, Michael. Dissecting DOS. Addison-Wesley, 1995. ISBN: 020162687X.

Sedgewick, Robert. Algorithms in C, 3rd ed. Addison-Wesley, 1998. ISBN:0201314525.

Tanenbaum, Andrew. Operating Systems: Design and Implementation. Prentice Hall,1997. ISBN: 0136386776.

Wahbe, Robert, Steven Lucco, Thomas E. Anderson, and Susan L. Graham. "Efficient Software-Based Fault Isolation." Symposium on Operating System Principles,
1993.

Wilson, Paul R., Mark S. Johnstone, Michael Neely, and David Boles. "Dynamic Stor-age Allocation: A Survey and Critical Review." Proc. 1995, Int'l. Workshop on Memory Management, 1995. Springer Verlag.

Van Gilluwe, Frank. The Undocumented PC: A Programmer's Guide to I/O, CPUs, and Fixed Memory Areas. Addison-Wesley, 1996. ISBN: 0201479508.

Zorn, Benjamin. "The Measured Cost of Conservative Garbage Collection." University of Colorado at Boulder, 1992. Technical Report CU-CS-573-92.

IEEE Std 754-1985. IEEE Standard for Binary Floating-Point Arithmetic. Institute of Electrical and Electronics Engineers, Inc., 1985.

ISO/IEC 9899:1999(E). Programming Languages - C. American National Standards Institute, 2000.

Parhami, Behrooz. Computer Arithmetic: Algorithms and Hardware Designs. Oxford University Press, 1999. ISBN: 0195125835.

St. Laurent, Simon and Robert J. Biggar. Inside XML DTDs: Scientific and Technical.McGraw-Hill, 1999. ISBN: 007134621X.

W3C. "Extensible Markup Language (XML) 1.0 Recommendation" 2nd ed.,http://www.w3c.org/TR/REC-xml.

Aho, Alfred V., Ravi Sethi, and Jeffrey D. Ullman. Compilers: Principles, Techniques,and Tools. Addison-Wesley, 1988. ISBN: 0201100886.

Chebotko, Igor, et al. Master Class Assembly Language. Wrox Press, 1995. ISBN:1874416346.

Microsoft MASM Programmer's Guide. Microsoft Corporation, 1992. Document No.DB35747-1292.

Rollins, Dan. IBM-PC 8088 MACRO Assembler Programming. MacMillan, 1985.ISBN: 0024032107.

Rosenberg, Jonathan B. How Debuggers Work: Algorithms, Data Structures, and Archi-tecture. John Wiley, 1996. ISBN: 0471149667.

Solow, Daniel. How To Read and Do Proofs. John Wiley, 1990. ISBN: 0471510041.

Cormen, Thomas, Charles Leiserson, and Ronald Rivest. Introduction to Algorithms. McGraw-Hill, 2000. ISBN: 0070131430.

Ford, William, and William Topp. Assembly Language and Systems Programming for the M68000 Family. D. C. Heath and Company, 1992. ISBN: 0669281999.

Fowler, Martin. Refactoring: Improving the Design of Existing Code. Addison-Wesley, 2000. ISBN: 0201485672.

Goodrich, Michael, and Roberto Tamassia. Data Structures and Algorithms in Java. John Wiley and Sons, 2001. ISBN: 0471383678.

Shaffer, Clifford. A Practical Introduction to Data Structures and Algorithm Analysis.Prentice Hall, 1997. ISBN: 0131907522.

Terry, P.D. Compilers and Compiler Generators: An Introduction with C++. Thomson Computer Press, 1997. ISBN: 1850322988.

Sterling, Bruce. The Hacker Crackdown: Law and Disorder on the Electronic Frontier.Bantam Books, 1992. ISBN: 055356370X.

Stevens, Richard. Advanced Programming in the UNIX Environment. Addison-Wesley,1993. ISBN: 0201563177.

Bamford, James. Body of Secrets: Anatomy of the Ultra-Secret National Security Agency from the Cold War through the Dawn of a New Century. Doubleday, 2001. ISBN: 0385499078.

Blatner, David. The Joy of Pi. Walker Publishing, 1997. ISBN: 0802713327.

Bloom, Howard. Global Brain: The Evolution of Mass Mind from the Big Bang to the 21st Century. John Wiley and Sons, 2000. ISBN: 0471295841.

Kahn, David. The Code-Breakers. Scribner, 1996. ISBN: 0684831309.

Kelly-Bootle, Stan. The Computer Contradictionary. MIT Press, 1995. ISBN:0262611120.

Christensen, Morten. "Methods for Handling Exceptions in Object-oriented Programming Languages." Odense University, Denmark, Department of Mathematics
and Computer Science, 1995.

Johnson, Michael K., and Erik W. Troan. Linux Application Development. Addison-Wesley, 1998. ISBN: 0201308215.

Welsh, Matt, Matthias Kalle Dalheimer, and Lar Kaufman. Running Linux. O'Reilly,1999. ISBN: 156592469X.

======================================================================== ===================
Compiler Theory
===============
Aho, Alfred, Ravi Sethi, and Jeffrey Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1988. ISBN: 0201100886.

Grune, Dick, Henri Bal, Cerial Jacobs, and Koen Langendoen. Modern Compiler Design. John Wiley, 2001. ISBN: 0471976970.

Leon, Steven. Linear Algebra with Applications. Macmillan, 1986. ISBN: 0023698101.

Levine, John. Linkers and Loaders. Morgan Kaufmann Publishers, 1999. ISBN:1558604960.

Muchnick, Steven. Advanced Compiler Design and Implementation. Morgan Kaufmann Publishers, 1997. ISBN: 1558603204.

Scott, Michael. Programming Language Pragmatics. Morgan Kaufmann Publishers,2000. ISBN: 1558604421.