Matches in Harvard for { <http://id.lib.harvard.edu/aleph/005288996/catalog> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items per page.
- catalog abstract ""This volume presents the proceedings of the First International Static Analysis Symposium (SAS '94), held in Namur, Belgium in September 1994. The proceedings comprise 25 full refereed papers selected from 70 submissions as well as four invited contributions by Charles Consel, Saumya K. Debray, Thomas W. Getzinger, and Nicolas Halbwachs. The papers address static analysis aspects for various programming paradigms and cover the following topics: generic algorithms for fixpoint computations; program optimization, transformation and verification; strictness-related analyses; type-based analyses and type inference; dependency analyses and abstract domain construction."--PUBLISHER'S WEBSITE.".
- catalog alternative "Static analysis symposium.".
- catalog contributor b7466654.
- catalog contributor b7466655.
- catalog created "c1994.".
- catalog date "1994".
- catalog date "c1994.".
- catalog dateCopyrighted "c1994.".
- catalog description ""This volume presents the proceedings of the First International Static Analysis Symposium (SAS '94), held in Namur, Belgium in September 1994. The proceedings comprise 25 full refereed papers selected from 70 submissions as well as four invited contributions by Charles Consel, Saumya K. Debray, Thomas W. Getzinger, and Nicolas Halbwachs. The papers address static analysis aspects for various programming paradigms and cover the following topics: generic algorithms for fixpoint computations; program optimization, transformation and verification; strictness-related analyses; type-based analyses and type inference; dependency analyses and abstract domain construction."--PUBLISHER'S WEBSITE.".
- catalog description "Includes bibliographical references and index.".
- catalog extent "xii, 463 p. :".
- catalog hasFormat "Static analysis.".
- catalog identifier "3540584854 (acid-free)".
- catalog isFormatOf "Static analysis.".
- catalog isPartOf "Lecture notes in computer science ; 864".
- catalog issued "1994".
- catalog issued "c1994.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog relation "Static analysis.".
- catalog subject "005.13/1 20".
- catalog subject "Computer programming Congresses.".
- catalog subject "Programming languages (Electronic computers) Congresses.".
- catalog subject "QA76.6 .I5733 1994".
- catalog title "Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings / Baudouin Le Charlier (ed.).".
- catalog title "Static analysis symposium.".
- catalog type "Conference proceedings. fast".
- catalog type "Namur (1994) swd".
- catalog type "text".