Logic Based Program Synthesis and Transformation
Subtitle: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: August 15, 2002
Language: eng
Format: Paperback
Number of pages: 267
ISBN-13: 9783540439158
Subjects: Computer Programming; Computer architecture & logic design; General; Computers; Computers - Languages / Programming; Medical / Nursing; Programming - General; Computer Books: General; Logic Design; Artificial Intelligence - General; Computers / Logic Design; Program analysis; computational logic; constrain programming; formal methods; functional programming; Computer Science; Congresses; Logic Programming
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.