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 Program Synthesis and Transformation
    sub title: Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993
  name:
    name part: Deville, Yves.
    role:
      role term: creator
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: Electronic books.
  origin info:
    place:
      place term: enk
    date issued: 1994
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (XII, 245 pages)
  abstract: This volume contains the papers from the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR 93), held in Louvain-la-Neuve, Belgium, from 7-9 July 1993. Logic program synthesis and transformation play a vital role in the automation of the software production process, and the LOPSTR workshops are currently the only international meetings devoted to these important areas of research. LOPSTR 93 provided an opportunity for the presentation of new research (including work in progress), and also for the discussion of new trends in logic program development and other related areas. Many of the techniques described promise to revolutionise the software industry once they become standard practice. Logic Program Synthesis and Transformation provides a comprehensive overview of the latest advances in automatic program development. It will be of interest to researchers and postgraduate students alike.
  note: edited by Yves Deville.
  note: Electronic resource.
  subject:
    topic: Computer science
  subject:
    topic: Logic design
  subject:
    topic: Computer science
  subject:
    topic: Logic design
  classification: QA76.6-76.66
  classification: 005.11
  related item:
    title info:
      title: Workshops in computing
  identifier: 9781447132349 (electronic bk.)
  identifier: 1447132343 (electronic bk.)
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: I9W
    record creation date: 121227
    record change date: 20260422222908.6
    record identifier: in00003546151
    language of cataloging:
      language term: eng