Logic Based Program Synthesis and Transformation

14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers

By: Sandro Etalle (Editor)

Write A Review

Paperback | 24 June 2005

At a Glance

Paperback
292 Pages

Dimensions(cm)
23.39 x 15.6 x 1.55

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Aims to ship in 7 to 10 business days

This volume contains a selection of the papers presented at LOPSTR 2004, the 14th International Symposium on Logic-Based Program Synthesis and Transf- mation. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. The workshop is open to contributions in logic-based program development in any language paradigm. This year, LOPSTR put extra emphasis on the ?eld of veri?cation by incorporating the VCL (Veri?cation in Computational Logic) workshop. LOPSTR 2004 took place in Verona, Italy, and was co-located with the - ternational Static Analysis Symposium (SAS 2004), the ACM SIGPLAN 2004 Workshop on Partial Evaluation and Semantics Based Program Manipulation (PEPM 2004), and the 6th ACM-SIGPLAN International Conference on Pr- ciples and Practice of Declarative Programming (PPDP 2004). Past workshops were held in Manchester (UK), Louvain-la-Neuve (Belgium), Pisa(Italy),Arnhem(theNetherlands),Stockholm(Sweden),Leuven(Belgium), Venice (Italy), London (UK), Paphos (Cyprus), Madrid (Spain) and Uppsala (Sweden). Since 1994 the proceedings have beenpublished in the Springer LNCS series. We received 23 full paper submissions (1 from Australia, 3 from the US, 4 1 from Asia, 3 from Africa, 11 from Europe , and one Spain-US cooperation), and 11 extended abstract submissions (1 from Israel, 1 from Africa, one US-Spain 2 cooperation,andtheotherswerefromEurope ).Weacceptedforpresentation11 full papers and 8 extended abstracts. This volume contains a selection consisting of the 11 full papers and of the full version of 6 of the extended abstracts.

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 Computer Programming & Software Development Object-Oriented Programming or OOP Mathematics Mathematical Foundation Mathematical Logic Artificial Intelligence Mathematical Theory of Computation

Searching semantically equivalent code fragments in logic programs	p. 1
Determinacy analysis for logic programs using mode and type information	p. 19
Mechanical verification of automatic synthesis of fault-tolerant programs	p. 36
Fully automatic binding-time analysis for prolog	p. 53
Logical mobility and locality types	p. 69
Unwinding conditions for security in imperative languages	p. 85
Natural rewriting for general term rewriting systems	p. 101
Negation elimination for finite PCFGs	p. 117
Specialization of concurrent guarded multi-set transformation rules	p. 133
Efficient local unfolding with ancestor stacks for full prolog	p. 149
Schema-guided synthesis of imperative programs by constraint solving	p. 166
Run-time profiling of functional logic programs	p. 182
Constructive specifications for compositional units	p. 198
Input-termination of logic programs	p. 215
On termination of binary CLP programs	p. 231
From natural semantics to abstract machines	p. 245
Graph-based proof counting and enumeration with applications for program fragment synthesis	p. 262
Table of Contents provided by Blackwell. All Rights Reserved.

Logic Based Program Synthesis and Transformation

14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Architecture & Logic Design

A Compendium of Responsible Artificial Intelligence

Terraform - Up and Running

Writing Infrastructure as Code

Euro-Par 2024

Parallel Processing Workshops : Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024, Proceedings, Part II

Information Security and Cryptology - ICISC 2024

27th International Conference, Seoul, South Korea, November 20-22, 2024, Revised Selected Papers

Site Reliability Engineering

How Google Runs Production Systems

Data Mesh

Delivering Data-Driven Value at Scale

Fundamentals of DevOps and Software Delivery

A Hands-On Guide to Deploying and Managing Software in Production

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Modern System Administration

Managing Reliable and Sustainable Systems

Head First Software Architecture

A Learner's Guide to Architectural Thinking

Building Evolutionary Architectures

Automated Software Governance

Software Architecture Metrics

Case Studies to Improve the Quality of Your Architecture

Learning Systems Thinking

Essential Non-Linear Skills and Practices for Software Professionals

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Microservices: Up and Running

A Step-by-Step Guide to Building a Microservice Architecture

Introduction to High Performance Computing for Scientists and Engineers

Chapman & Hall/CRC Computational Science

Scaling Python with Dask

From Data Science to Machine Learning

Monolith to Microservices

Evolutionary Patterns to Transform Your Monolith

Computer Systems 3ed

A Programmer's Perspective, Global Edition

Streaming Systems

The What, Where, When, and How of Large-Scale Data Processing

Flow Architectures

The Future of Streaming and Event-Driven Integration

Learning Microsoft Power Automate

Improving Productivity for Business Processes and Workflows

Kubernetes - Up and Running

Dive into the Future of Infrastructure

Simply AI

Facts Made Fast

This product is categorised by