Name: logic based program synthesis and transformation
SKU: 3484477
Price: 54.34 EUR
Availability: InStock
ISBN: 9783540404385

Select your country

Americas

Europe

Rest of the world

portada logic based program synthesis and transformation

logic based program synthesis and transformation

Type

Physical Book

Publisher

Springer

Language

English

Pages

281

ISBN

3540404384

ISBN13

9783540404385

Synopsis "logic based program synthesis and transformation"

this book constitutes 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.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews