Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, Ca, Usa, June 29 - July 6, 2000, Proceedings by

Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, Ca, Usa, June 29 - July 6, 2000, Proceedings

Lecture Notes in Computer Science

433 pages • missing pub info (editions)

nonfiction computer science design medium-paced
Powered by AI (Beta)
Loading...

Description

Static Analysis is a research area aimed at developing principles and tools for high-performance implementation and veri?cation of programming languages. The seriesofStatic AnalysisSymposiais aforumforpresentationanddiscussion of advances in the a...

Read more

Community Reviews

Loading...

Content Warnings

Loading...