Static Analysis
Subtitle: First International Static Analysis Symposium, Sas '94 Namur, Belgium, September 28-30, 1994 Proceedings (Lecture Notes in Computer Science)
Publisher: Springer
Published: September 1994
Language: eng
Format: Paperback
ISBN-13: 9780387584850
Subjects: Programming - General; Computer Programming Languages; Computers; Computers - Languages / Programming; Computer programming; Congresses; Programming languages (Electro; Programming languages (Electronic computers); Computer Books: General; Computer Books: Languages
First sentence: Abstract interpretation is a powerful framework for describing data flow analyses of programs.