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 10

Record: found
Abstract: not found
Article: not found

A Transformation System for Developing Recursive Programs

R. M. Burstall, John Darlington (1977)

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

Bookmark

Record: found
Abstract: not found
Article: not found

A constructive approach to the problem of program correctness

E. W. Dijkstra (1968)

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

Bookmark

Record: found
Abstract: not found
Book: not found

Structured Programming

E. DIJKSTRA, O Dahl, O.-J Dahl … (1972)

0 comments Cited 11 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 1979

Publication date (Online): May 24 2005

Pages: 228-251

DOI: 10.1007/3-540-09541-1_29

SO-VID: 1d4d8509-0cc2-4e9f-a6f7-681005f8e910

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 2

See all cited by

Specified programming

Read this book at

Related collections

Smart Contracts Programming Languages

Most cited references 10

A Transformation System for Developing Recursive Programs

A constructive approach to the problem of program correctness

Structured Programming

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,533

Cited by 2