|
|
|
|
| LEADER |
03380nam a2200361 a 4500 |
| 001 |
c000175379 |
| 003 |
CARM |
| 005 |
20001101153334.0 |
| 008 |
960213s1996 gw a 101 0 eng |
| 010 |
|
|
|a 96010638
|
| 019 |
1 |
|
|a 12195639
|5 LACONCORD2021
|
| 020 |
|
|
|a 3540609393
|
| 020 |
|
|
|a 3540609393
|
| 035 |
|
|
|a (OCoLC)34283704
|5 LACONCORD2021
|
| 040 |
|
|
|a DLC
|b eng
|c DLC
|d DLC
|d OrLoB-B
|d TOC
|
| 050 |
0 |
0 |
|a QA76.63
|b .I57 1996
|
| 050 |
0 |
0 |
|a QA76.63
|b .I57 1995
|
| 082 |
0 |
0 |
|a 005.13/1
|2 20
|
| 111 |
2 |
|
|a International Workshop on Logic Program Synthesis and Transformation
|n (5th :,
|d 1995 :
|c Utrecht, Netherlands)
|
| 245 |
1 |
0 |
|a Logic program synthesis and transformation :
|b 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings /
|c Maurizio Proietti, ed.
|
| 246 |
1 |
8 |
|a LOPSTR '95.
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer,
|c c1996.
|
| 300 |
|
|
|a x, 266 p. :
|b ill. ;
|c 24 cm.
|
| 440 |
|
0 |
|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 / Cristoph Kreitz, Jens Otten and Stephan Schmitt.
|
| 505 |
8 |
|
|a 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.
|
| 650 |
|
0 |
|a Logic programming
|x Congresses.
|
| 700 |
1 |
|
|a Proietti, Maurizio,
|d 1959-
|
| 852 |
8 |
|
|b CARM
|h A2:AL25A0
|i B05585
|p 0239307
|f BK
|
| 999 |
f |
f |
|i 49478048-b4a1-5bc5-bb85-83856f40944a
|s 68aff769-5193-5551-86f1-7ea372317ace
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e B05585
|f A2:AL25A0
|h Other scheme
|i book
|m 0239307
|