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: 7th international workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997 : proceedings
  name:
    name part: International Workshop on Logic Program Synthesis and Transformation (1997 : Leuven, Belgium)
    role:
      role term: creator
  name:
    name part: Fuchs, N. E. (Norbert E.)
  type of resource: text
  genre: bibliography
  origin info:
    place:
      place term: gw
    date issued: 1998
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: print
    extent: x, 342 pages : illustrations ; 24 cm.
  table of contents: A multi-level approach to program synthesis / W. Bibel ... [et al.] -- Programs without failures / A. Bossi, N. Cocco -- Generalised logic program transformation schemas / H. Büyükyildiz, P. Flener -- Logic program schemas, constraints and semi-unification / E. Chasseur, Y. Deville -- Implicit program synthesis by a reversible metainterpreter / H. Christiansen -- Termination analysis for tabled logic programming / S. Decorte ... [et al.] -- On correct program schemas / P. Flener, K.-K. Lau, M. Ornaghi -- Analysis of logic programs with delay / A. Heaton, P. Hill, A. King -- Constraint-based partial evaluation of rewriting-based functional logic programs / L. Lafave, J.P. Gallagher -- Preserving termination of tabled logic programs while unfolding / M. Leuschel, B. Martens, K. Sagonas -- Unfolding the mystery of Mergesort / N. Lindenstrauss, Y. Sagiv, A. Serebrenik -- Towards a logic for reasoning about logic programs transformation / A. Momigliano, M. Ornaghi -- A higher order reconstruction of stepwise enhancement / L. Naish, L. Sterling -- Development of correct transformation schemata for prolog programs / J. Richardson, N.E. Fuchs -- Constrained regular approximation of logic programs / H. Saglam, J.P. Gallagher -- A logic framework for the incremental inductive synthesis of datalog theories / G. Semeraro ... [et al.] -- To parse or not to parse / W. Vanhoof, B. Martens.
  note: Norbert E. Fuchs (ed.).
  note: Includes bibliographical references and index.
  subject:
    topic: Logic programming
    genre: Congresses
  classification: QA76.63 .I57 1997
  classification: 005.1/15
  related item:
    title info:
      title: Lecture notes in computer science. 1463
  identifier: 3540650741 (softcover : alk. paper)
  identifier: 98042183
  record info:
    record content source: DLC
    record creation date: 980819
    record change date: 20151021062000.0
    record identifier: in00001475933