Program Analysis and Compilation, Theory and Practice
Subtitle: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
Contributors: Thomas Reps (Editor); Mooly Sagiv (Editor); Jörg Bauer (Editor)
Edition: 1 edition
Publisher: Springer
Published: May 3, 2007
Language: eng
Format: Paperback
Number of pages: 361
ISBN-13: 9783540713159
Subjects: Programming languages; Computers; Computers - Languages / Programming; Computer Books: Languages; Logic Design; Programming - Software Development; Programming Languages - General; Computers / Programming Languages / General; compiler construction; cryptographic protocols; flow analysis; formal languages; formal methods; graph algorithms; Programming - Systems Analysis & Design; Compilers (Computer programs); Computer programming; Computer programs; Congresses; Verification