Static Analysis : Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings. 1st ed. 1995

種類:

電子ブック

責任表示:

edited by Alan Mycroft

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995

著者名:

• Mycroft, Alan.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 983

ISBN:

9783540450504 [3540450505]    

注記:

Natural-semantics-based abstract interpretation (preliminary version) -- Region inference for higher-order functional languages -- An automata-theoretic approach to Presburger arithmetic constraints -- Generation of efficient interprocedural analyzers with PAG -- Optimality in abstractions of model checking -- Determining storage properties of sequential and concurrent programs with assignment and structured data -- Partitioning non-strict functional languages for multi-threaded code generation -- Complementation in abstract interpretation -- Polymorphic recursion and subtype qualifications: Polymorphic binding-time analysis in polynomial time -- Optimizing lazy functional programs using flow inference -- Termination analysis for functional programs using term orderings -- A type-based analysis for stack allocation in functional languages -- Control-flow analysis and type systems -- Effective flow analysis for avoiding run-time checks -- Static analysis of communication for asynchronous concurrent programming
This book constitutes the refereed proceedings of the Second International Symposium on Static Analysis, SAS '95, held in Glasgow, UK, in September 1995. Static Analysis is increasingly recognized as a foundation for high-performance implementations and verification systems of high-level programming languages. 22 full revised papers selected from a total of 55 submissions are presented; they address static analysis issues for different programming paradigms; in particular concurrent, constraint, functional, imperative, logic, and object-oriented programming are addressed. In addition there are abstracts or full papers for three invited presentations and two system descriptions.

ローカル注記:

学内専用E-BOOKS (local access only)