Click here to skip to this page's main content.

New to the Open Library? — Learn how it works
Last edited by ImportBot
July 28, 2014 | History

Logic Based Program Synthesis and Transformation 1 edition

Cover of: Logic Based Program Synthesis and Transformation by Alberto Pettorossi

Read

Buy

Amazon $8.20 (used)
Better World Books $8.98 (used)

Lists

You could add Logic Based Program Synthesis and Transformation to a list if you log in.
Crikey! There's no description for this book yet. Can you help?
There is only 1 edition record, so we'll show it here...  •  Add edition?

Logic Based Program Synthesis and Transformation
11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers (Lecture Notes in Computer Science)
1 edition

Published August 15, 2002 by Springer .
Written in English.

First Sentence

Unlike imperative programming languages, pure functional languages are referentially transparent so that two occurrences of the same expression evaluate to the same value in the same environment.

The Physical Object

Format
Paperback
Number of pages
267
Dimensions
9.1 x 6.1 x 0.7 inches
Weight
1 pounds

ID Numbers

Open Library
OL9519555M
Internet Archive
logicbasedprogra2001pett
ISBN 10
3540439153
ISBN 13
9783540439158
Goodreads
1151982

History Created December 11, 2009 · 3 revisions Download catalog record: RDF / JSON

July 28, 2014 Edited by ImportBot import new book
April 28, 2010 Edited by Open Library Bot Linked existing covers to the work.
December 11, 2009 Created by WorkBot add works page