Eintrag weiter verarbeiten
Online-Ressource

Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings

Gespeichert in:

Personen und Körperschaften: Logozzo, Francesco (VerfasserIn), Fähndrich, Manuel (Sonstige)
Titel: Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings/ edited by Francesco Logozzo, Manuel Fähndrich
Format: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg Springer 2013
Gesamtaufnahme: SpringerLink
Lecture notes in computer science ; 7935
Schlagwörter:
Logic design
Computer Science
Computer science
Software engineering
Compilers (Computer programs).
Machine theory.
Computer programming.
Konferenzschrift > 2013 > Seattle, Wash.
Konferenzschrift
Druckausg.: Static analysis, Berlin : Springer, 2013, X, 498 S
Quelle: Verbunddaten SWB
Zugangsinformationen: Elektronischer Volltext - Campuslizenz
LEADER 05317cam a22011292 4500
001 0-1652501290
003 DE-627
005 20240122104926.0
007 cr uuu---uuuuu
008 130705s2013 gw |||||o 00| ||eng c
020 |a 9783642388569  |9 978-3-642-38856-9 
024 7 |a 10.1007/978-3-642-38856-9  |2 doi 
035 |a (DE-627)1652501290 
035 |a (DE-576)38684528X 
035 |a (DE-599)BSZ38684528X 
035 |a (OCoLC)855544106 
035 |a (ZBM)1277.68015 
035 |a (ZBM)1277.68015 
035 |a (DE-He213)978-3-642-38856-9 
035 |a (EBP)040548902 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
044 |c XA-DE  |c XA-DE-BE 
050 0 |a QA76.9.L63  |a QA76.5913  |a QA76.63 
050 0 |a QA76.9.L63 
050 0 |a QA76.5913 
050 0 |a QA76.63 
072 7 |a UM  |2 bicssc 
072 7 |a UYF  |2 bicssc 
072 7 |a COM036000  |2 bisacsh 
072 7 |a COM051000  |2 bisacsh 
072 7 |a UYA  |2 bicssc 
084 |a SS 4800  |q SEPA  |2 rvk  |0 (DE-625)rvk/143528: 
084 |a *68-06  |2 msc 
084 |a 68Nxx  |2 msc 
084 |a 00B25  |2 msc 
084 |a 54.51  |2 bkl 
084 |a 54.10  |2 bkl 
100 1 |a Logozzo, Francesco  |4 aut 
245 1 0 |a Static Analysis  |b 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings  |c edited by Francesco Logozzo, Manuel Fähndrich 
264 1 |a Berlin, Heidelberg  |b Springer  |c 2013 
300 |a Online-Ressource (X, 499 p. 130 illus, digital) 
336 |a Text  |b txt  |2 rdacontent 
337 |a Computermedien  |b c  |2 rdamedia 
338 |a Online-Ressource  |b cr  |2 rdacarrier 
490 1 |a Lecture Notes in Computer Science  |v 7935 
490 0 |a SpringerLink  |a Bücher 
500 |a Literaturangaben 
520 |a 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 
650 0 |a Logic design 
650 0 |a Computer Science 
650 0 |a Computer science 
650 0 |a Software engineering 
650 0 |a Logic design 
650 0 |a Computer science 
650 0 |a Software engineering 
650 0 |a Compilers (Computer programs). 
650 0 |a Machine theory. 
650 0 |a Computer programming. 
655 7 |a Konferenzschrift  |y 2013  |z Seattle, Wash.  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
655 7 |a Konferenzschrift  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
689 0 0 |D s  |0 (DE-588)4325372-6  |0 (DE-627)128784458  |0 (DE-576)211263192  |a Statische Analyse  |2 gnd 
689 0 |5 DE-101 
700 1 |a Fähndrich, Manuel  |4 oth 
776 1 |z 9783642388552 
776 0 8 |i Druckausg.  |t Static analysis  |d Berlin : Springer, 2013  |h X, 498 S  |w (DE-627)746717296  |w (DE-576)394294130  |z 3642388558  |z 9783642388552 
830 0 |a Lecture notes in computer science  |v 7935  |9 7935  |w (DE-627)316228877  |w (DE-576)093890923  |w (DE-600)2018930-8  |x 1611-3349  |7 ns 
856 4 0 |u https://doi.org/10.1007/978-3-642-38856-9  |m X:SPRINGER  |x Verlag  |z lizenzpflichtig  |3 Volltext 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-38856-9  |x Resolving-System  |z lizenzpflichtig  |3 Volltext 
856 4 2 |u https://swbplus.bsz-bw.de/bsz38684528xcov.jpg  |m V:DE-576  |m X:springer  |q image/jpeg  |v 20140212094416  |3 Cover 
856 4 2 |u https://zbmath.org/?q=an:1277.68015  |m B:ZBM  |v 2021-04-12  |x Verlag  |y Zentralblatt MATH  |3 Inhaltstext 
889 |w (DE-627)751297259 
912 |a ZDB-2-LNC  |b 2013 
912 |a ZDB-2-SCS  |b 2013 
912 |a ZDB-2-SEB 
912 |a ZDB-2-SXCS  |b 2013 
912 |a ZDB-2-SEB  |b 2013 
935 |h GBV  |i ExPruef 
936 r v |a SS 4800  |b Lecture notes in computer science  |k Informatik  |k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen  |k Schriftenreihen (indiv. Sign.)  |k Lecture notes in computer science  |0 (DE-627)1271461242  |0 (DE-625)rvk/143528:  |0 (DE-576)201461242 
936 b k |a 54.51  |j Programmiermethodik  |q SEPA  |0 (DE-627)106418122 
936 b k |a 54.10  |j Theoretische Informatik  |q SEPA  |0 (DE-627)106418815 
951 |a BO 
950 |a Static program analysis 
950 |a Statische Code-Analyse 
950 |a Programmanalyse 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-38856-9  |9 DE-14 
852 |a DE-14  |x epn:3360509382  |z 2013-07-05T09:11:40Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-38856-9  |9 DE-15 
852 |a DE-15  |x epn:3360509412  |z 2013-07-05T09:11:40Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-38856-9  |9 DE-Ch1 
852 |a DE-Ch1  |x epn:3360509455  |z 2013-07-05T09:11:40Z 
976 |h Elektronischer Volltext - Campuslizenz 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-38856-9  |z Zum Online-Dokument  |9 DE-Zi4 
852 |a DE-Zi4  |x epn:336050948X  |z 2013-07-05T09:11:40Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-38856-9  |9 DE-520 
852 |a DE-520  |x epn:336050951X  |z 2013-07-05T09:11:40Z 
980 |a 1652501290  |b 0  |k 1652501290  |o 38684528X 
openURL url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=Static+Analysis%3A+20th+International+Symposium%2C+SAS+2013%2C+Seattle%2C+WA%2C+USA%2C+June+20-22%2C+2013.+Proceedings&rft.date=2013&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Static+Analysis%3A+20th+International+Symposium%2C+SAS+2013%2C+Seattle%2C+WA%2C+USA%2C+June+20-22%2C+2013.+Proceedings&rft.series=Lecture+notes+in+computer+science%2C+7935&rft.au=Logozzo%2C+Francesco&rft.pub=Springer&rft.edition=&rft.isbn=3642388566
SOLR
_version_ 1792258612982185984
access_facet Electronic Resources
author Logozzo, Francesco
author2 Fähndrich, Manuel
author2_role oth
author2_variant m f mf
author_facet Logozzo, Francesco, Fähndrich, Manuel
author_role aut
author_sort Logozzo, Francesco
author_variant f l fl
callnumber-first Q - Science
callnumber-label QA76
callnumber-raw QA76.9.L63 QA76.5913 QA76.63, QA76.9.L63, QA76.5913, QA76.63
callnumber-search QA76.9.L63 QA76.5913 QA76.63, QA76.9.L63, QA76.5913, QA76.63
callnumber-sort QA 276.9 L63 Q A76 45913 Q A76 263
callnumber-subject QA - Mathematics
collection ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
contents 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
ctrlnum (DE-627)1652501290, (DE-576)38684528X, (DE-599)BSZ38684528X, (OCoLC)855544106, (ZBM)1277.68015, (DE-He213)978-3-642-38856-9, (EBP)040548902
de15_date 2013-07-05T09:11:40Z
dech1_date 2013-07-05T09:11:40Z
doi_str_mv 10.1007/978-3-642-38856-9
era_facet 2013
facet_912a ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
facet_avail Online
facet_local_del330 Statische Analyse
finc_class_facet Informatik, Mathematik
fincclass_txtF_mv science-computerscience
footnote Literaturangaben
format eBook, ConferenceProceedings
format_access_txtF_mv Book, E-Book
format_de105 Ebook
format_de14 Book, E-Book
format_de15 Book, E-Book
format_del152 Buch
format_detail_txtF_mv text-online-monograph-independent
format_dezi4 e-Book
format_finc Book, E-Book
format_legacy ElectronicBook
format_legacy_nrw Book, E-Book
format_nrw Book, E-Book
format_strict_txtF_mv E-Book
genre Konferenzschrift 2013 Seattle, Wash. (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content
genre_facet Konferenzschrift
geogr_code not assigned
geogr_code_person not assigned
geographic_facet Seattle, Wash.
hierarchy_parent_id 0-316228877
hierarchy_parent_title Lecture notes in computer science
hierarchy_sequence 7935
hierarchy_top_id 0-316228877
hierarchy_top_title Lecture notes in computer science
id 0-1652501290
illustrated Not Illustrated
imprint Berlin, Heidelberg, Springer, 2013
imprint_str_mv Berlin, Heidelberg: Springer, 2013
institution DE-14, DE-Zi4, DE-Ch1, DE-520, DE-15
is_hierarchy_id 0-1652501290
is_hierarchy_title Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings
isbn 9783642388569
isbn_isn_mv 9783642388552, 3642388558
issn_isn_mv 1611-3349
kxp_id_str 1652501290
language English
last_indexed 2024-02-29T18:23:25.127Z
local_heading_facet_dezwi2 Logic design, Computer Science, Computer science, Software engineering, Compilers (Computer programs)., Machine theory., Computer programming., Statische Analyse
marc024a_ct_mv 10.1007/978-3-642-38856-9
match_str logozzo2013staticanalysis20thinternationalsymposiumsas2013seattlewausajune20222013proceedings
mega_collection Verbunddaten SWB
multipart_link 093890923
multipart_part (093890923)7935
oclc_num 855544106
physical Online-Ressource (X, 499 p. 130 illus, digital)
publishDate 2013
publishDateSort 2013
publishPlace Berlin, Heidelberg
publisher Springer
record_format marcfinc
record_id 38684528X
recordtype marcfinc
rsn_id_str_mv (DE-15)3231568
rvk_facet SS 4800
rvk_label Informatik, Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen, Schriftenreihen (indiv. Sign.), Lecture notes in computer science
rvk_path SS, SQ - SU, SS 4000 - SS 5999, SS 4800
rvk_path_str_mv SS, SQ - SU, SS 4000 - SS 5999, SS 4800
series Lecture notes in computer science, 7935
series2 Lecture Notes in Computer Science ; 7935, SpringerLink ; Bücher
source_id 0
spelling Logozzo, Francesco aut, Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings edited by Francesco Logozzo, Manuel Fähndrich, Berlin, Heidelberg Springer 2013, Online-Ressource (X, 499 p. 130 illus, digital), Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture Notes in Computer Science 7935, SpringerLink Bücher, Literaturangaben, 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, Logic design, Computer Science, Computer science, Software engineering, Compilers (Computer programs)., Machine theory., Computer programming., Konferenzschrift 2013 Seattle, Wash. (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, s (DE-588)4325372-6 (DE-627)128784458 (DE-576)211263192 Statische Analyse gnd, DE-101, Fähndrich, Manuel oth, 9783642388552, Druckausg. Static analysis Berlin : Springer, 2013 X, 498 S (DE-627)746717296 (DE-576)394294130 3642388558 9783642388552, Lecture notes in computer science 7935 7935 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, https://doi.org/10.1007/978-3-642-38856-9 X:SPRINGER Verlag lizenzpflichtig Volltext, http://dx.doi.org/10.1007/978-3-642-38856-9 Resolving-System lizenzpflichtig Volltext, https://swbplus.bsz-bw.de/bsz38684528xcov.jpg V:DE-576 X:springer image/jpeg 20140212094416 Cover, https://zbmath.org/?q=an:1277.68015 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext, (DE-627)751297259, http://dx.doi.org/10.1007/978-3-642-38856-9 DE-14, DE-14 epn:3360509382 2013-07-05T09:11:40Z, http://dx.doi.org/10.1007/978-3-642-38856-9 DE-15, DE-15 epn:3360509412 2013-07-05T09:11:40Z, http://dx.doi.org/10.1007/978-3-642-38856-9 DE-Ch1, DE-Ch1 epn:3360509455 2013-07-05T09:11:40Z, http://dx.doi.org/10.1007/978-3-642-38856-9 Zum Online-Dokument DE-Zi4, DE-Zi4 epn:336050948X 2013-07-05T09:11:40Z, http://dx.doi.org/10.1007/978-3-642-38856-9 DE-520, DE-520 epn:336050951X 2013-07-05T09:11:40Z
spellingShingle Logozzo, Francesco, Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings, Lecture notes in computer science, 7935, 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, Logic design, Computer Science, Computer science, Software engineering, Compilers (Computer programs)., Machine theory., Computer programming., Konferenzschrift 2013 Seattle, Wash., Konferenzschrift, Statische Analyse
swb_id_str 38684528X
title Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings
title_auth Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings
title_full Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings edited by Francesco Logozzo, Manuel Fähndrich
title_fullStr Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings edited by Francesco Logozzo, Manuel Fähndrich
title_full_unstemmed Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings edited by Francesco Logozzo, Manuel Fähndrich
title_in_hierarchy 7935. Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings (2013)
title_short Static Analysis
title_sort static analysis 20th international symposium sas 2013 seattle wa usa june 20 22 2013 proceedings
title_sub 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings
title_unstemmed Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings
topic Logic design, Computer Science, Computer science, Software engineering, Compilers (Computer programs)., Machine theory., Computer programming., Konferenzschrift 2013 Seattle, Wash., Konferenzschrift, Statische Analyse
topic_facet Logic design, Computer Science, Computer science, Software engineering, Compilers (Computer programs)., Machine theory., Computer programming., Konferenzschrift, Statische Analyse
url https://doi.org/10.1007/978-3-642-38856-9, http://dx.doi.org/10.1007/978-3-642-38856-9, https://swbplus.bsz-bw.de/bsz38684528xcov.jpg, https://zbmath.org/?q=an:1277.68015