Data Refinement
Latest Publications

TOTAL DOCUMENTS

22

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Cambridge University Press

9780521641708, 9780521103503, 9780511663079

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Precedences

Data Refinement ◽

10.1017/cbo9780511663079.021 ◽

1998 ◽

pp. 402-403

A Primer on Ordinals and Transfinite Induction

Data Refinement ◽

10.1017/cbo9780511663079.019 ◽

1998 ◽

pp. 387-393

Keyword(s):

Transfinite Induction

Picture Gallery

Data Refinement ◽

10.1017/cbo9780511663079.012 ◽

1998 ◽

pp. 236-254

Refinement Calculus

Data Refinement ◽

10.1017/cbo9780511663079.011 ◽

1998 ◽

pp. 194-235

Keyword(s):

Refinement Calculus

An Extension to Total Correctness

Data Refinement ◽

10.1017/cbo9780511663079.009 ◽

1998 ◽

pp. 146-180

Keyword(s):

Total Correctness

Simulation and Hoare Logic

Data Refinement ◽

10.1017/cbo9780511663079.008 ◽

1998 ◽

pp. 132-145

Keyword(s):

Hoare Logic

Simulation as a Proof Method for Data Refinement

Data Refinement ◽

10.1017/cbo9780511663079.003 ◽

1998 ◽

pp. 19-48

Keyword(s):

Data Refinement

Notational Convention

Data Refinement ◽

10.1017/cbo9780511663079.020 ◽

1998 ◽

pp. 394-401

Keyword(s):

Notational Convention

An Introduction to Hoare Logic

Data Refinement ◽

10.1017/cbo9780511663079.018 ◽

1998 ◽

pp. 363-386

Keyword(s):

Hoare Logic

Applications

Data Refinement ◽

10.1017/cbo9780511663079.013 ◽

1998 ◽

pp. 255-256