Static Analysis, First International Static Analysis Symposium, SAS 94, Namur, Belgium, September 28-30, 1994, Proceedings - researchr publication

researchr

You are not signed in
Sign in
Sign up

Baudouin Le Charlier, editor, Static Analysis, First International Static Analysis Symposium, SAS 94, Namur, Belgium, September 28-30, 1994, Proceedings. Volume 864 of Lecture Notes in Computer Science, Springer, 1994.

Conference: SAS1994

Abstract is missing.

The Costs and Benefits of Abstract Interpretation-driven Prolog OptimizationThomas W. Getzinger. 1-25

Mode Analysis of Functional Logic ProgramsMichael Hanus, Frank Zartmann. 26-42

Directional Type Checking of Logic ProgramsAlexander Aiken, T. K. Lakshman. 43-60

A Systematic Construction of Abstract DomainsDmitri Boulanger, Maurice Bruynooghe. 61-77

runs on WebDSL