Static Analysis
Subtitle: First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings (Lecture Notes in Computer Science)
Contributors: Baudouin Lecharlier (Editor); Baudouin Le Charlier (Other Contributor)
Publisher: Springer
Published: October 1994
Language: eng
Format: Paperback
Number of pages: 465
ISBN-13: 9783540584858
Subjects: Computer Programming; Systems analysis & design; Programming - Software Development; Computers - Languages / Programming; Logic Design; Programming Languages - General
First sentence: Abstract interpretation is a powerful framework for describing data flow analyses of programs.