Lecture Notes in Computer Science

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 5 to 7 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 $89.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.

Lecture Notes in Computer Science

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

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Nexus

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

Empire of AI

Inside the reckless race for total domination

How We Learn

The New Science of Education and the Brain

We Are As Gods

A Survival Guide for the Age of Abundance

Co-Intelligence

Living and Working with AI

AI in Legal Tech

How Generative AI Is Transforming Legal Technology and the Practice of Law

Control, Robotics and Sensors

Design, Control and Applications

AI and Data Science in Medical Research

New Developments and Advances

Real-Time Intelligence with Microsoft Fabric

Empowering Data-Driven Decisions in the Era of AI

Machine Learning, Optimization, and Data Science

11th International Conference, LOD 2025, Castiglione della Pescaia, Italy, September 21-24, 2025, Revised Selected Papers, Part II

Proceedings of the 6th International Conference on Big Data Analytics for Cyber-Physical System in Smart City, Volume 1

BDCPS 2024, December 7â"8, Ji'an, China

Digital Transformation: What Kind of Smart Life do we have today?

Volume 1

Sustainable Banking and The Circular Economy Transition

A Framework for SME Financing

Research and Education in Urban History in the Age of Digital Libraries

4th International Workshop, UHDL 2025, Vienna, Austria, November 3-5, 2025, Revised Selected Papers

AI and Engineering

Selected Papers of the 22nd International Conference on Global Research and Education Inter-Academia - 2025

Enhancing Ultra-Low-Field MRI with Paired High-Field MRI Comparisons for Brain Imaging

First International Challenge, ULF-EnC 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 23, 2025, Proceedings

Artificial Intelligence in Education

Proceedings of the 16th IMCL Conference, Volume 2

Recent Advances in Information Systems

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

Sixth Congress on Intelligent Systems

CIS 2025, Volume 6

Trends in Advanced Unmanned Aerial Systems

Selected Contributions of ICAUAS 2025

AI for Good

How Real People Are Using Artificial Intelligence to Fix Things That Matter

XR and Metaverse

Proceedings of the 10th International XR-Metaverse Conference 2025, Maastricht, The Netherlands

Technology and Beyond

Business Solutions for One World, One Future

This product is categorised by