A method of programming

Popularity 1
An introduction to computer programming motivated by successively transforming mathematical characterizations of program state.
Computer programming

An introduction to computer programming motivated by successively transforming mathematical characterizations of program state.