Mathematics of Program Construction Book

2 Ratings

Mathematics of Program Construction, , Mathematics of Program Construction

3 out of 5 stars based on 2 reviews

Mathematics of Program Construction
Written by author Tarmo Uustalu
Published by Springer-Verlag New York, LLC, June 2009
This book constitutes the refereed proceedings of the 8th International Conference on Mathematics of Program Construction, MPC 2006, held in Kuressaare, Estonia in July 2006, co-located with AMAST 2006, the 11th International Conference on Algebraic Metho

Buy Digital USD$99.99

What is a good process semantics? 1
Refunctionalization at work 4
Aspects and data refinement 5
Towards generic programming with sized types 10
Relational semantics for higher-order programs 29
Proofs of randomized algorithms in CoQ 49
Exercises in quantifier manipulation 69
Improving saddleback search : a lesson in algorithm design 82
Loopless functional algorithms 90
Compositional reasoning for pointer structures 115
Progress in deriving concurrent programs : emphasizing the role of stable guards 140
Fission for program comprehension 162
"Scrap your boilerplate" revolutions 180
Generic views on data types 209
Recursion schemes for dynamic programming 235
Bimonadic semantics for basic pattern matching calculi 253
Nondeterministic folds 274
A datastructure for iterated powers 299
Continuous action system refinement 316
The linear algebra of UTP 338
The shadow knows : refinement of ignorance in sequential programs 359
Swapping arguments and results of recursive functions 379
Refinement algebra with operators for enabledness and termination 397
Constructing rewrite-based decision procedures for embeddings and termination 416
Quantum predicative programming 433

Title: Mathematics of Program Construction

Manufacturer:

Steidl Publishing

Item Number: 9783540356318

Publication Date: June 2009

Number: 1

Product Description: Mathematics of Program Construction

Universal Product Code (UPC): 9783540356318

WonderClub Stock Keeping Unit (WSKU): 9783540356318

Rating: 3/5 based on 2 Reviews

Image Location: https://wonderclub.com/images/covers/63/18/9783540356318.jpg

Category: Media >> Books

Weight: 0.200 kg (0.44 lbs)

Width: 0.000 cm (0.00 inches)

Heigh : 0.000 cm (0.00 inches)

Depth: 0.000 cm (0.00 inches)

Date Added: August 25, 2020, Added By: Ross

Date Last Edited: August 25, 2020, Edited By: Ross

Price	Condition	Delivery	Seller	Action
$99.99	Digital	Arrives between May 6 - Jun 5 Login to your account for a direct download. Some files are emailed from Dropbox. Continent $0.00 - World $0.00	WonderClub (9296 total ratings)

Question Concerning Mathematics of Program Construction

Ask a Question about Mathematics of Program Construction

No Question found!

Read Reviews for Mathematics of Program Construction Write review

Nicholas Anderson

reviewed Mathematics of Program Construction on January 13, 2019

Mathematics of Program Construction

It is in my sylabbux

You must be logged in to add to Wishlist

Mathematics of Program Construction Book

Book Categories

Authors

Steidl Publishing

Question Concerning Mathematics of Program Construction

Read Reviews for Mathematics of Program Construction Write review

Login

Complaints

Blog

Games

Digital Media

Souls

Obituary

Contact Us

FAQ

You must be logged in to add to Wishlist

This item is in your Wish List

This item is in your Collection

This Item is in Your Inventory

You must be logged in to review the products

Add Mathematics of Program Construction, , Mathematics of Program Construction to the inventory that you are selling on WonderClub

Add Mathematics of Program Construction, , Mathematics of Program Construction to your collection on WonderClub

	What is a good process semantics?	1
	Refunctionalization at work	4
	Aspects and data refinement	5
	Towards generic programming with sized types	10
	Relational semantics for higher-order programs	29
	Proofs of randomized algorithms in CoQ	49
	Exercises in quantifier manipulation	69
	Improving saddleback search : a lesson in algorithm design	82
	Loopless functional algorithms	90
	Compositional reasoning for pointer structures	115
	Progress in deriving concurrent programs : emphasizing the role of stable guards	140
	Fission for program comprehension	162
	"Scrap your boilerplate" revolutions	180
	Generic views on data types	209
	Recursion schemes for dynamic programming	235
	Bimonadic semantics for basic pattern matching calculi	253
	Nondeterministic folds	274
	A datastructure for iterated powers	299
	Continuous action system refinement	316
	The linear algebra of UTP	338
	The shadow knows : refinement of ignorance in sequential programs	359
	Swapping arguments and results of recursive functions	379
	Refinement algebra with operators for enabledness and termination	397
	Constructing rewrite-based decision procedures for embeddings and termination	416
	Quantum predicative programming	433