5571 results in Programming Languages and Applied Logic
8 - An Extension to Total Correctness
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 146-180
-
- Chapter
- Export citation
12 - VDM
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 289-316
-
- Chapter
- Export citation
7 - Simulation and Hoare Logic
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 132-145
-
- Chapter
- Export citation
Contents
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp v-vii
-
- Chapter
- Export citation
10 - Refinement Calculus
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 194-235
-
- Chapter
- Export citation
13 - Z, Hehner's Method, and Back's Refinement Calculus
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 317-339
-
- Chapter
- Export citation
11 - Reynolds' Method
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 257-288
-
- Chapter
- Export citation
5 - Notation and Semantics
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 90-120
-
- Chapter
- Export citation
Data Refinement
- Model-Oriented Proof Methods and their Comparison
-
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998
14 - Refinement Methods due to Abadi and Lamport and to Lynch
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 340-362
-
- Chapter
- Export citation
1 - Introduction to Data Refinement
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 2-18
-
- Chapter
- Export citation
Index
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 419-423
-
- Chapter
- Export citation
9 - Simulation and Total Correctness
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 181-193
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 404-418
-
- Chapter
- Export citation
2 - Simulation as a Proof Method for Data Refinement
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 19-48
-
- Chapter
- Export citation
3 - Relations and Recursion
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp 49-72
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Data Refinement
- Published online:
- 03 May 2010
- Print publication:
- 03 December 1998, pp i-iv
-
- Chapter
- Export citation
I - Basic Principles
-
- Book:
- The Functional Approach to Programming
- Published online:
- 05 June 2012
- Print publication:
- 29 October 1998, pp 7-12
-
- Chapter
- Export citation
3 - Semantics
-
- Book:
- The Functional Approach to Programming
- Published online:
- 05 June 2012
- Print publication:
- 29 October 1998, pp 73-106
-
- Chapter
- Export citation
10 - Exact Arithmetic
-
- Book:
- The Functional Approach to Programming
- Published online:
- 05 June 2012
- Print publication:
- 29 October 1998, pp 337-360
-
- Chapter
- Export citation