Logic program synthesis and transformation

Título:

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

Autor:

Colaboradores:

Proietti, Maurizio

Temas:

REUNIONES ; PROGRAMACIÓN LÓGICA ; 

Reunión:

 (5th: 1995

Edición:

1a ed.

Serie:

Lecture notes in computer science ; 1048

Descripción física:

x, 266 p. :il. ; 24 cm.

ISBN:

3540609393

Idioma:

Inglés, 

País:

Alemania

Publicación:

Berlín : Springer, c1996

Nota general:

Incluye referencias bibliográficas e índice.

Puede solicitar más fácilmente el ejemplar con: A.0.2 LOP95

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