Logic-Based Program Synthesis and Transformation : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers - Pierre Flener

Instant online reading.
Don't wait for delivery!

Logic-Based Program Synthesis and Transformation

8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers

By: Pierre Flener (Editor)

Write A Review

Paperback | 24 March 1999

At a Glance

Paperback
348 Pages

Dimensions(cm)
24.13 x 15.24 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

or

Ships in 5 to 7 business days

This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

More in Computer Programming & Software Development

The C Programming Language

Prentice Hall Software

Paperback

RRP $107.04

$72.99

32%
OFF

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Paperback

RRP $89.99

$64.99

28%
OFF

Addiction by Design

Machine Gambling in Las Vegas

Paperback

RRP $39.99

$33.75

16%
OFF

Coding For Kids For Dummies

For Kids for Dummies

Paperback

RRP $36.95

$29.75

19%
OFF

Python All-in-One For Dummies

3rd Edition

Paperback

RRP $74.95

$55.75

26%
OFF

Artificial Intelligence and Human Existence : Insights on Education, Technology, and Society - A.V. Senthil Kumar

4th International Joint Conference on Learning and Reasoning, IJCLR 2024, and 33rd International Conference on Inductive Logic Programming, ILP 2024, Nanjing, China, September 20-22, 2024, Proceedings

Paperback

$362.75

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

Paperback

RRP $41.95

$33.75

20%
OFF

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Paperback

RRP $114.00

$55.75

51%
OFF

Make : Analog Synthesizers

A modern approach to old-school sound synthesis

Paperback

RRP $43.75

$24.75

43%
OFF

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Hardcover

RRP $91.30

$62.75

31%
OFF

Hacking For Dummies

For Dummies (Computer/Tech)

Paperback

RRP $49.95

$38.75

22%
OFF

The Art of Game Design

A Book of Lenses, Third Edition

Paperback

RRP $120.00

$90.75

24%
OFF

Semantics With Applications : Advanced Topics in Computer Science - Leslee Feldman

$Typesetting Mathematics With Latex - Robert Legato$

Typesetting Mathematics With Latex

Hardcover

$430.75

Attempto Controlled English - Not Just Another Logic Specification Language	p. 1
A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury	p. 21
Pragmatics in the Synthesis of Logic Programs	p. 41
Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems	p. 61
Synthesis of Programs in Abstract Data Types	p. 81
OOD Frameworks in Component-Based Software Development in Computational Logic	p. 101
The Use of Renaming in Composing General Programs	p. 124
Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes	p. 143
Specialising Logic Programs with Respect to Call/Post Specifications	p. 159
Generalization in Hierarchies of Online Program Specialization Systems	p. 179
Improving Homeomorphic Embedding for Online Termination	p. 199
Successes in Logic Programs	p. 219
Inferring and Compiling Termination for Constraint Logic Programs	p. 240
Strictness Analysis as Finite-Domain Constraint Solving	p. 255
Invariant Discovery via Failed Proof Attempts	p. 271
Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations	p. 289
Algorithms for Synthesizing Reactive Systems: A Perspective	p. 308
Schema-Guided Synthesis of CLP Programs	p. 309
Proof Planning with Program Schemas	p. 313
Logical Synthesis of Imperative O.-O. Programs	p. 316
Mathematical Foundations for Program Transformations	p. 319
An Exhaustive-Search Method Using Layered Streams Obtained Through a Meta-Interpreter for Chain Programs	p. 322
Bottom-Up Specialisation of Logic Programs	p. 325
Myrtle: A Set-Oriented Meta-Interpreter Driven by a "Relational" Trace for Deductive Databases Debugging	p. 328
Author Index	p. 331
Table of Contents provided by Blackwell. All Rights Reserved.

Logic-Based Program Synthesis and Transformation

8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Programming & Software Development

The C Programming Language

Prentice Hall Software

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Addiction by Design

Machine Gambling in Las Vegas

Coding For Kids For Dummies

For Kids for Dummies

Python All-in-One For Dummies

3rd Edition

Artificial Intelligence and Human Existence

Insights on Education, Technology, and Society

Deep Learning Applications in Operations Research

Learning and Reasoning

4th International Joint Conference on Learning and Reasoning, IJCLR 2024, and 33rd International Conference on Inductive Logic Programming, ILP 2024, Nanjing, China, September 20-22, 2024, Proceedings

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Make : Analog Synthesizers

A modern approach to old-school sound synthesis

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Hacking For Dummies

For Dummies (Computer/Tech)

The Art of Game Design

A Book of Lenses, Third Edition

Semantics With Applications

Advanced Topics in Computer Science

Practical Probabilistic Programming

Practical Probabilistic Programming

Heuristic Algorithms Design

A Methodological Approach

Designing Semantic Knowledge Graphs

A Guide to Utilizing Semantic Web Technologies for Agile Data Management

Web Engineering

Theory and Practice

The Essence of Software Engineering

Parallel Computing

Design and Analysis of Algorithms

Introduction to Programming Languages

Typesetting Mathematics With Latex

This product is categorised by