Lecture Notes in Computer Science : 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers - Maurice Bruynooghe

Instant online reading.
Don't wait for delivery!

Lecture Notes in Computer Science

13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

By: Maurice Bruynooghe (Editor)

Write A Review

Paperback | 24 June 2004

At a Glance

Paperback
248 Pages

Dimensions(cm)
24.13 x 15.88 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based program development. P- ticular topics of interest are speci?cation, synthesis, veri?cation, transformation, specialization, analysis, optimization, composition, reuse, component-based so- ware development, agent-based software development, software architectures, design patterns and frameworks, program re?nement and logics for re?nement, proofs as programs, and applications and tools. LOPSTR 2003 took place at the University of Uppsala from August 25 to August 27 as part of PLI 2003 (Principles, Logics, and Implementations of High- Level Programming Languages). PLI was an ACM-organized confederation of conferences and workshops with ICFP 2003 (ACM-SIGPLAN International C- ference on Functional Programming) and PPDP 2003 (ACM-SIGPLAN Inter- tional Conference on Principles and Practice of Declarative Programming) as the main events. The LOPSTR community pro?ted from the shared lectures of the invited speakers, and the active scienti?c discussions enabled by the co-location. LOPSTR 2003 was the thirteenth in a series of events. Past events were held in Manchester, UK (1991, 1992, 1998), Louvain-la-Neuve, Belgium (1993), Pisa, Italy (1994), Arnhem, The Netherlands (1995), Stockholm, Sweden (1996), L- ven, Belgium (1997), Venice, Italy (1999), London, UK (2000), Paphos, Cyprus (2001), and Madrid, Spain (2002).

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 Computer Programming & Software Development Software Engineering Mathematics Mathematical Foundation Mathematical Logic Artificial Intelligence

Inductive theorem proving by program specialisation : generating proofs for Isabelle using Ecce	p. 1
Predicate synthesis from inductive proof attempt of faulty conjectures	p. 20
Correct OO systems in computational logic	p. 34
Specification and synthesis of hybrid automata for physics-based animation	p. 54
Adding concrete syntax to a prolog-based program synthesis system	p. 56
Formal development and verification of approximation algorithms using auxiliary variables	p. 59
Formal reasoning about efficient data structures : a case study in ACL2	p. 75
A program transformation for backwards analysis of logic programs	p. 92
An efficient staging algorithm for binding-time analysis	p. 106
Proving termination with adornments	p. 108
Constructively characterizing fold and unfold	p. 110
Deterministic higher-order patterns for program transformation	p. 128
From interpreter to logic engine by defunctionalization	p. 143
Linearization by program transformation	p. 160
Continuation semantics as horn clauses	p. 176
Simplification of database integrity constraints revisited : a transformational approach	p. 178
Integration and optimization of rule-based constraint solvers	p. 198
Introducing ESRA, a relational language for modelling combinatorial problems	p. 214
Table of Contents provided by Blackwell. All Rights Reserved.

Lecture Notes in Computer Science

13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised 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

Empire of AI

Inside the reckless race for total domination

Nexus

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

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