Static Analysis [electronic resource] : Second International Symposium, SAS '95 Glasgow, UK, September 25–27, 1995 Proceedings /
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.
Main Authors: | , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1995
|
Subjects: | Computer science., Software engineering., Computer programming., Programming languages (Electronic computers)., Computers., Computer logic., Computer Science., Software Engineering/Programming and Operating Systems., Theory of Computation., Programming Techniques., Software Engineering., Programming Languages, Compilers, Interpreters., Logics and Meanings of Programs., |
Online Access: | http://dx.doi.org/10.1007/3-540-60360-3 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|