Please sign in to WorldCat

Don't have an account? You can easily create a free account.

Home

WorldCat Home About WorldCat Help Get E-mail Updates Feedback WorldCat Blog

Search

Search for Library Items Search for Lists Search for Contacts Search for a Library

Create lists, bibliographies and reviews: or

Cite/Export

Cite/Export

Copy a citation

APA

Chicago (Author-Date)

Harvard

MLA

Turabian

Export a citation
Export to RefWorks Export to EndNote Cancel
Note: Citations are based on reference standards. However, formatting rules can vary widely between applications and fields of interest or study. The specific requirements or preferences of your reviewing publisher, classroom teacher, institution or organization should be applied.
Print
E-mail

E-mail

All fields are required.

The E-mail Address(es) field is required. Please enter recipient e-mail address(es).

The E-mail Address(es) you entered is(are) not in a valid format. Please re-enter recipient e-mail address(es).

You may send this item to up to five recipients.
Enter recipient e-mail address(es): Separate up to five addresses with commas (,)
The name field is required. Please enter your name.
Enter your name:
Your e-mail address is required. Please enter your e-mail address.

Your e-mail address you entered is not in a valid format. Please re-enter your e-mail address.
Enter your e-mail address: Subject:
The E-mail message field is required. Please enter the message.
E-mail Message: I thought you might be interested in this item at http://www.worldcat.org/oclc/29428032 Title: Logic program synthesis and transformation : proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993 Author: Yves Deville; British Computer Society Publisher: London ; New York : Springer-Verlag, ©1994. ISBN/ISSN: 3540198644 9783540198642 0387198644 : 9780387198644 OCLC:29428032

The ReCaptcha terms you entered were incorrect. Please try to match the 2 words shown in the window, or try the audio version.

Cancel
Share
Permalink

Permalink

Copy this URL to link to this page:

Write a review
Rate this item:
- 1
- 2
- 3
- 4
- 5

Logic program synthesis and transformation : proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993

Preview this item

Logic program synthesis and transformation : proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993

Author:	Yves Deville; British Computer Society.
Publisher:	London ; New York : Springer-Verlag, ©1994.
Series:	Workshops in computing
Edition/Format:	Book : Conference publication : English
Rating:

Borrow / obtain a copy

Find a copy in the library

Finding libraries that hold this item...

Details

Material Type:	Conference publication
Document Type:	Book
All Authors / Contributors:	Yves Deville; British Computer Society. Find more information about:
ISBN:	3540198644 9783540198642 0387198644 : 9780387198644
OCLC Number:	29428032
Notes:	"Published in collaboration with the British Computer Society."
Description:	xii, 245 p. : ill. ; 24 cm.
Contents:	Toward the Synthesis of Constraint Propagation Algorithms / D. R. Smith -- A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs / K.-K. Lau and M. Ornaghi -- Reachability Analysis for the Extension Procedure - A Topological Result / G. Neugebauer -- Inductive Synthesis of Logic Programs and Inductive Logic Programming / F. Bergadano and D. Gunetti -- Induction of Prolog Programs with Markus / M. Grobelnik -- A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning / P. Madden, J. Hesketh, I. Green and A. Bundy -- Guiding Synthesis Proofs / V. Lombart, G. Wiggins and Y. Deville -- Combining Prolog Programs in a Techniques Editing System / M. Vargas-Vera, D. Robertson and R. Inder -- Designing Prolog Programming Techniques / W. Weber Vasconcelos -- Interactive Program Derivation Using Program Schemata and Incrementally Generated Strategies / A.-L. Johansson.
Series Title:	Workshops in computing
Responsibility:	Yves Deville, ed.

You:	Sign In \| Register \| My WorldCat \| My Lists \| My Watchlist \| My Reviews \| My Tags \| My Saved Searches
WorldCat:	Home \| About \| Help \| Get E-mail Updates \| Feedback \| Search \| WorldCat Blog

More like this

Subjects

Similar Items

Logic program synthesis and transformation : proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993

Find a copy in the library

Details

Reviews

Tags

Similar Items

Related Subjects:(1)