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: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
  name:
    name part: Miné, Antoine.
    role:
      role term: editor.
  name:
    name part: Schmidt, David.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2012
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XI, 457 p. 153 illus. online resource.
  abstract: This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 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.
  table of contents: Static analysis -- Including abstract domains -- Abstract interpretation -- Abstract testing -- Data flow analysis -- Bug detection -- Program transformation -- Program verification -- Security analysis and type checking.
  note: edited by Antoine Miné, David Schmidt.
  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, 7460
  identifier: 9783642331251
  identifier: http://dx.doi.org/10.1007/978-3-642-33125-1
  record info:
    record creation date: 120829
    record change date: 20151030081312.0
    record identifier: 978-3-642-33125-1