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

by Jens Palsberg

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540676686
• ISBN13: 9783540676683
• Release Date: June 2000
• Publisher: Springer
• Length: 433 Pages
• Weight: 2.35 lbs.
• Dimensions: 0.9" x 8.5" x 11.0"