Static Analysis
Subtitle: Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings (Lecture Notes in Computer Science)
Contributors: Radhia Cousot (Editor); David A. Schmidt (Editor)
Edition: 1 edition
Publisher: Springer
Published: September 30, 1996
Language: eng
Format: Paperback
Number of pages: 389
ISBN-13: 9783540617396
Subjects: Systems analysis & design; Science/Mathematics; Logic Design; Computer Programming Languages; Computers; Computers - Languages / Programming; Programming languages (Electronic computers); Programming languages (Electro; Programming - Software Development; Programming Languages - General; Abstrakte Interpretation; Computers / Programming / General; Funktionales Programmieren; Partielle Auswertung; Programmanalyse; Statische Analyse; abstract interpretation; functional programming; Computer programming; Congresses
First sentence: The predominant use of program analysis is to enable compilers to generate better code: to supply information about the context in order to generate more specialised code or in order to validate program transformations.