The main idea of the book is to explain and teach the concept of trustworthy compilers based on 50+ years of worldwide experience in the area of compilers,and on the authors own 30+ years of expertise in development and teaching compilers. The book covers most of the topics related to compiler development both classical compiling phases and techniques as lexical analysis, parsing, semantic analysis, intermediate and object code generation, code optimization, andmany novel approaches to compilation. Compiling methods not covered enough byother books on compilers, including trustworthy compiler, verifying compiler,certifying compiler, and certified compiler will be discussed at length. The book will also cover the innovative and efficient compilation techniques developed by the author used in commercial compiler development with Sun and other firms, patented by four USA software patents. The book also covers many state of the art in compiler development tools, and personal experience of their usein research projects by the author and his team, including Microsoft Phoenix,ANTLR, SableCC, DiaGen, and AGG.Professor Vladimir O. Safonov is one of the leading specialists in computer science and software engineering in Russia. He has 28 years of experience working with major software projects, developing software in person, and teaching software technologies at St. Petersburg University (http://www.spbu.ru). He is the Professor and Chair of the Computer Science Department at St. Petersburg University and the head of the java technology laboratory at the university. In2000 and 2001 students of his department won the world championship for the ACM programming contest. Prof. Safonov has 3 U.S. software patents, 4 Russian software patents, published 75 papers and 5 books. He is the chair of the IEEE Region 8 Russia North-West Computer Society/Engineering Management Society Joint Chapter. Professor Safonov has also done significant work covering Aspect.NET and AOP framework for Microsoft.NET. He is also a Microsoft Research 2005/2006 RFP winner for TWC and Secure Software Development.
- ISBN: 978-0-470-50095-8
- Editorial: John Wiley & Sons
- Encuadernacion: Cartoné
- Páginas: 295
- Fecha Publicación: 11/03/2010
- Nº Volúmenes: 1
- Idioma: Inglés