http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Logic program synthesis and transformation
7th international workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997 : proceedings
International Workshop on Logic Program Synthesis and Transformation (1997 : Leuven, Belgium)
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.
Includes bibliographical references and index.