Static Analysis [electronic resource] : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings /
International Static Analysis SymposiumCorporate Author
International Static Analysis Symposium(17th :2010 :Perpignan, France)
International Static Analysis Symposium
Cousot, Radhia.editor.
Martel, Matthieu.editor.
Bibliographic Level Mode of Issuance: Monograph
Includes bibliographical references and index.
Software engineering.
Programming languages (Electronic computers).
Computer programming.
Computer logic.
Mathematical logic.
Software Engineering/Programming and Operating Systems.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Software Engineering.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Lecture notes in computer science