There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 22

Record: found
Abstract: not found
Article: not found

Proof of correctness of data representations

C. Hoare (1972)

0 comments Cited 100 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Program development by stepwise refinement

Niklaus Wirth (1971)

0 comments Cited 81 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book: not found

The Science of Programming

David Gries (1981)

0 comments Cited 71 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 1990

Publication date (Online): June 4 2005

Pages: 42-66

DOI: 10.1007/3-540-52559-9_60

SO-VID: 8102b688-3e91-44b7-8162-52c75bd7c6c7

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 11

Normal form approach to compiler design
Authors: He Jifeng, C. Hoare, A. Sampaio
Trace Refinement of Action Systems
Authors: R. J. R. Back, J. Wright
A study of the fragile base class problem
Authors: Leonid Mikhajlov, Emil Sekerinski

See all cited by

Refinement calculus, part I: Sequential nondeterministic programs

Read this book at

Related collections

ScienceOpen Research

Most cited references 22

Proof of correctness of data representations

Program development by stepwise refinement

The Science of Programming

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 4,685

Cited by 11