Verfügbarkeit: Static Analysis

Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 201 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2011
Schriftenreihe:	Lecture notes in computer science 6887
Schlagworte:	Statische Analyse Konferenzschrift > 2011 > Venedig
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	XII, 385 S. graph. Darst. 235 mm x 155 mm
ISBN:	9783642237010 3642237010

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV039576550
003	DE-604
005	20111027
007	t\|
008	110912s2011 xx 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 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

_version_	1820875343613919232
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 xx 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">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	2025-01-10T15:14:08Z
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
spelling	Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 201 ; proceedings Eran Yahav (ed.) Berlin [u.a.] Springer 2011 XII, 385 S. graph. Darst. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6887 Statische Analyse (DE-588)4325372-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Venedig gnd-content Statische Analyse (DE-588)4325372-6 s DE-604 Yahav, Eran Sonstige (DE-588)101513193X oth SAS 18 2011 Venedig Sonstige (DE-588)16181312-4 oth Erscheint auch als Online-Ausgabe Static Analysis Lecture notes in computer science 6887 (DE-604)BV000000607 6887 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3863681&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=024427955&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
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

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Beschreibung

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge