Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 201 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2011
|
| Schriftenreihe: | Lecture notes in computer science
6887 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV039576550 | ||
| 003 | DE-604 | ||
| 005 | 20111027 | ||
| 007 | t | ||
| 008 | 110912s2011 d||| |||| 10||| eng d | ||
| 015 | |a 11,N32 |2 dnb | ||
| 016 | 7 | |a 1014072824 |2 DE-101 | |
| 020 | |a 9783642237010 |c Pb. : EUR 57.78 (DE) (freier Pr.), sfr 77.50 (freier Pr.) |9 978-3-642-23701-0 | ||
| 020 | |a 3642237010 |9 3-642-23701-0 | ||
| 024 | 3 | |a 9783642237010 | |
| 028 | 5 | 2 | |a Best.-Nr.: 80111909 |
| 035 | |a (OCoLC)756306687 | ||
| 035 | |a (DE-599)DNB1014072824 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-11 |a DE-91G |a DE-83 | ||
| 082 | 0 | |a 005.101 |2 22/ger | |
| 082 | 0 | |a 005.13 |2 22/ger | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 330f |2 stub | ||
| 084 | |a DAT 325f |2 stub | ||
| 245 | 1 | 0 | |a Static Analysis |b 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 201 ; proceedings |c Eran Yahav (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2011 | |
| 300 | |a XII, 385 S. |b graph. Darst. |c 235 mm x 155 mm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 6887 | |
| 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 2011 |z Venedig |2 gnd-content | |
| 689 | 0 | 0 | |a Statische Analyse |0 (DE-588)4325372-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Yahav, Eran |e Sonstige |0 (DE-588)101513193X |4 oth | |
| 711 | 2 | |a SAS |n 18 |d 2011 |c Venedig |j Sonstige |0 (DE-588)16181312-4 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |t Static Analysis |
| 830 | 0 | |a Lecture notes in computer science |v 6887 |w (DE-604)BV000000607 |9 6887 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3863681&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024427955&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-024427955 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102/DAT 001z 2001 A 999-6887 |
|---|---|
| DE-BY-TUM_katkey | 1785961 |
| DE-BY-TUM_media_number | 040010216247 |
| _version_ | 1816713670770556928 |
| adam_text |
IMAGE 1
TABLE OF CONTENTS
WIDENING AND INTERPOLATION 1
KENNETH L. MCMILLAN
PROGRAM ANALYSIS AND MACHINE LEARNING: A WIN-WIN DEAL 2
ADITYA V. NORI AND SRIRAM K. RAJAMANI
PROGRAM ANALYSIS FOR WEB SECURITY 4
JOHN C. MITCHELL
ASTREE: DESIGN AND EXPERIENCE 5
DANIEL KAESTNER
FORMAL MODEL REDUCTION 6
JEROME FERET
PURITY ANALYSIS: AN ABSTRACT INTERPRETATION FORMULATION 7
RAVICHANDHRAN MADHAVAN, GANESAN RAMALINGAM, AND KAPIL VASWANI
THE COMPLEXITY OF ABDUCTION FOR SEPARATED HEAP ABSTRACTIONS 25 NIKOS
GOROGIANNIS, MAX KANOVICH, AND PETER W. O'HEARN
EFFICIENT DECISION PROCEDURES FOR HEAPS USING STRAND 43
P. MADHUSUDAN AND XIAOKANG QIU
THE FLOW-INSENSITIVE PRECISION OF ANDERSEN'S ANALYSIS IN PRACTICE 60 SAM
BLACKSHEAR, BOR-YUH EVAN CHANG, SRIRAM SANKARANARAYANAN, AND MANU
SRIDHARAN
SIDE-EFFECT ANALYSIS OF ASSEMBLY CODE 77
ANDREA FLEXEDER, MICHAEL PETTER, AND HELMUT SEIDL
DIRECTED SYMBOLIC EXECUTION 95
KIN-KEUNG MA, KHOO YIT PHANG, JEFFREY S. FOSTER, AND MICHAEL HICKS
STATICALLY VALIDATING MUST SUMMARIES FOR INCREMENTAL COMPOSITIONAL
DYNAMIC TEST GENERATION 112
PATRICE GODEFROID, SHUVENDU K. LAHIRI, AND CINDY RUBIO-GONZALEZ
ON SEQUENTIALIZING CONCURRENT PROGRAMS 129
AHMED BOUAJJANI, MICHAEL EMMI, AND GENNARO PARLATO
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1014072824
DIGITALISIERT DURCH
IMAGE 2
XII TABLE OF CONTENTS
VERIFYING FENCE ELIMINATION OPTIMISATIONS 146
VIKTOR VAFEIADIS AND FRANCESCO ZAPPA NARDELLI
AN EFFICIENT STATIC TRACE SIMPLIFICATION TECHNIQUE FOR DEBUGGING
CONCURRENT PROGRAMS 163
JEFF HUANG AND CHARLES ZHANG
A FAMILY OF ABSTRACT INTERPRETATIONS FOR STATIC ANALYSIS OF CONCURRENT
HIGHER-ORDER PROGRAMS 180
MATTHEW MIGHT AND DAVID VAN HORN
ABSTRACT DOMAINS OF AFFINE RELATIONS 198
MATT ELDER, JUNGHEE LIM, TUSHAR SHARMA, TYCHO ANDERSEN, AND THOMAS REPS
TRANSITIVE CLOSURES OF AFFINE INTEGER TUPLE RELATIONS AND THEIR
OVERAPPROXIMATIONS 216
SVEN VERDOOLAEGE, ALBERT COHEN, AND ANNA BELETSKA
LOGICO-NUMERICAL ABSTRACT ACCELERATION AND APPLICATION TO THE
VERIFICATION OF DATA-FLOW PROGRAMS 233
PETER SCHRAMMEL AND BERTRAND JEANNET
INVISIBLE INVARIANTS AND ABSTRACT INTERPRETATION 249
KENNETH L. MCMILLAN AND LENORE D. ZUCK
AN ABSTRACTION-REFINEMENT FRAMEWORK FOR TRIGGER QUERYING 263 GUY AVNI
AND OMA KUPFERMAN
BOUND ANALYSIS OF IMPERATIVE PROGRAMS WITH THE SIZE-CHANGE ABSTRACTION
280
FLORIAN ZULEGER, SUMIT GULWANI, MORITZ SINN, AND HELMUT VEITH
SATISFIABILITY MODULO RECURSIVE PROGRAMS 298
PHILIPPE SUTER, ALI SINAN KOEKSAL, AND VIKTOR KUNCAK
PROBABILISTICALLY ACCURATE PROGRAM TRANSFORMATIONS 316
SASA MISAILOVIC, DANIEL M. ROY, AND MARTIN C. RINARD
PROBABILISTIC ABSTRACTIONS WITH ARBITRARY DOMAINS 334
JAVIER ESPARZA AND ANDREAS GAISER
SOFTWARE VERIFICATION USING ^-INDUCTION 351
ALASTAIR F. DONALDSON, LEOPOLD HALLER, DANIEL KROENING, AND PHILIPP
RUMMER
USING BOUNDED MODEL CHECKING TO FOCUS FIXPOINT ITERATIONS 369 DAVID
MONNIAUX AND LAURE GONNORD
AUTHOR INDEX 387 |
| any_adam_object | 1 |
| author_GND | (DE-588)101513193X |
| building | Verbundindex |
| bvnumber | BV039576550 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 330f DAT 325f |
| ctrlnum | (OCoLC)756306687 (DE-599)DNB1014072824 |
| dewey-full | 005.101 005.13 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.101 005.13 |
| dewey-search | 005.101 005.13 |
| dewey-sort | 15.101 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV039576550</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20111027</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">110912s2011 d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N32</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1014072824</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642237010</subfield><subfield code="c">Pb. : EUR 57.78 (DE) (freier Pr.), sfr 77.50 (freier Pr.)</subfield><subfield code="9">978-3-642-23701-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642237010</subfield><subfield code="9">3-642-23701-0</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642237010</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80111909</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)756306687</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1014072824</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="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.101</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13</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 330f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Static Analysis</subfield><subfield code="b">18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 201 ; proceedings</subfield><subfield code="c">Eran Yahav (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 385 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">235 mm x 155 mm</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</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">6887</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">2011</subfield><subfield code="z">Venedig</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">Yahav, Eran</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)101513193X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">SAS</subfield><subfield code="n">18</subfield><subfield code="d">2011</subfield><subfield code="c">Venedig</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16181312-4</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="t">Static Analysis</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6887</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6887</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3863681&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=024427955&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024427955</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2011 Venedig gnd-content |
| genre_facet | Konferenzschrift 2011 Venedig |
| id | DE-604.BV039576550 |
| illustrated | Illustrated |
| indexdate | 2024-11-25T17:37:10Z |
| institution | BVB |
| institution_GND | (DE-588)16181312-4 |
| isbn | 9783642237010 3642237010 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024427955 |
| oclc_num | 756306687 |
| open_access_boolean | |
| owner | DE-706 DE-11 DE-91G DE-BY-TUM DE-83 |
| owner_facet | DE-706 DE-11 DE-91G DE-BY-TUM DE-83 |
| physical | XII, 385 S. graph. Darst. 235 mm x 155 mm |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spellingShingle | Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 201 ; 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 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 201 ; proceedings |
| title_auth | Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 201 ; proceedings |
| title_exact_search | Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 201 ; proceedings |
| title_full | Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 201 ; proceedings Eran Yahav (ed.) |
| title_fullStr | Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 201 ; proceedings Eran Yahav (ed.) |
| title_full_unstemmed | Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 201 ; proceedings Eran Yahav (ed.) |
| title_short | Static Analysis |
| title_sort | static analysis 18th international symposium sas 2011 venice italy september 14 16 201 proceedings |
| title_sub | 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 201 ; proceedings |
| topic | Statische Analyse (DE-588)4325372-6 gnd |
| topic_facet | Statische Analyse Konferenzschrift 2011 Venedig |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3863681&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024427955&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT yahaveran staticanalysis18thinternationalsymposiumsas2011veniceitalyseptember1416201proceedings AT sasvenedig staticanalysis18thinternationalsymposiumsas2011veniceitalyseptember1416201proceedings |