عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0387198644
(Number (ISBN
3540198644
(Number (ISBN
9780387198644
(Number (ISBN
9783540198642
NATIONAL BIBLIOGRAPHY NUMBER
Number
b565409
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logic program synthesis and transformation :
General Material Designation
[Book]
Other Title Information
proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993
First Statement of Responsibility
publ. in collab. with the British Computer Society. Yves Deville (ed.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
London Springer
Date of Publication, Distribution, etc.
1994
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
XII, 245 Seiten Diagramme 24 cm
SERIES
Series Title
Workshops in computing.
GENERAL NOTES
Text of Note
Literaturangaben
CONTENTS NOTE
Text of Note
Toward the Synthesis of Constraint Propagation Algorithms.- A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs.- Reachability Analysis for the Extension Procedure - A Topological Result.- Inductive Synthesis of Logic Programs and Inductive Logic Programming.- Induction of Prolog Programs with Markus.- A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract).- Guiding Synthesis Proofs.- Combining Prolog Programs in a Techniques Editing System (Abstract).- Designing Prolog Programming Techniques.- Interactive Program Derivation Using Program Schemata and Incrementally Generated Strategies.- The Power of Partial Evaluation.- Specialising the Ground Representation in the Logic Programming Language Goedel.- Synthesis of Programs from Unfold/Fold Proofs.- Some Further Issues in Finite Unfolding (Abstract).- A Transformation Based on the Equality Between Terms.- Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model.- Memoing with Abstract Answers and Delphi Lemmas.- Using Abstract Interpretation for Goal Replacement.- Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments.- Author Index.
TOPICAL NAME USED AS SUBJECT
Logische Programmierung
Softwareentwicklung
Systemtransformation
PERSONAL NAME - PRIMARY RESPONSIBILITY
publ. in collab. with the British Computer Society. Yves Deville (ed.)
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
British Computer Society
Yves Deville
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
