Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007571670/catalog> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- catalog abstract "This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996. The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development.".
- catalog contributor b10461648.
- catalog contributor b10461649.
- catalog created "c1997.".
- catalog date "1997".
- catalog date "c1997.".
- catalog dateCopyrighted "c1997.".
- catalog description "Includes bibliographical references and index.".
- catalog description "Refining specifications to logic programs -- Symbolic verification with gap-order constraints -- Specification-based automatic verification of Prolog programs -- Logic program specialisation: How to be more specific -- Conjunctive partial deduction in practice -- Redundant argument filtering of logic programs -- Replacement can preserve termination -- A transformation tool for pure Prolog programs -- Enhancing partial deduction via unfold/fold rules -- Abstract specialization and its application to program parallelization -- Reductions of petri nets and unfolding of propositional logic programs -- Inferring argument size relationships with CLP(".
- catalog description "This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996. The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development.".
- catalog extent "vi, 324 p. :".
- catalog identifier "3540627189 (softcover : alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 1207".
- catalog issued "1997".
- catalog issued "c1997.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "005.1/15 21".
- catalog subject "Artificial intelligence.".
- catalog subject "Computer science.".
- catalog subject "Logic design.".
- catalog subject "Logic programming Congresses.".
- catalog subject "QA76.63 .I57 1996".
- catalog tableOfContents "Refining specifications to logic programs -- Symbolic verification with gap-order constraints -- Specification-based automatic verification of Prolog programs -- Logic program specialisation: How to be more specific -- Conjunctive partial deduction in practice -- Redundant argument filtering of logic programs -- Replacement can preserve termination -- A transformation tool for pure Prolog programs -- Enhancing partial deduction via unfold/fold rules -- Abstract specialization and its application to program parallelization -- Reductions of petri nets and unfolding of propositional logic programs -- Inferring argument size relationships with CLP(".
- catalog title "Logic program synthesis and transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 : proceedings / John Gallagher (ed.).".
- catalog type "text".