Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings / [electronic resource] : edited by Radhia Cousot, Matthieu Martel. - 1st ed. 2010. - XI, 473 p. 131 illus. online resource. - Programming and Software Engineering, 6337 2945-9168 ; . - Programming and Software Engineering, 6337 .

9783642157691

10.1007/978-3-642-15769-1 doi


Software engineering.
Compilers (Computer programs).
Computer programming.
Computer science.
Machine theory.
Software Engineering.
Compilers and Interpreters.
Programming Techniques.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.

QA76.758

005.1