Lecture Notes in Computer Science : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers - Pierre Flener

Instant online reading.
Don't wait for delivery!

Lecture Notes in Computer Science

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

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.

You Can Find This Book In

Non-Fiction Mathematics Mathematical Foundation Mathematical Logic Computing & I.T.Computer Programming & Software Development Object-Oriented Programming or OOP Computer Science Artificial Intelligence Computer Architecture & Logic Design Mathematical Theory of Computation Software Engineering

Computer Hardware

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.

Lecture Notes in Computer Science

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 Artificial Intelligence

The Infinity Machine

Demis Hassabis, DeepMind and the Quest for Superintelligence

The God We Made

The Threat and Promise of Artificial Intelligence; Quarterly Essay 102

The Reverse Centaur's Guide to Life After AI

How to Think About Artificial Intelligence Before It's Too Late

Empire of AI

Inside the reckless race for total domination

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Nexus

A Brief History of Information Networks from the Stone Age to AI

Next-Generation Artificial Intelligence

Convergence of Neuroscience, Edge Computing, and Sustainable Technologies

Data Science in Healthcare

A Complete Guide

Data Science in Healthcare

A Complete Guide

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Co-Intelligence

Living and Working with AI

Wise AI

Using powerful technology in a deeply human way

Artificially Yours

Real Friendship in a World of Chatbots

AI for Public Relations

A How-To Guide for Implementation and Management

Data Science and Social Research III

Epistemology, Methods, Technology, Applications, and Relation to Artificial Intelligence

Advanced Signal Processing Systems

Selected Proceedings of the 2025 7th International Symposium on Signal Processing Systems

Human Vulnerability in Interaction with AI in European Private Law

AI and Data Science in Medical Research

New Developments and Advances

Recent Advances in Information Systems

Proceedings of the ICRAIS, Pointe aux Piments, Mauritius, 10-12 September 2025

Trends in Advanced Unmanned Aerial Systems

Selected Contributions of ICAUAS 2025

Multi-Robot Collaboration

The Enabling Technologies and Their Relevance in Today's Industrial Landscape

AI and Accountability

Shaping Ethical Governance in the Age of Algorithms

Scenarios Engineering for Services Science

Towards Trustworthy and Reliable Services Systems with New AI

DL-based Multidimensional Signals Analysis and Processing

Proceedings of 7th International Conference on 3D Imaging Technologies 2025, Volume 1

This product is categorised by