Static analysis: 20th international symposium, SAS 2013, Seattle, WA, USA, June 20 - 22, 2012 ; proceedings
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
| Schriftenreihe: | Lecture notes in computer science
7935 : Advanced research in computing and software science |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (X, 498 S.) graph. Darst. |
| ISBN: | 3642388558 9783642388569 |
| DOI: | 10.1007/978-3-642-38856-9 |
Internformat
MARC
| LEADER | 00000nmm a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041403631 | ||
| 003 | DE-604 | ||
| 005 | 20140131 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 131107s2013 gw |||| o||u| ||||||eng d | ||
| 020 | |a 3642388558 |9 3-642-38855-8 | ||
| 020 | |a 9783642388569 |9 978-3-642-38856-9 | ||
| 024 | 7 | |a 10.1007/978-3-642-38856-9 |2 doi | |
| 024 | 3 | |a 9783642388552 | |
| 028 | 5 | 2 | |a Best.-Nr.: 86280105 |
| 035 | |a (OCoLC)874375441 | ||
| 035 | |a (DE-599)BVBBV041403631 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-473 |a DE-M347 |a DE-20 |a DE-703 |a DE-Aug4 |a DE-92 |a DE-29 |a DE-859 |a DE-91 |a DE-706 |a DE-739 |a DE-384 |a DE-634 |a DE-355 | ||
| 082 | 0 | |a 005.13 |2 22/ger | |
| 082 | 0 | |a 005.101 |2 22/ger | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 310f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Static analysis |b 20th international symposium, SAS 2013, Seattle, WA, USA, June 20 - 22, 2012 ; proceedings |c Francesco Logozzo ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a 1 Online-Ressource (X, 498 S.) |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 7935 : Advanced research in computing and software science | |
| 650 | 0 | 7 | |a Statische Analyse |0 (DE-588)4325372-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2013 |z Seattle, Wash. |2 gnd-content | |
| 689 | 0 | 0 | |a Statische Analyse |0 (DE-588)4325372-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Logozzo, Francesco |d 1976- |e Sonstige |0 (DE-588)17400009X |4 oth | |
| 711 | 2 | |a SAS |n 20 |d 2013 |c Seattle, Wash. |j Sonstige |0 (DE-588)1036619400 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Paperback |z 978-3-642-38855-2 |
| 830 | 0 | |a Lecture notes in computer science |v 7935 : Advanced research in computing and software science |w (DE-604)BV014880109 |9 7935 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-38856-9 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026851086&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026851086&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-026851086 | ||
Datensatz im Suchindex
| _version_ | 1804151510488055808 |
|---|---|
| adam_text | STATIC ANALYSIS
/
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
ABSTRACT DOMAINS
ABSTRACT INTERPRETATION
ABSTRACT TESTING
BUG DETECTION
DATA FLOW ANALYSIS
MODEL CHECKING
NEW APPLICATIONS
PROGRAM TRANSFORMATION
PROGRAM VERIFICATION
SECURITY ANALYSIS
THEORETICAL FRAMEWORKS
TYPE CHECKING
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
STATIC ANALYSIS
/
: 2013
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE THOROUGHLY REFEREED PROCEEDINGS OF THE 20TH
INTERNATIONAL SYMPOSIUM ON STATIC ANALYSIS, SAS 2013, HELD IN SEATTLE,
WA, USA, IN JUNE 2013. THE 23 REVISED FULL PAPERS PRESENTED TOGETHER
WITH 2 INVITED TALKS WERE SELECTED FROM 56 SUBMISSIONS. THE PAPERS
ADDRESS ALL ASPECTS OF STATIC ANALYSIS, INCLUDING ABSTRACT DOMAINS,
ABSTRACT INTERPRETATION, ABSTRACT TESTING, BUG DETECTION, DATA FLOW
ANALYSIS, MODEL CHECKING, NEW APPLICATIONS, PROGRAM TRANSFORMATION,
PROGRAM VERIFICATION, SECURITY ANALYSIS, THEORETICAL FRAMEWORKS, AND
TYPE CHECKING
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author_GND | (DE-588)17400009X |
| building | Verbundindex |
| bvnumber | BV041403631 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 310f DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)874375441 (DE-599)BVBBV041403631 |
| dewey-full | 005.13 005.101 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13 005.101 |
| dewey-search | 005.13 005.101 |
| dewey-sort | 15.13 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-642-38856-9 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02631nmm a2200541 cb4500</leader><controlfield tag="001">BV041403631</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140131 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">131107s2013 gw |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642388558</subfield><subfield code="9">3-642-38855-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642388569</subfield><subfield code="9">978-3-642-38856-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-38856-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642388552</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86280105</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)874375441</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041403631</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.101</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Static analysis</subfield><subfield code="b">20th international symposium, SAS 2013, Seattle, WA, USA, June 20 - 22, 2012 ; proceedings</subfield><subfield code="c">Francesco Logozzo ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 498 S.)</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7935 : Advanced research in computing and software science</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Statische Analyse</subfield><subfield code="0">(DE-588)4325372-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2013</subfield><subfield code="z">Seattle, Wash.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Statische Analyse</subfield><subfield code="0">(DE-588)4325372-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Logozzo, Francesco</subfield><subfield code="d">1976-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)17400009X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">SAS</subfield><subfield code="n">20</subfield><subfield code="d">2013</subfield><subfield code="c">Seattle, Wash.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1036619400</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Paperback</subfield><subfield code="z">978-3-642-38855-2</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7935 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">7935</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-38856-9</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026851086&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026851086&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026851086</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2013 Seattle, Wash. gnd-content |
| genre_facet | Konferenzschrift 2013 Seattle, Wash. |
| id | DE-604.BV041403631 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T00:55:58Z |
| institution | BVB |
| institution_GND | (DE-588)1036619400 |
| isbn | 3642388558 9783642388569 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026851086 |
| oclc_num | 874375441 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-634 DE-355 DE-BY-UBR |
| owner_facet | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-634 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (X, 498 S.) graph. Darst. |
| psigel | ZDB-2-SCS ZDB-2-LNC |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Static analysis 20th international symposium, SAS 2013, Seattle, WA, USA, June 20 - 22, 2012 ; proceedings Francesco Logozzo ... (eds.) Berlin [u.a.] Springer 2013 1 Online-Ressource (X, 498 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 7935 : Advanced research in computing and software science Statische Analyse (DE-588)4325372-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Seattle, Wash. gnd-content Statische Analyse (DE-588)4325372-6 s DE-604 Logozzo, Francesco 1976- Sonstige (DE-588)17400009X oth SAS 20 2013 Seattle, Wash. Sonstige (DE-588)1036619400 oth Erscheint auch als Druck-Ausgabe, Paperback 978-3-642-38855-2 Lecture notes in computer science 7935 : Advanced research in computing and software science (DE-604)BV014880109 7935 https://doi.org/10.1007/978-3-642-38856-9 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026851086&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026851086&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Static analysis 20th international symposium, SAS 2013, Seattle, WA, USA, June 20 - 22, 2012 ; proceedings Lecture notes in computer science Statische Analyse (DE-588)4325372-6 gnd |
| subject_GND | (DE-588)4325372-6 (DE-588)1071861417 |
| title | Static analysis 20th international symposium, SAS 2013, Seattle, WA, USA, June 20 - 22, 2012 ; proceedings |
| title_auth | Static analysis 20th international symposium, SAS 2013, Seattle, WA, USA, June 20 - 22, 2012 ; proceedings |
| title_exact_search | Static analysis 20th international symposium, SAS 2013, Seattle, WA, USA, June 20 - 22, 2012 ; proceedings |
| title_full | Static analysis 20th international symposium, SAS 2013, Seattle, WA, USA, June 20 - 22, 2012 ; proceedings Francesco Logozzo ... (eds.) |
| title_fullStr | Static analysis 20th international symposium, SAS 2013, Seattle, WA, USA, June 20 - 22, 2012 ; proceedings Francesco Logozzo ... (eds.) |
| title_full_unstemmed | Static analysis 20th international symposium, SAS 2013, Seattle, WA, USA, June 20 - 22, 2012 ; proceedings Francesco Logozzo ... (eds.) |
| title_short | Static analysis |
| title_sort | static analysis 20th international symposium sas 2013 seattle wa usa june 20 22 2012 proceedings |
| title_sub | 20th international symposium, SAS 2013, Seattle, WA, USA, June 20 - 22, 2012 ; proceedings |
| topic | Statische Analyse (DE-588)4325372-6 gnd |
| topic_facet | Statische Analyse Konferenzschrift 2013 Seattle, Wash. |
| url | https://doi.org/10.1007/978-3-642-38856-9 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026851086&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026851086&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT logozzofrancesco staticanalysis20thinternationalsymposiumsas2013seattlewausajune20222012proceedings AT sasseattlewash staticanalysis20thinternationalsymposiumsas2013seattlewausajune20222012proceedings |