Close
Enter your search into one or more of the boxes below:
You can refine your search by selecting from any of the options below:
Search
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991 (Paperback)

£69.99
Usually despatched within 2 weeks.
Order now for Free delivery in the UK.
More on delivery...

Synopsis

Logic programming synthesis and transformation are methods of deriving logic programs from their specifications and, where necessary, producing alternative but equivalent forms of a given program. The techniques involved in synthesis and transformation are extremely important as they allow the systematic construction of correct and efficient programs and have the potential to enhance current methods of software production. Transformation strategies are also being widely used in the field of logic program development. LOPSTR 91 was the first workshop to deal exclusively with both logic program synthesis and transformation and, as such, filled an obvious gap in the existing range of logic programming workshops. In attempting to cover the subject as comprehensively as possible, the workshop brought together researchers with an interest in all aspects of logic (including Horn Clause and first order logic) and all approaches to program synthesis and transformation. Logic Program Synthesis and Transformation provides a complete record of the workshop, with all the papers reproduced either in full or as extended abstracts. They cover a wide range of aspects, both practical and theoretical, including the use of mode input-output in program transformation, program specification and synthesis in constructive formal systems and a case study in formal program development in modular Prolog. This volume provides a comprehensive overview of current research and will be invaluable to researchers and postgraduate students who wish to enhance their understanding of logic programming techniques.

More books by T.P. Clement

More books by Kung-Kiu Lau

Leave Review

Delivery

Delivery Options

All delivery times quoted are the average, and cannot be guaranteed. These should be added to the availability message time, to determine when the goods will arrive. During checkout we will give you a cumulative estimated date for delivery.

Location 1st Book Each additional book Average Delivery Time
UK Standard Delivery FREE FREE 3-5 Days
UK First Class £4.50 £1.00 1-2 Days
UK Courier £7.00 £1.00 1-2 Days
Western Europe** Courier £17.00 £3.00 2-3 Days
Western Europe** Airmail £5.00 £1.50 4-14 Days
USA / Canada Courier £20.00 £3.00 2-4 Days
USA / Canada Airmail £7.00 £3.00 4-14 Days
Rest of World Courier £22.50 £3.00 3-6 Days
Rest of World Airmail £8.00 £3.00 7-21 Days

** Includes Austria, Belgium, Denmark, France, Germany, Greece, Iceland, Irish Republic, Italy, Luxembourg, Netherlands, Portugal, Spain, Sweden and Switzerland.

Delivery Help & FAQs

Returns Information

If you are not completely satisfied with your purchase*, you may return it to us in its original condition with in 30 days of receiving your delivery or collection notification email for a refund. Except for damaged items or delivery issues the cost of return postage is borne by the buyer. Your statutory rights are not affected.

* For Exclusions and terms on damaged or delivery issues see Returns Help & FAQs

You might also like

Beginning Entity Framework Core 2.0:...
(Paperback)
Derek J. Rouleau
 
 
£27.99
 
More Effective C# (Includes Content...
(Paperback)
Bill Wagner
 
 
£32.99
 
Building Web Applications with Visual...
(Paperback)
Philip Japikse; Kevin Grossnicklaus;...
 
 
£39.99
 
Effective C#  (Covers C# 6.0),...
(Paperback)
Bill Wagner
 
£32.99
£35.99
 
Latest Blog
Read an extract from Everything I Know About Love
20/04/2018

Dolly Alderton's Everything I Know About Love is an honest, funny and uplifting account of growing up and being enough.

An extract from The Fire This Time
18/04/2018

Edited by National Book Award-winning author Jesmyn Ward, The Fire This Time is a collection of essays and poems exploring black experience in modern-day America, in a response to James Baldwin's groundbreaking 1963 essay collection The Fire Next Time.

Swither, Shoogle, Wheesht - Kirsty Logan on the language of The Gloaming
17/04/2018

Kirsty Logan's second novel, The Gloaming, is a swirling tale threaded through with magic, heartbreak, love and mermaids. It is studded with evocative but perhaps unfamiliar words, adding atmosphere, mood and expression. Exclusively for Foyles, she has written about some of these Scottish words, that head up each chapter of the book.

View all Blog Entries
Twitter
Show/Hide Tweets
© W&G Foyle Ltd