Static Analysis
This book constitutes the refereed proceedings of the 15th International Symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008 - co-located with LOPSTR 2008, the International Symposium on Logic-based Program Synthesis and Transformation, PPDP 2008, the International ACM SIGPL...
Saved in:
| Other Authors: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Springer
2017
|
| Subjects: | |
| Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/31290 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Vietnam National University, Hanoi |
| Language: | English |
| id |
oai:112.137.131.14:VNU_123-31290 |
|---|---|
| record_format |
dspace |
| spelling |
oai:112.137.131.14:VNU_123-312902020-07-13T05:11:16Z Static Analysis Alpuente, María Vidal, Germán Computer Science 005 This book constitutes the refereed proceedings of the 15th International Symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008 - co-located with LOPSTR 2008, the International Symposium on Logic-based Program Synthesis and Transformation, PPDP 2008, the International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, and PLID 2008, the International Workshop on Programming Language Interference and Dependence. 2017-04-19T07:14:10Z 2017-04-19T07:14:10Z 2008 Book 3540691634 http://repository.vnu.edu.vn/handle/VNU_123/31290 en 379 p. application/pdf Springer |
| institution |
Vietnam National University, Hanoi |
| building |
VNU Library & Information Center |
| country |
Vietnam |
| collection |
VNU Digital Repository |
| language |
English |
| topic |
Computer Science 005 |
| spellingShingle |
Computer Science 005 Static Analysis |
| description |
This book constitutes the refereed proceedings of the 15th International Symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008 - co-located with LOPSTR 2008, the International Symposium on Logic-based Program Synthesis and Transformation, PPDP 2008, the International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, and PLID 2008, the International Workshop on Programming Language Interference and Dependence. |
| author2 |
Alpuente, María |
| author_facet |
Alpuente, María |
| format |
Book |
| title |
Static Analysis |
| title_short |
Static Analysis |
| title_full |
Static Analysis |
| title_fullStr |
Static Analysis |
| title_full_unstemmed |
Static Analysis |
| title_sort |
static analysis |
| publisher |
Springer |
| publishDate |
2017 |
| url |
http://repository.vnu.edu.vn/handle/VNU_123/31290 |
| _version_ |
1680963910955433984 |