Logic program synthesis and transformation : 5th International Workshop, LOPSTR’95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 1048Publication details: Berlín : Springer, c1996Edition: 1a edDescription: x, 266 p. : il. ; 24 cmISBN:
  • 3540609393
Subject(s):
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 -- Interpretation Framework for Granularity Analysis / -- M.M. Gallardo and J.M. Troya -- Towards Automatic Control for C L P ( 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 I(reitz, Jens Otten, and Stephan Schmitt -- Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs / -- Kung-Kiu Lau and Mario Ornaghi -- Logic P r o g r a m Synthesis by Induction over Horn Clauses / -- Andrew J. Parkes and Geraint A. Wiggins -- Logic P r o g r a m 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 Norberr E. Fuchs -- Solving Deductive Planning Problems Using Program AnMysis 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 / -- Robert Gliick -- Efficient Translation of Lazy Functional Logic Programs into Prolog / -- Michael Hanus
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)

Incluye referencias bibliográficas e índice.

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 -- Interpretation Framework for Granularity Analysis / -- M.M. Gallardo and J.M. Troya -- Towards Automatic Control for C L P ( 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 I(reitz, Jens Otten, and Stephan Schmitt -- Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs / -- Kung-Kiu Lau and Mario Ornaghi -- Logic P r o g r a m Synthesis by Induction over Horn Clauses / -- Andrew J. Parkes and Geraint A. Wiggins -- Logic P r o g r a m 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 Norberr E. Fuchs -- Solving Deductive Planning Problems Using Program AnMysis 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 / -- Robert Gliick -- Efficient Translation of Lazy Functional Logic Programs into Prolog / -- Michael Hanus

There are no comments on this title.

to post a comment.

Powered by Koha