|  |
| |
| Artikel-Nr.:
5667A-9783540603603 Herst.-Nr.:
9783540603603 EAN/GTIN:
9783540603603 |
| |
|
| | |
| 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. Weitere Informationen: | | Author: | Alan Mycroft | Verlag: | Springer Berlin | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, Analyse, EDV / Theorie / Programmieren / Allgemeines, Statik, High-Level Programming, High-Performance Computing, Höherstufiges Programmieren, Performance, Static Analysis, Systemimplementierung, Systems Implementation, Systems Verfication |
| | |
| |