rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Static Analysis
    sub title: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
  name:
    name part: Müller-Olm, Markus.
    role:
      role term: editor.
  name:
    name part: Seidl, Helmut.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2014
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XVIII, 337 p. 97 illus. online resource.
  abstract: 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.
  table of contents: Static analysis -- Including abstract interpretation -- Abstract testing -- Bug detection -- Data flow analysis -- Model checking -- Program transformation -- Program verification -- Security analysis.- Type checking.
  note: edited by Markus Müller-Olm, Helmut Seidl.
  subject:
    topic: Computer science
  subject:
    topic: Software engineering
  subject:
    topic: Programming languages (Electronic computers)
  subject:
    topic: Computer logic
  subject:
    topic: Mathematical logic
  subject:
    topic: Computer Science
  subject:
    topic: Logics and Meanings of Programs
  subject:
    topic: Software Engineering
  subject:
    topic: Programming Languages, Compilers, Interpreters
  subject:
    topic: Mathematical Logic and Formal Languages
  classification: QA76.9.L63
  classification: QA76.5913
  classification: QA76.63
  classification: 005.1015113
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 8723
  identifier: 9783319109367
  identifier: http://dx.doi.org/10.1007/978-3-319-10936-7
  record info:
    record creation date: 140906
    record change date: 20151123194745.0
    record identifier: 978-3-319-10936-7