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: Functional and Constraint Logic Programming
    sub title: 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
  name:
    name part: Mariño, Julio.
    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: IX, 175 p. online resource.
  abstract: This book contains a selection of the papers presented at the 19th International Workshop on Functional and Constraint Logic Programming, WFLP 2010, held in Madrid, Spain, in January 2010, as part of the ACM-SIGPLAN Principles of Programming Languages event, POPL 2010. From the 15 papers submitted, 12 were accepted for presentation at the workshop. The 8 regular papers presented in this volume were selected following a second round of reviewing, which took place after the event. They are complemented by a full-length invited talk by the workshop’s guest speaker, Mariangiola Dezani-Ciancaglini. All current issues in the areas of functional and constraint logic programming are covered including foundational aspects, language design, implementation, transformation and analysis, software engineering, integration of paradigms, and applications.
  note: edited by Julio Mariño.
  subject:
    topic: Computer science
  subject:
    topic: Programming languages (Electronic computers)
  subject:
    topic: Computer logic
  subject:
    topic: Mathematical logic
  subject:
    topic: Computer science
    topic: Mathematics
  subject:
    topic: Artificial intelligence
  subject:
    topic: Computer Science
  subject:
    topic: Logics and Meanings of Programs
  subject:
    topic: Mathematical Logic and Formal Languages
  subject:
    topic: Programming Languages, Compilers, Interpreters
  subject:
    topic: Artificial Intelligence (incl. Robotics)
  subject:
    topic: Symbolic and Algebraic Manipulation
  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, 6559
  identifier: 9783642207754
  identifier: http://dx.doi.org/10.1007/978-3-642-20775-4
  record info:
    record creation date: 110521
    record change date: 20170112074137.0
    record identifier: 978-3-642-20775-4