TY - BOOK ID - 5300719 TI - Principles of program analysis AU - Nielson, Flemming AU - Nielson, Hanne Riis AU - Hankin, Chris PY - 1999 SN - 3540654100 3642084745 3662038110 9783540654100 PB - Berlin: Springer, DB - UniCat KW - Computer programming. KW - Computer programs. KW - Programmation (Informatique) KW - Logiciels KW - Computer programming KW - Computer programs KW - 681.3*F32 KW - Computer program files KW - Files, Computer program KW - Program files, Computer KW - Programs, Computer KW - Computer files KW - Computer software KW - Computers KW - Electronic computer programming KW - Electronic data processing KW - Electronic digital computers KW - Programming (Electronic computers) KW - Coding theory KW - Semantics of programming languages: algebraic approaches to semantics denotational semantics operational semantics (Logics and meanings of programs)--See also {681.3*D31} KW - Programming KW - 681.3*F32 Semantics of programming languages: algebraic approaches to semantics denotational semantics operational semantics (Logics and meanings of programs)--See also {681.3*D31} KW - 681.3*F32 Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} KW - Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} KW - programmeren (informatica) KW - Computer science KW - algoritmen KW - Computer logic. KW - Programming languages (Electronic computers). KW - Software engineering. KW - Logics and Meanings of Programs. KW - Programming Languages, Compilers, Interpreters. KW - Software Engineering. KW - Computer software engineering KW - Engineering KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Languages, Artificial KW - Computer science logic KW - Logic, Symbolic and mathematical UR - https://www.unicat.be/uniCat?func=search&query=sysid:5300719 AB - Program 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 transformations between data representation (for solving problems such as the Y2K problem). This book is unique in giving an overview of the four major approaches to program analysis: data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems. The presentation demonstrates the extensive similarities between the approaches; this will aid the reader in choosing the right approach and in enhancing it with insights from the other approaches. The book covers basic semantic properties as well as more advanced algorithmic techniques. The book is aimed at M.Sc. and Ph.D. students but will be valuable also for experienced researchers and professionals. ER -