Export Mendeley
＜Book＞
Static analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings
| Responsibility | Jens Palsberg (ed.) |
|---|---|
| Series | Lecture notes in computer science ; 1824 |
| Material Type | Book |
| Publisher | Berlin : Springer |
| Year | c2000 |
| Language | English |
| Size | viii, 432 p. : ill. ; 24 cm |
| Abstract | This book constitutes the refereed proceedings of the 7th International Static Analysis Symposium, SAS 2000, held in Santa Barbara, CA, USA, in June/July 2000. The 20 revised full papers presented wer... carefully reviewed & selected from 52 submissions. Also included are 2 invited full papers. All current aspects of high-performance implementation & verification of programming languages are addressed, in particular object logics, model checking, constraint solving, abstract interpretation, program transformation, rewriting, confidentiality analysis, typed languages, unified analysis, code optimization, termination, code specialization & guided abstraction. show more |
| Electronic Version | https://hdl.handle.net/2324/7006367 |
Holdings
| Status | Volume | Location | Call No. | Printed | Collection Name | Barcode No. | Comments | Reserve | Copy | Automatic archive |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
【Out of order】SciTech Library ASRS | 408/L 49 | 2000 |
|
061232004022492 |
|
Bibliographic details
| Notes | Includes bibliographical references and index |
|---|---|
| Authors | *SAS (7th : 2000 : Santa Barbara, Calif.) Palsberg, Jens |
| Subjects | LCSH:Computer programming -- Congresses
All Subject Search
LCSH:Programming languages (Electronic computers) -- Congresses All Subject Search |
| Classification | LCC:QA76.6 |
| ID | 1001003911 |
| ISBN | 3540676686 |
| NCID | BA47211207 |
| Vol | ISBN:3540676686 |
| Created Date | 2009.09.16 |
| Modified Date | 2017.02.18 |