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: 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings
  title info:
    title: LOPSTR '95
  name:
    name part: International Workshop on Logic Program Synthesis and Transformation 1995 : Utrecht, Netherlands)
    role:
      role term: creator
  name:
    name part: Proietti, Maurizio
    name part: 1959-
  type of resource: text
  genre: conference publication
  origin info:
    place:
      place term: gw
    place:
      place term: Berlin
    place:
      place term: New York
    publisher: Springer
    date issued: c1996
    date issued: 1996
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: print
    extent: x, 266 p. : ill. ; 24 cm.
  table of contents: Ecological Partial Deduction: Preserving Characteristic Trees Without Constraints / Michael Leuschel -- Memoing Evaluation by Source-to-Source Transformation / Jens E. Wunderwald -- Transformation of Left Terminating Programs: The Reordering Problem / Annalisa Bossi, Nicoletta Cocco and Sandro Etalle -- Derivation of Concurrent Algorithms in Tempo / Steve Gregory -- An Argumentation-Theoretic Approach to Logic Program Transformation / Francesca Toni and Robert A. Kowalski -- Complexity of Horn Programs / Erik Aarts -- Studying the Cost of Logic Languages in an Abstract Interpretation Framework for Granularity Analysis / M. M. Gallardo and J. M. Troya -- Towards Automatic Control for CLP(x) Programs / Fred Mesnard -- Ideal Refinement of Datalog Programs / Giovanni Semeraro, Floriana Esposito and Donato Malerba -- Guiding Program Development Systems by a Connection Based Proof Strategy / Cristoph Kreitz, Jens Otten and Stephan Schmitt.
  table of contents: Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs / Kung-Kiu Lau and Mario Ornaghi -- Logic Program Synthesis by Induction over Horn Clauses / Andrew J. Parkes and Geraint A. Wiggins -- Logic Program Transformation Through Generalization Schemata / Pierre Flener and Yves Deville -- An Opportunistic Approach for Logic Program Analysis and Optimisation Using Enhanced Schema-Based Transformations / Wamberto W. Vasconcelos and Norbert E. Fuchs -- Solving Deductive Planning Problems Using Program Analysis and Transformation / D. A. de Waal and M. Thielscher -- Towards a Complete Proof Procedure to Prove Properties of Normal Logic Programs Under the Completion / Sophie Renault -- Termination of Logic Programs Using Semantic Unification / Thomas Arts and Hans Zantema -- On the Mechanics of Metasystem Hierarchies in Program Transformation.
  note: Maurizio Proietti, ed.
  note: "This volume contains the 19 papers presented at the Fifth International Workshop on Logic Program Synthesis and Transformation"--Pref.
  note: Includes bibliographical references and index.
  subject:
    topic: Logic programming
    topic: Congresses
  classification: QA76.63 .I57 1996
  classification: QA76.63 .I57 1995
  classification: 005.13/1
  related item:
    title info:
      title: Lecture notes in computer science ; 1048
  identifier: 3540609393
  identifier: 96010638
  location:
    physical location: CARM
  record info:
    record content source: DLC
    record creation date: 960213
    record change date: 20001101153334.0
    record identifier: c000175379
    language of cataloging:
      language term: eng