Somebody once said that one may prove the correctness of an algorithm, but not of a program. One of the main goals of this book is to convince the reader that things are not so bad.
A well-known programmer, C.A.R. Hoare, said that the beauty of a program is not an additional benefit but a criterion that separates success from failure. If, while solving problems in this book, you come to appreciate the beauty of a wellwritten program with each part in its correct place, the author's goal will have been reached.
We have utilized the problem-solution format. Some sections are collections of problems having a common topic, while others are devoted to one specific algorithm (e.g., Section 14 covers LR(1)-parsing). The sections are more or less independent, but the concluding sections are more difficult. Sections 1-7 cover material usually included in undergradute courses while Sections 13-14 are more appropriate for a graduate compiler course. In each section we have tried to give problems at different levels starting with easy exercises.
Progress on Cryptography: 25 Years of Cryptography in China This workshop entitled “Progress on Cryptography: 25 Year of Cryptography in China” is being held during the celebration of Professor Guozhen Xiao’s 70th birthday. This proceeding is a birthday gift from all of his current and former graduate students, who have had the pleasure of being supervised by Professor Xiao during the last... Compiler Construction Using Java, JavaCC, and Yacc
Broad in scope, involving theory, the application of that theory, and programming technology, compiler construction is a moving target, with constant advances in compiler technology taking place. Today, a renewed focus on do-it-yourself programming makes a quality textbook on compilers, that both students and instructors will enjoy using, of...
Hodgkin Lymphoma The definitive text on Hodgkin lymphoma is now in its thoroughly revised, updated Second Edition. More than 100 recognized authorities from all parts of the world provide comprehensive, current information on every aspect of Hodgkin lymphoma, including etiology, epidemiology, biology, pathology, evaluation, staging, treatment, and follow-up. This... Fault Analysis in Cryptography (Information Security and Cryptography)
In the 1970s researchers noticed that radioactive particles produced by elements naturally present in packaging material could cause bits to flip in sensitive areas of electronic chips. Research into the effect of cosmic rays on semiconductors, an area of particular interest in the aerospace industry, led to methods of hardening electronic...