Logic Based Program Synthesis and Transformation

12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers

By: M. Leuschel (Editor)

Write A Review

Paperback | 18 June 2003

At a Glance

Paperback
296 Pages

Dimensions(cm)
23.5 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

The thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002.

The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections on debugging and types, tabling and constraints, abstract interpretation, program refinement, verification, partial evaluation, and rewriting and object-oriented development.

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 Mathematics Mathematical Foundation Mathematical Logic Science Science in General Kids & Children's Books Educational Material

Science Educational Material Mathematical Theory of Computation Reference, Information & Interdisciplinary Subjects Interdisciplinary Studies

Abstract Diagnosis of Functional Programs	p. 1
A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene	p. 17
Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming	p. 32
Translating Datalog-Like Optimization Queries into ILOG Programs	p. 48
Tabling Structures for Bottom-Up Logic Programming	p. 50
A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties	p. 52
Two Variables per Linear Inequality as an Abstract Domain	p. 71
Convex Hull Abstractions in Specialization of CLP Programs	p. 90
Collecting Potential Optimisations	p. 109
An Operational Approach to Program Extraction in the Calculus of Constructions	p. 111
Refinement of Higher-Order Logic Programs	p. 126
A Generic Program for Minimal Subsets with Applications	p. 144
Justification Based on Program Transformation	p. 158
Combining Logic Programs and Monadic Second Order Logics by Program Transformation	p. 160
Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers	p. 182
A Proof System for Information Flow Security	p. 199
Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation	p. 219
A Fixed Point Semantics for Logic Programs Extended with Cuts	p. 238
Abstract Partial Deduction Challenged	p. 258
Towards Correct Object-Oriented Design Frameworks in Computational Logic	p. 260
Mapping Modular SOS to Rewriting Logic	p. 262
Program Synthesis Based on the Equivalent Transformation Computation Model	p. 278
Author Index	p. 281
Table of Contents provided by Blackwell. All Rights Reserved.

Logic Based Program Synthesis and Transformation

12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised 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 Dummies, All New Edition

For Dummies (Computer/Tech)

Python Crash Course

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

Python Automation For Dummies

For Dummies (Computer/Tech)

The C Programming Language

Prentice Hall Software

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

Addiction by Design

Machine Gambling in Las Vegas

Machine Learning For Dummies

For Dummies (Computer/Tech)

Arduino For Dummies

For Dummies (Computer/Tech)

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

Collector's Edition

Python All-in-One For Dummies

3rd Edition

Teach Yourself VISUALLY iPhone 17 and iPhone Air

Teach Yourself VISUALLY (Tech)

Coding For Kids For Dummies

For Kids for Dummies

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Problem Solving with Python

Using Computational Thinking in Everyday Life

Python Workout, Second Edition

200 ten-minute exercises

The Man Who Solved the Market

How Jim Simons Launched the Quant Revolution SHORTLISTED FOR THE FT & MCKINSEY BUSINESS BOOK OF THE YEAR AWARD 2019

Fundamentals of Software Architecture

A Modern Engineering Approach

Effective Modern C++

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

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Code

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

Site Reliability Engineering

How Google Runs Production Systems

Theory of Fun for Game Design

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

C# 12 in a Nutshell

The Definitive Reference

This product is categorised by