Opening book details…
Can I read Static Analysis: 5th International Symposium, Sas'98, Pisa, Italy, September 14-16, 1998, Proceedings (lecture Notes In Computer Science) on EtoBox?
Static Analysis: 5th International Symposium, Sas'98, Pisa, Italy, September 14-16, 1998, Proceedings (lecture Notes In Computer Science) by Oliver Rüthing (auth.), Giorgio Levi (eds.) is a nonfiction available to read on EtoBox.
What is Static Analysis: 5th International Symposium, Sas'98, Pisa, Italy, September 14-16, 1998, Proceedings (lecture Notes In Computer Science) about?
This book constitutes the refereed proceedings of the 5th International Symposium on Static Analysis, SAS'98, held in Pisa, Italy, in September 1998. The 20 revised full papers presented were carefully reviewed and selected from a total of 48 submissions. Also included is an invited tutorial. The papers are organized in topical sections on data-flow analysis, logic programming, concurrency, abstract domains, partial evaluation, type inference, and optimization. The invited tutorial by David Schmidt and Bernhard Steffen is entitled "data-flow analysis as model checking of abstract interpretations".
Who reads Static Analysis: 5th International Symposium, Sas'98, Pisa, Italy, September 14-16, 1998, Proceedings (lecture Notes In Computer Science)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Oliver Rüthing (auth.), Giorgio Levi (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 1998
- Language
- EN
- ISBN
- 9788354049722
- Category
- nonfiction
- Subjects
- Computer Science, Education, Engineering
Other editions & translations
More by Oliver Rüthing (auth.), Giorgio Levi (eds.)
Browse all works by Oliver Rüthing (auth.), Giorgio Levi (eds.)
Similar books
- Static Analysis: 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings (Lecture Notes in Computer Science, 6887) — Kenneth L. McMillan (auth.), Eran Yahav (2011)
- Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings (Lecture Notes in Computer Science) — Samson Abramsky (auth.), Chris Hankin, Igor Siveroni (2005)
- Static Analysis: Third International Symposium, Sas '96, Aachen, Germany, September 24 - 26, 1996. Proceedings (lecture Notes In Computer Science) — Alex Aiken (auth.), Radhia Cousot, David A. Schmidt (1996)
- Static Analysis: Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings (Lecture Notes in Computer Science, 983) — David A. Schmidt (auth.), Alan Mycroft (1995)
- Static Analysis: First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings (Lecture Notes in Computer Science, 864) — Thomas W. Getzinger (auth.), Baudouin Le Charlier (1994)
- Static Analysis: 19th International Symposium, Sas 2012, Deauville, France, September 11-13, 2012. Proceedings (lecture Notes In Computer Science) — Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Antoine Miné, David Schmidt (2012)
