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: Logic-Based Program Synthesis and Transformation
    sub title: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
  name:
    name part: Alpuente, María.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2011
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: X, 249 p. online resource.
  abstract: This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010. The 13 revised full papers presented together with two invited papers were carefully reviewed and selected from 26 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, application and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
  note: edited by María Alpuente.
  subject:
    topic: Computer science
  subject:
    topic: Computer programming
  subject:
    topic: Software engineering
  subject:
    topic: Computer logic
  subject:
    topic: Artificial intelligence
  subject:
    topic: Algorithms
  subject:
    topic: Computer Science
  subject:
    topic: Software Engineering
  subject:
    topic: Programming Techniques
  subject:
    topic: Logics and Meanings of Programs
  subject:
    topic: Artificial Intelligence (incl. Robotics)
  subject:
    topic: Algorithms
  classification: QA76.758
  classification: 005.1
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 6564
  identifier: 9783642205514
  identifier: http://dx.doi.org/10.1007/978-3-642-20551-4
  record info:
    record creation date: 110420
    record change date: 20170107144120.0
    record identifier: 978-3-642-20551-4