Logic-Based Program Synthesis and Transformation

9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers

By: Annalisa Bossi (Editor)

Write A Review

Paperback | 7 June 2000

At a Glance

Paperback
332 Pages

Dimensions(cm)
22.86 x 15.24 x 1.27

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 7 to 10 business days

This volume contains the proceedings of the ninth international workshop on logic-based program synthesis and transformation (LOPSTR'99) which was held in Venice (Italy), September 22-24, 1999. LOPSTRistheannualworkshopandforumforresearchersinthelogic-based program development stream of computational logic. The main focus used to be on synthesis and transformation of logic programs, but the workshop is open to contributions on logic-based program development in any paradigm. Previous workshops were held in Manchester, UK (1991, 1992), Louvain-la-Neuve, B- gium (1993), Pisa, Italy (1994), Arnhem, The Netherlands (1995), Stockholm, Sweden (1996), Leuven, Belgium (1997), and Manchester, UK (1998). LOPSTR is a real workshop in the sense that it is a friendly and lively forum for presenting recent and current research as well as discussing future trends. Formal proceedings of the workshop are produced only after the workshop and contain only those papers selected by the program committee after a second refereeing process. The program committee of LOPSTR'99 accepted 20 extended abstracts for presentation at the workshop; then selected 14 papers for inclusion in the po- workshop proceedings. Selected papers cover all the main streams of LOPSTR's topics: synthesis, specialization, transformation, analysis, and veri?cation. Ve- ?cation, transformation, and specialization methods are applied to functional, constraint, logic, and imperative programming.

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 Computing & I.T.Computer Science Computer Architecture & Logic Design Mathematics Mathematical Foundation Mathematical Logic Artificial Intelligence Computer Programming & Software Development Software Engineering

Invited Talk
Algebraic Specification and Program Development by Stepwise Refinement Extended Abstract	p. 1
Tutorials
Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency	p. 10
Constraint Logic Programming Applied to Model Checking	p. 30
Software Development
On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic	p. 42
Analysis and Specialisation
Infinite State Model Checking by Abstract Interpretation and Program Specialisation	p. 62
Mode Analysis Domains for Typed Logic Programs	p. 82
Imperative Program Specialisation: An Approach Using CLP	p. 102
Specialising Finite Domain Programs Using Polyhedra	p. 118
Transformation
Roles of Program Extension	p. 136
Transformation of Left Terminating Programs	p. 156
Transformation Rules for Logic Programs with Goals as Arguments	p. 176
Making Mercury Programs Tail Recursive	p. 196
The Replacement Operation for CCP Programs	p. 216
Verification
Annotations for Prolog - A Concept and Runtime Handling	p. 234
Verification by Testing for Recursive Program Schemes	p. 255
Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs	p. 273
Context-Moving Transformations for Function Verification	p. 293
Table of Contents provided by Publisher. All Rights Reserved.

Logic-Based Program Synthesis and Transformation

9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 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

Coding For Kids For Dummies

For Kids for Dummies

Hacking For Dummies

For Dummies (Computer/Tech)

Python Crash Course

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

Coding For Dummies, All New Edition

For Dummies (Computer/Tech)

Joysticks to Haptics

A Visual History of Video Game Controllers

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

The Legend of Zelda(tm) Tears of the Kingdom - The Complete Official Guide

Collector's Edition

Make: Electronics, 3e

Learning by Discovery: A hands-on primer for the new electronics enthusiast

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

Technology Developments in Computer Intelligence and their Applications in the era of Industry 5.0

Smart Technologies for Engineers and Scientists

The Game Needs to Change

Towards Sustainable Game Design

The Game Needs to Change

Towards Sustainable Game Design

Python All-in-One For Dummies

3rd Edition

The C Programming Language

Prentice Hall Software

Learning Go

An Idiomatic Approach to Real-World Go Programming

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Fluent Python

Clear, Concise, and Effective Programming 2nd Edition

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Think Python

How To Think Like a Computer Scientist

The Engineering Executive's Primer

Impactful Technical Leadership

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Semantics With Applications

Advanced Topics in Computer Science

Practical Probabilistic Programming

This product is categorised by