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 12

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

An axiomatic proof technique for parallel programs I

David Gries, Susan Owicki (1976)

0 comments Cited 85 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

All references

Author and book information

Book Chapter

Publication date (Print): 1989

Publication date (Online): June 1 2005

Pages: 197-218

DOI: 10.1007/3-540-51305-1_11

SO-VID: 47a34823-df93-4037-a6e3-a05dcbebca4f

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 3

Algorithmic bias in data-driven innovation in the age of AI
Authors: Shahriar Akter, Grace McCarthy, Shahriar Sajib …
Refinement calculus, part I: Sequential nondeterministic programs
Authors: R. J. R. Back, J. Wright
Reference
Authors: Eric C. R. Hehner

See all cited by

Towards a calculus of data refinement

Read this book at

Related collections

On Research Data Publishing

Most cited references 12

Proof of correctness of data representations

An axiomatic proof technique for parallel programs I

Program development by stepwise refinement

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,336

Cited by 3