Static Analysis
Subtitle: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings (Lecture Notes in Computer Science)
Contributors: Patrick Cousot (Editor); Moreno Falaschi (Editor); Gilberto File (Editor); Antoine Rauzy (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 8, 1993
Language: eng
Format: Paperback
Number of pages: 283
ISBN-13: 9783540572640
Subjects: Computer Programming; Databases & data structures; Programming Languages - General; Computers - Languages / Programming; Programming - Software Development; Logic Design; Computers / Programming / General; Concurrency; Logic of Programs; Nebenläufigkeit; Program Transformation; Programmlogik; Programmtransformation; Static Analysis; Statistische Analyse; Term Rewriting Systems; Termersetzungsverfahren; Congresses; Programming (Electronic computers); Programming languages (Electronic computers)