|
Barnes & Noble at Oakland University - FALL 2010 | ||
Section 42371 | ||
Principles of Program Analysis by Flemming Nielson, Chris Hankin, Hanne Riis Nielson, H.R. (Aarhus University Hardcover, 452 Pages, Published 2004 ISBN-10: 3-540-65410-0 / 3540654100 ISBN-13: 978-3-540-65410-0 / 9783540654100 Gebundenes BuchProgram analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformatio |