skip to content
Static analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings Preview this item
ClosePreview this item
Checking...

Static analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

Author: Markus Müller-Olm; Helmut Seidl, (Computer scientist)
Publisher: Cham : Springer, 2014.
Series: Lecture notes in computer science, 8723.; Lecture notes in computer science., Advanced research in computing and software science.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Static Analysis, SAS 2014, held in Munich, Germany, in September 2014. The 20 revised full papers were selected from 53 submissions and are presented together with 3 invited talks. The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis,  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Printed edition:
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Markus Müller-Olm; Helmut Seidl, (Computer scientist)
ISBN: 9783319109367 3319109367
OCLC Number: 890802507
Notes: International conference proceedings.
Description: 1 online resource (xviii, 337 pages) : illustrations.
Contents: Static analysis --
Including abstract interpretation --
Abstract testing --
Bug detection --
Data flow analysis --
Model checking --
Program transformation --
Program verification --
Security analysis.- Type checking.
Series Title: Lecture notes in computer science, 8723.; Lecture notes in computer science., Advanced research in computing and software science.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Other Titles: SAS 2014
Responsibility: Markus Müller-Olm, Helmut Seidl (eds.).

Abstract:

The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/890802507> # Static analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "890802507" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://dewey.info/class/005.1/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2076851344#Topic/software_engineering> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/2076851344#Topic/computer_programming> ; # Computer programming
    schema:alternateName "SAS 2014" ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/2076851344#Meeting/international_static_analysis_symposium_21st_2014_munich_germany> ; # International Static Analysis Symposium (21st : 2014 : Munich, Germany)
    schema:datePublished "2014" ;
    schema:description "This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Static Analysis, SAS 2014, held in Munich, Germany, in September 2014. The 20 revised full papers were selected from 53 submissions and are presented together with 3 invited talks. The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking."@en ;
    schema:description "Static analysis -- Including abstract interpretation -- Abstract testing -- Bug detection -- Data flow analysis -- Model checking -- Program transformation -- Program verification -- Security analysis.- Type checking."@en ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/2076851344#Person/seidl_helmut_computer_scientist> ; # (Computer scientist) Helmut Seidl
    schema:editor <http://experiment.worldcat.org/entity/work/data/2076851344#Person/muller_olm_markus> ; # Markus Müller-Olm
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2076851344> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2076851344#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> ; # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2076851344#Series/advanced_research_in_computing_and_software_science> ; # Advanced research in computing and software science
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2076851344#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2076851344#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/2076851344#CreativeWork/> ;
    schema:name "Static analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings"@en ;
    schema:productID "890802507" ;
    schema:url <https://grinnell.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-10936-7> ;
    schema:url <http://dx.doi.org/10.1007/978-3-319-10936-7> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-10936-7> ;
    schema:workExample <http://worldcat.org/isbn/9783319109367> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/890802507> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2076851344#Meeting/international_static_analysis_symposium_21st_2014_munich_germany> # International Static Analysis Symposium (21st : 2014 : Munich, Germany)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/2076851344#Place/munich_germany> ; # Munich, Germany)
    schema:name "International Static Analysis Symposium (21st : 2014 : Munich, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/2076851344#Person/muller_olm_markus> # Markus Müller-Olm
    a schema:Person ;
    schema:familyName "Müller-Olm" ;
    schema:givenName "Markus" ;
    schema:name "Markus Müller-Olm" ;
    .

<http://experiment.worldcat.org/entity/work/data/2076851344#Person/seidl_helmut_computer_scientist> # (Computer scientist) Helmut Seidl
    a schema:Person ;
    schema:familyName "Seidl" ;
    schema:givenName "Helmut" ;
    schema:name "(Computer scientist) Helmut Seidl" ;
    .

<http://experiment.worldcat.org/entity/work/data/2076851344#Place/munich_germany> # Munich, Germany)
    a schema:Place ;
    schema:name "Munich, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/2076851344#Series/advanced_research_in_computing_and_software_science> # Advanced research in computing and software science
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/890802507> ; # Static analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
    schema:name "Advanced research in computing and software science" ;
    .

<http://experiment.worldcat.org/entity/work/data/2076851344#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/890802507> ; # Static analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
    schema:name "Lecture notes in computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/2076851344#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/890802507> ; # Static analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/2076851344#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/890802507> ; # Static analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
    schema:name "LNCS sublibrary. SL 1, Theoretical computer science and general issues" ;
    .

<http://experiment.worldcat.org/entity/work/data/2076851344#Topic/computer_programming> # Computer programming
    a schema:Intangible ;
    schema:name "Computer programming"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2076851344#Topic/software_engineering> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering"@en ;
    .

<http://worldcat.org/entity/work/data/2076851344#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/890802507> ; # Static analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
    .

<http://worldcat.org/isbn/9783319109367>
    a schema:ProductModel ;
    schema:isbn "3319109367" ;
    schema:isbn "9783319109367" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/890802507> ; # Static analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture Notes in Computer Science," ;
    .

<http://www.worldcat.org/title/-/oclc/890802507>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/890802507> ; # Static analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
    schema:dateModified "2017-11-19" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.