Tools

LEADER 02926cam 2200385 a 4500

001 ocm39733429;

003 OCoLC;

005 20141212131320.0;

008 980819s1998 gw a b 001 0 eng ;

010 a| 98042183;

020 a| 3540650741 (softcover : alk. paper);

035 a| (Sirsi) o39733429;

035 a| (OCoLC)39733429;

049 a| EREE;

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

072 7 a| QA2| lcco;

082 00 a| 005.1/152| 21;

111 2 a| International Workshop on Logic Program Synthesis and Transformationd| (1997 :c| Leuven, Belgium)?| UNAUTHORIZED;

245 10 a| Logic program synthesis and transformation :b| 7th international workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997 : proceedings /c| Norbert E. Fuchs (ed.).;

300 a| x, 342 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| 1463;

504 a| Includes bibliographical references and index.;

505 0 a| A multi-level approach to program synthesis / W. Bibel ... [et al.] -- Programs without failures / A. Bossi, N. Cocco -- Generalised logic program transformation schemas / H. Büyü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.;

700 1 a| Fuchs, N. E.q| (Norbert E.)=| ^A315759;

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

994 a| E0b| ERE;

938 a| Otto Harrassowitzb| HARRn| har000637121c| 82.00 DEM;

596 a| 1;

998 a| 647692;

999 a| QA76.63 .I57 1997w| LCc| 1i| 30372010383047d| 2/13/2013f| 2/13/2013g| 1l| JGESm| JOYNERp| $49.56r| Ys| Yt| JGESBKu| 6/17/1999x| BOOKz| JSTACKSo| .STAFF. 0;

Logic program synthesis and transformation : 7th international workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997 : proceedings / Norbert E. Fuchs (ed.).

Author/creator	International Workshop on Logic Program Synthesis and Transformation
Other author	Fuchs, N. E. (Norbert E.)
Format	Book
Publication Info	Berlin ; New York : Springer, ©1998.
Description	x, 342 pages : illustrations ; 24 cm.

Series	Lecture notes in computer science ; 1463 Lecture notes in computer science 1463. ^A466336
Contents	A multi-level approach to program synthesis / W. Bibel ... [et al.] -- Programs without failures / A. Bossi, N. Cocco -- Generalised logic program transformation schemas / H. Büyü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.
Bibliography note	Includes bibliographical references and index.
LCCN	98042183
ISBN	3540650741 (softcover : alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.63 .I57 1997	✔ Available	Place Hold

Logic program synthesis and transformation : 7th international workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997 : proceedings / Norbert E. Fuchs (ed.).

Click here for more information about this title

Availability