Related Books

Conference Record of FPCA '95
Language: en
Pages: 352

Conference Record of FPCA '95

Authors:
Categories: Computers
Type: BOOK - Published: 1995 - Publisher: Association for Computing Machinery (ACM)

GET EBOOK

Mathematics of Program Construction
Language: en
Pages: 273

Mathematics of Program Construction

Authors: Eerke A. Boiten
Categories: Computers
Type: BOOK - Published: 2003-08-02 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 6th International Conference on Mathematics of Program Construction, MPC 2002, held in Dagstuhl Castle, Ge
Advanced Functional Programming
Language: en
Pages: 302

Advanced Functional Programming

Authors: S. Doaitse Swierstra
Categories: Computer science
Type: BOOK - Published: 1999 - Publisher: Springer Science & Business Media

GET EBOOK

This book originates from the Third Summer School on Advanced Functional Programming, held in Barga, Portugal, in September 1998. The lectures presented are tar
Static Analysis
Language: en
Pages: 408

Static Analysis

Authors: Radhia Cousot
Categories: Computers
Type: BOOK - Published: 1996-09-11 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the Third International Static Analysis Symposium, SAS '96, held in Aachen, Germany, in September 1996 in conj
Generic Programming
Language: en
Pages: 232

Generic Programming

Authors: Roland C. Backhouse
Categories: Computers
Type: BOOK - Published: 2003-09-29 - Publisher: Springer Science & Business Media

GET EBOOK

Generic programming attempts to make programming more efficient by making it more general. This book is devoted to a novel form of genericity in programs, based