Palsberg, Jens.
Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings / [electronic resource] : edited by Jens Palsberg, Zhendong Su. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5673 0302-9743 ; . - Lecture Notes in Computer Science, 5673 .
9783642032370
10.1007/978-3-642-03237-0 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Software Engineering.
Mathematical Logic and Formal Languages.
Programming Techniques.
QA76.7-76.73 QA76.76.C65
005.13
Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings / [electronic resource] : edited by Jens Palsberg, Zhendong Su. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5673 0302-9743 ; . - Lecture Notes in Computer Science, 5673 .
9783642032370
10.1007/978-3-642-03237-0 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Software Engineering.
Mathematical Logic and Formal Languages.
Programming Techniques.
QA76.7-76.73 QA76.76.C65
005.13