Static analysis : 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings / Bor-Yuh Evan Chang (ed.).
2019
QA76.6
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Cite
Citation
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Static analysis : 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings / Bor-Yuh Evan Chang (ed.).
Meeting Name
ISBN
9783030323042 (electronic book)
3030323048 (electronic book)
9783030323035
3030323048 (electronic book)
9783030323035
Published
Cham, Switzerland : Springer, 2019.
Language
English
Description
1 online resource (xiv, 481 pages) : illustrations.
Item Number
10.1007/978-3-030-32304-2 doi
Call Number
QA76.6
Dewey Decimal Classification
005.1
Summary
This book constitutes the refereed proceedings of the 26th International Symposium on Static Analysis, SAS 2019, held in Porto, Portugal, in October 2019. The 20 regular papers presented in this book were carefully reviewed and selected from 50 submissions. The papers are grouped in topical sections on pointers and dataflow; languages and decidability; numerical; trends: assuring machine learning; synthesis and security; and temporal properties and termination. -- Provided by publisher.
Note
International conference proceedings.
Includes author index.
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed October 9, 2019).
Added Author
Series
Lecture notes in computer science ; 11822.
Lecture notes in computer science. Advanced research in computing and software science.
LNCS sublibrary. SL 2, Programming and software engineering.
Lecture notes in computer science. Advanced research in computing and software science.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Record Appears in