Tools

LEADER 03518cam 2200349 a 4500

005 20141212122133.0;

008 960213s1996 gw a b 101 0 eng ;

010 a| 96010638;

020 a| 3540609393 (Berlin : pbk. : acid-free paper);

035 a| (Sirsi) o34283704;

035 a| (OCoLC)34283704;

049 a| EREE;

050 00 a| QA76.63b| .I57 1995;

082 00 a| 005.13/12| 20;

111 2 a| International Workshop on Logic Program Synthesis and Transformationn| (5th :d| 1995 :c| Utrecht, Netherlands)=| ^A1216402;

245 10 a| Logic program synthesis and transformation :b| 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings /c| Maurizio Proietti, ed.;

300 a| x, 266 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 1048;

500 a| "This volume contains the 19 papers presented at the Fifth International Workshop on Logic Program Synthesis and Transformation"--Pref.;

504 a| Includes bibliographical references and index.;

505 0 a| 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 / Christoph Kreitz, Jens Otten, and Stephan Schmitt -- 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 / Robert Glück -- Efficient translation of lazy functional logic programs into Prolog / Michael Hanus.;

650 0 a| Logic programmingv| Congresses.=| ^A205684;

700 1 a| Proietti, Maurizio,d| 1959-=| ^A380088;

830 0 a| Lecture notes in computer sciencev| 1048.=| ^A466336;

596 a| 1;

998 a| 599848;

999 a| QA76.63 .I57 1995w| LCc| 1i| 30372009481448d| 2/13/2013f| 2/13/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 9/12/1996x| BOOKz| JSTACKSo| .STAFF. 0;

Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings / Maurizio Proietti, ed.

Author/creator	International Workshop on Logic Program Synthesis and Transformation
Other author	Proietti, Maurizio, 1959-
Format	Book
Publication Info	Berlin ; New York : Springer, ©1996.
Description	x, 266 pages : illustrations ; 24 cm.
Subjects	Logic programming--Congresses.

Series	Lecture notes in computer science ; 1048 Lecture notes in computer science 1048. ^A466336
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 / Christoph Kreitz, Jens Otten, and Stephan Schmitt -- 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 / Robert Glück -- Efficient translation of lazy functional logic programs into Prolog / Michael Hanus.
General note	"This volume contains the 19 papers presented at the Fifth International Workshop on Logic Program Synthesis and Transformation"--Pref.
Bibliography note	Includes bibliographical references and index.
LCCN	96010638
ISBN	3540609393 (Berlin : pbk. : acid-free paper)

Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings / Maurizio Proietti, ed.

Click here for more information about this title