Ulteriori informazioni
Informationen zum Autor VLADIMIR O. SAFONOV is one of the leading specialists in computer science and software engineering in Russia. He is a Professor of Computer Science at St. Petersburg University and the head of the Java Technology Laboratory at the university. In 2000 and 2001, students of his department won the world championship for the ACM programming contest. Professor Safonov holds four U.S. software patents, four Russian software patents, and has published 120 papers and six books. He is the author of Using Aspect-Oriented Programming for Trustworthy Software Development (Wiley). He is the chair of the IEEE Region 8 Russia North-West Computer Society/Technology Management Council Joint Chapter. He was also a Microsoft Research¿2005/2006 RFP winner for TWC and Secure Software Development. Klappentext The Most Complete, Real-World Guide to CompilerDevelopment-and the Principles of Trustworthy CompilersDrawing on the author's over thirty years of expertise in compiler development, research, and instruction, Trustworthy Compilers introduces and analyzes the concept of trustworthy compilers and the principles of trustworthy compiler development, and provides analytical overview of other promising research works in this area.Vladimir Safonov shares the benefit of his long experience as a teacher and compiler development professional to explain that-even in such a well-studied area as compilers-there is still an opportunity for original results, efficient algorithms, and promising research and development. Beginning with a definition of the trustworthy compiler and a review of the history of compiler development, Trustworthy Compilers features:* A complete overview of all essential compiler topics, including lexical analysis, parsing, semantic analysis, compiler optimization, code generation, and traditional and modern approaches to runtime* Efficient, ready-to-apply algorithms for various phases of compilation, especially for semantic analysis, developed by the author and used in his real compilers* High-yield coverage of graph compilers-a novel compiler development area-plus related concepts such as graph grammars and graph compilers, and editor development tools such as DiaGen* Real projects-using examples of real compilers-that cover the key topics related to compiler development and compiling methods* A survey of novel kinds of compilation, including just-in-time (JIT) and ahead-of-time (AOT) compilation, which are characteristic of modern software development platforms Java and .NET* Sections on modern compiler tools-such as ANTLR, CoCo/R, and SableCCCovering both classical techniques and innovative ones not covered by other books, Trustworthy Compilers helps both practicing professionals and students meet the challenge of¿making compilers more trustworthy. The book's companion Web page (www.vladimirsafonov.org/trustworthycompilers) provides an overview of the book and related resources for compiler teachers and students. Zusammenfassung This unique guide book explains and teaches the concept oftrustworthy compilers based on 50+ years of worldwide experience inthe area of compilers, and on the author s own 30+ years ofexpertise in development and teaching compilers. Inhaltsverzeichnis Preface. Acknowledgments. 1. Introduction. 1.1. The Concept of a Trustworthy Compiler. 1.2. Kinds of Compilers. 1.3. Evolution of Java Compilers. 1.4. Compilation for .NET. 1.5. Phases of Compilation. 1.6. Overview of Compiler Development Principles and Technologies. 1.7. History of Compiler Development in the U.S.S.R. and in Russia. Exercises to Chapter 1. 2. Theoretical Foundations and Principles of Trustworthy Compilers. 2.1. The Trustworthy Computing (TWC) Initiative. 2.2. TWC and Trustworthy Compilers. 2.3. Verified Compilers. 2.4. Spec#: Microsoft'...
