Static analysis: 17th international symposium, SAS 2010, Perpignan, France, September 14 - 16, 2010 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2010
|
| Schriftenreihe: | Lecture notes in computer science
6337 : Advanced research in computing and software science |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XI, 471 S. Ill., graph. Darst. 24 cm |
| ISBN: | 9783642157684 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036677038 | ||
| 003 | DE-604 | ||
| 005 | 20111026 | ||
| 007 | t| | ||
| 008 | 100920s2010 xx ad|| |||| 10||| eng d | ||
| 015 | |a 10,N32 |2 dnb | ||
| 016 | 7 | |a 100545454X |2 DE-101 | |
| 020 | |a 9783642157684 |c kart. : EUR 66.34 (freier Pr.), ca. sfr 89.00 (freier Pr.) |9 978-3-642-15768-4 | ||
| 024 | 3 | |a 9783642157684 | |
| 028 | 5 | 2 | |a 80022143 |
| 035 | |a (OCoLC)666964598 | ||
| 035 | |a (DE-599)DNB100545454X | ||
| 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.13 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 330f |2 stub | ||
| 245 | 1 | 0 | |a Static analysis |b 17th international symposium, SAS 2010, Perpignan, France, September 14 - 16, 2010 ; proceedings |c Radhia Cousot ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a XI, 471 S. |b Ill., graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 6337 : Advanced research in computing and software science | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Datenfluss |0 (DE-588)4191571-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Codeoptimierung |0 (DE-588)4010348-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwaretest |0 (DE-588)4132652-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Bug |g Informatik |0 (DE-588)4238603-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kontrollfluss |0 (DE-588)4131769-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Abstrakte Interpretation |0 (DE-588)4621153-6 |2 gnd |9 rswk-swf |
| 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 2010 |z Perpignan |2 gnd-content | |
| 689 | 0 | 0 | |a Statische Analyse |0 (DE-588)4325372-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Statische Analyse |0 (DE-588)4325372-6 |D s |
| 689 | 1 | 1 | |a Bug |g Informatik |0 (DE-588)4238603-2 |D s |
| 689 | 1 | 2 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Statische Analyse |0 (DE-588)4325372-6 |D s |
| 689 | 2 | 1 | |a Codeoptimierung |0 (DE-588)4010348-1 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Abstrakte Interpretation |0 (DE-588)4621153-6 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Statische Analyse |0 (DE-588)4325372-6 |D s |
| 689 | 4 | 1 | |a Datenfluss |0 (DE-588)4191571-9 |D s |
| 689 | 4 | 2 | |a Kontrollfluss |0 (DE-588)4131769-5 |D s |
| 689 | 4 | |5 DE-604 | |
| 700 | 1 | |a Cousot, Radhia |e Sonstige |4 oth | |
| 711 | 2 | |a SAS |n 17 |d 2010 |c Perpignan |j Sonstige |0 (DE-588)16082417-5 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6337 : Advanced research in computing and software science |w (DE-604)BV000000607 |9 6337 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3521302&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=020595995&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020595995 | |
Datensatz im Suchindex
| _version_ | 1820875265773928448 |
|---|---|
| adam_text |
TABLE OF CONTENTS TIME OF TIME (INVITED TALK) 1 E. ALLEN EMERSON STATIC
VERIFICATION FOR CODE CONTRACTS (INVITED TALK) 2 MANUEL FAEHNDRICH
TRANSLATION VALIDATION OF LOOP OPTIMIZATIONS AND SOFTWARE PIPELINING IN
THE TVOC FRAMEWORK: IN MEMORY OF AMIR PNUELI (INVITED TALK) . 6
BENJAMIN GOLDBERG SIZE-CHANGE TERMINATION AND TRANSITION INVARIANTS
(INVITED TALK) 22 MATTHIAS HEIZMANN, NEIL D. JONES, AND ANDREAS PODELSKI
USING STATIC ANALYSIS IN SPACE: WHY DOING SO? (INVITED TALK) 51 DAVID
LESENS STATICALLY INFERRING COMPLEX HEAP, ARRAY, AND NUMERIC INVARIANTS
(INVITED TALK) 71 BILL MCCLOSKEY, THOMAS REPS, AND MOOLY SAGIV FROM
OBJECT FIELDS TO LOCAL VARIABLES: A PRACTICAL APPROACH TO
FIELD-SENSITIVE ANALYSIS 100 ELVIRA ALBERT, PURI ARENAS, SAMIR GENAIM,
GERMAN PUEBLA, AND DIANA VANESSA RAMIREZ DEANTES MULTI-DIMENSIONAL
RANKINGS, PROGRAM TERMINATION, AND COMPLEXITY BOUNDS OF FLOWCHART
PROGRAMS 117 CHRISTOPHE ALIAS, ALAIN DARTE, PAUL FEAUTRIER, AND LAURE
GONNORD DERIVING NUMERICAL ABSTRACT DOMAINS VIA PRINCIPAL COMPONENT
ANALYSIS 134 GIANLUCA AMATO, MAURIZIO PARTON, AND FRANCESCA SCOZZARI
CONCURRENT SEPARATION LOGIC FOR PIPELINED PARALLELIZATION 151 CHRISTIAN
J. BELL, ANDREW W. APPEL, AND DAVID WALKER AUTOMATI BIBLIOGRAFISCHE
INFORMATIONEN HTTP://D-NB.INFO/100545454X DIGITALISIERT DURCH X TABLE OF
CONTENTS MODELLING METAMORPHISM BY ABSTRACT INTERPRETATION 218 MILA
DALLA PREDA, ROBERTO GIACOBAZZI, SAUMYA DEBRAY, KEVIN COOGAN, AND GREGG
M. TOWNSEND SMALL FORMULAS FOR LARGE PROGRAMS: ON-LINE CONSTRAINT
SIMPLIFICATION IN SCALABLE STATIC ANALYSIS 236 ISIL DILLIG, THOMAS
DILLIG, AND ALEX AIKEN COMPOSITIONAL BITVECTOR ANALYSIS FOR CONCURRENT
PROGRAMS WITH NESTED LOCKS 253 AZADEH FARZAN AND ZACHARY KINCAID
COMPUTING RELAXED ABSTRACT SEMANTICS W.R.T. QUADRATIC ZONES PRECISELY
271 THOMAS MARTIN GAWLITZA AND HELMUT SEIDL BOXES: A SYMBOLIC ABSTRACT
DOMAIN OF BOXES 287 ARIE GURFINKEL AND SAGAR CHAKI ALTERNATION FOR
TERMINATION 304 WILLIAM R. HARRIS, AKASH LAI, ADITYA V. NORI, AND SRIRAM
K. RAJAMANI INTERPROCEDURAL ANALYSIS WITH LAZY PROPAGATION 320 SIMON
HOLM JENSEN, ANDERS M0LLER, AND PETER THIEMANN VERIFYING A LOCAL GENERIC
SOLVER IN COQ 340 MARTIN HOFMANN, ALEKSANDR KARBYSHEV, AND HELMUT SEIDL
THREAD-MODULAR COUNTEREXAMPLE-GUIDED ABSTRACTION REFINEMENT 356
ALEXANDER MALKIS, ANDREAS PODELSKI, AND ANDREY RYBALCHENKO GENERATING
INVARIANTS FOR NON-LINEAR HYBRID SYSTEMS BY LINEAR ALGEBRAIC METHODS 373
NADIR MATRINGE, ARNALDO VIEIRA MOURA, AND RACHID REBIHA LINEAR-INVARIANT
GENERATION FOR PROBABILISTIC PROGRAMS: AUTOMATED SUPPOR TABLE OF
CONTENTS XI STRICTNESS MEETS DATA FLOW 439 TOM SCHRIJVERS AND ALAN
MYCROFT AUTOMATIC VERIFICATION OF DETERMINISM FOR STRUCTURED PARALLEL
PROGRAMS 455 MARTIN VECHEV, ERAN YAHAV, RAGHAVAN RAMAN, AND VIVEK SARKAR
AUTHOR INDEX 473 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV036677038 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 330f |
| ctrlnum | (OCoLC)666964598 (DE-599)DNB100545454X |
| dewey-full | 005.13 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13 |
| dewey-search | 005.13 |
| dewey-sort | 15.13 |
| 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">BV036677038</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20111026</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100920s2010 xx ad|| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N32</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">100545454X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642157684</subfield><subfield code="c">kart. : EUR 66.34 (freier Pr.), ca. sfr 89.00 (freier Pr.)</subfield><subfield code="9">978-3-642-15768-4</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642157684</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80022143</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)666964598</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB100545454X</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.13</subfield><subfield code="2">22/ger</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="245" ind1="1" ind2="0"><subfield code="a">Static analysis</subfield><subfield code="b">17th international symposium, SAS 2010, Perpignan, France, September 14 - 16, 2010 ; proceedings</subfield><subfield code="c">Radhia Cousot ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 471 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield><subfield code="c">24 cm</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">6337 : Advanced research in computing and software science</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenfluss</subfield><subfield code="0">(DE-588)4191571-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Codeoptimierung</subfield><subfield code="0">(DE-588)4010348-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Bug</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4238603-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kontrollfluss</subfield><subfield code="0">(DE-588)4131769-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Abstrakte Interpretation</subfield><subfield code="0">(DE-588)4621153-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">2010</subfield><subfield code="z">Perpignan</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="689" ind1="1" 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="1" ind2="1"><subfield code="a">Bug</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4238603-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2="1"><subfield code="a">Codeoptimierung</subfield><subfield code="0">(DE-588)4010348-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Abstrakte Interpretation</subfield><subfield code="0">(DE-588)4621153-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" 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="4" ind2="1"><subfield code="a">Datenfluss</subfield><subfield code="0">(DE-588)4191571-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2="2"><subfield code="a">Kontrollfluss</subfield><subfield code="0">(DE-588)4131769-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cousot, Radhia</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">SAS</subfield><subfield code="n">17</subfield><subfield code="d">2010</subfield><subfield code="c">Perpignan</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16082417-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6337 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6337</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=3521302&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=020595995&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-020595995</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 Perpignan gnd-content |
| genre_facet | Konferenzschrift 2010 Perpignan |
| id | DE-604.BV036677038 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:12:53Z |
| institution | BVB |
| institution_GND | (DE-588)16082417-5 |
| isbn | 9783642157684 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020595995 |
| oclc_num | 666964598 |
| 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 | XI, 471 S. Ill., graph. Darst. 24 cm |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Static analysis 17th international symposium, SAS 2010, Perpignan, France, September 14 - 16, 2010 ; proceedings Radhia Cousot ... (eds.) Berlin [u.a.] Springer 2010 XI, 471 S. Ill., graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6337 : Advanced research in computing and software science Literaturangaben Datenfluss (DE-588)4191571-9 gnd rswk-swf Codeoptimierung (DE-588)4010348-1 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf Bug Informatik (DE-588)4238603-2 gnd rswk-swf Kontrollfluss (DE-588)4131769-5 gnd rswk-swf Abstrakte Interpretation (DE-588)4621153-6 gnd rswk-swf Statische Analyse (DE-588)4325372-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Perpignan gnd-content Statische Analyse (DE-588)4325372-6 s DE-604 Bug Informatik (DE-588)4238603-2 s Softwaretest (DE-588)4132652-0 s Codeoptimierung (DE-588)4010348-1 s Abstrakte Interpretation (DE-588)4621153-6 s Datenfluss (DE-588)4191571-9 s Kontrollfluss (DE-588)4131769-5 s Cousot, Radhia Sonstige oth SAS 17 2010 Perpignan Sonstige (DE-588)16082417-5 oth Lecture notes in computer science 6337 : Advanced research in computing and software science (DE-604)BV000000607 6337 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3521302&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020595995&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Static analysis 17th international symposium, SAS 2010, Perpignan, France, September 14 - 16, 2010 ; proceedings Lecture notes in computer science Datenfluss (DE-588)4191571-9 gnd Codeoptimierung (DE-588)4010348-1 gnd Softwaretest (DE-588)4132652-0 gnd Bug Informatik (DE-588)4238603-2 gnd Kontrollfluss (DE-588)4131769-5 gnd Abstrakte Interpretation (DE-588)4621153-6 gnd Statische Analyse (DE-588)4325372-6 gnd |
| subject_GND | (DE-588)4191571-9 (DE-588)4010348-1 (DE-588)4132652-0 (DE-588)4238603-2 (DE-588)4131769-5 (DE-588)4621153-6 (DE-588)4325372-6 (DE-588)1071861417 |
| title | Static analysis 17th international symposium, SAS 2010, Perpignan, France, September 14 - 16, 2010 ; proceedings |
| title_auth | Static analysis 17th international symposium, SAS 2010, Perpignan, France, September 14 - 16, 2010 ; proceedings |
| title_exact_search | Static analysis 17th international symposium, SAS 2010, Perpignan, France, September 14 - 16, 2010 ; proceedings |
| title_full | Static analysis 17th international symposium, SAS 2010, Perpignan, France, September 14 - 16, 2010 ; proceedings Radhia Cousot ... (eds.) |
| title_fullStr | Static analysis 17th international symposium, SAS 2010, Perpignan, France, September 14 - 16, 2010 ; proceedings Radhia Cousot ... (eds.) |
| title_full_unstemmed | Static analysis 17th international symposium, SAS 2010, Perpignan, France, September 14 - 16, 2010 ; proceedings Radhia Cousot ... (eds.) |
| title_short | Static analysis |
| title_sort | static analysis 17th international symposium sas 2010 perpignan france september 14 16 2010 proceedings |
| title_sub | 17th international symposium, SAS 2010, Perpignan, France, September 14 - 16, 2010 ; proceedings |
| topic | Datenfluss (DE-588)4191571-9 gnd Codeoptimierung (DE-588)4010348-1 gnd Softwaretest (DE-588)4132652-0 gnd Bug Informatik (DE-588)4238603-2 gnd Kontrollfluss (DE-588)4131769-5 gnd Abstrakte Interpretation (DE-588)4621153-6 gnd Statische Analyse (DE-588)4325372-6 gnd |
| topic_facet | Datenfluss Codeoptimierung Softwaretest Bug Informatik Kontrollfluss Abstrakte Interpretation Statische Analyse Konferenzschrift 2010 Perpignan |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3521302&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=020595995&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT cousotradhia staticanalysis17thinternationalsymposiumsas2010perpignanfranceseptember14162010proceedings AT sasperpignan staticanalysis17thinternationalsymposiumsas2010perpignanfranceseptember14162010proceedings |