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: Programming Languages and Systems
    sub title: 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings
  name:
    name part: Ryu, Sukyoung.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2018
    edition: 1st ed. 2018.
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XI, 437 p. 123 illus. online resource.
  abstract: This book constitutes the proceedings of the 16th Asian Symposium on Programming Languages and Systems, APLAS 2018, held in Wellington, New Zealand, in December 2018. The 22 papers presented in this volume were carefully reviewed and selected from 51 submissions. They are organized in topical sections named: types; program analysis; tools; functional programs and probabilistic programs; verification; logic; and continuation and model checking.
  table of contents: Types -- Program Analysis -- Tools -- Functional Programs and Probabilistic Programs -- Verification -- Logic -- Continuation and Model Checking.
  note: edited by Sukyoung Ryu.
  subject:
    topic: Programming languages (Electronic computers)
  subject:
    topic: Software engineering
  subject:
    topic: Computer programming
  subject:
    topic: Computers
  subject:
    topic: Artificial intelligence
  subject:
    topic: Computer system failures
  subject:
    topic: Programming Languages, Compilers, Interpreters
  subject:
    topic: Software Engineering
  subject:
    topic: Programming Techniques
  subject:
    topic: Theory of Computation
  subject:
    topic: Artificial Intelligence
  subject:
    topic: System Performance and Evaluation
  classification: QA76.7-76.73
  classification: QA76.76.C65
  classification: 005.13
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Programming and Software Engineering ; 11275
  identifier: 9783030027681
  identifier: https://doi.org/10.1007/978-3-030-02768-1
  record info:
    record creation date: 181021
    record change date: 20191027062116.0
    record identifier: 978-3-030-02768-1