Mathematics of Program Construction
Mathematics of Program Construction

Author: Eerke A. Boiten

Publisher: Springer

Published: 2003-08-02

Total Pages: 273

ISBN-13: 354045442X

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 6th International Conference on Mathematics of Program Construction, MPC 2002, held in Dagstuhl Castle, Germany, in July 2002. The 11 revised full papers presented were carefully reviewed and selected for inclusion in the book; also presented are one invited paper and the abstracts of two invited talks. Among the topics covered are programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics.

Generic Programming
Generic Programming

Author: Roland C. Backhouse

Publisher: Springer Science & Business Media

Published: 2003-09-29

Total Pages: 232

ISBN-13: 3540201947

DOWNLOAD 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 on parameterizing programs by the structure of the data they manipulate. The book presents the following four revised and extended chapters first given as lectures at the Generic Programming Summer School held at the University of Oxford, UK in August 2002: - Generic Haskell: Practice and Theory - Generic Haskell: Applications - Generic Properties of Datatypes - Basic Category Theory for Models of Syntax

Static Analysis
Static Analysis

Author: Manuel Hermenegildo

Publisher: Springer Science & Business Media

Published: 2002-09-06

Total Pages: 539

ISBN-13: 3540442359

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 9th International Static Analysis Symposium, SAS 2002, held in Madrid, Spain in September 2002. The 32 revised full papers presented were carefully reviewed and selected from 86 submissions. The papers are organized in topical sections on theory, data structure analysis, type inference, analysis of numerical problems, implementation, data flow analysis, compiler optimizations, security analyses, abstract model checking, semantics and abstract verification, and termination analysis.

Logic, Language, Information and Computation
Logic, Language, Information and Computation

Author: Daniel Leivant

Publisher: Springer

Published: 2007-07-04

Total Pages: 371

ISBN-13: 3540734457

DOWNLOAD EBOOK

The 14th International Workshop on Logic, Language, Information and Computation focused on foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions, and resources; and foundational aspects of information organization, search, flow, sharing, and protection.