The Refinement Calculator: Proof Support for Program Refinement (1997)

Cached

Download Links

by Michael Butler , Jim Grundy , Thomas Langbacka , Rimvydas Ruksenas , Joakim von Wright
Venue:Formal Methods Pacific ’97
Citations:27 - 2 self

Documents Related by Co-Citation

257 Refinement Calculus: A Systematic Introduction – R-J Back, J von Wright - 1998
10 Separating Timing and Calculation in Real-Time Refinement – Ian Hayes - 1998
477 Programming from Specifications – C C Morgan - 1998
1404 A Discipline of Programming – E W Dijkstra - 1976
8 A program refinement tool – D Carrington, I Hayes, R Nickson, G Watson, J Welsh - 1998
5 A Program Refinement Tool. Formal Aspects of Computing 10 – David A Carrington, Ian J Hayes, Ray Nickson, Geoffrey Watson, Jim Welsh - 1998
4 Bicarregui et al. Formal methods in practice: Case studies – J C - 1997
36 Laws of data refinement – J Morris - 1989
19 Combining Computational Effects: Commutativity and Sum – Martin Hyland, Gordon Plotkin, John Power - 2002
16 Using the Refinement Calculus for Dataflow Processes – Brendan P. Mahony - 1994
52 A case-study in timed refinement: A mine pump – Brendan P Mahony, Ian J Hayes - 1992
16 An overview of a refinement editor – T Vickers - 1990
9 Assertional specification and verification – J Hooman - 1996
22 A Real-Time Refinement Calculus That Changes Only Time – Mark Utting, Colin Fidge - 1996
6 IgorII - an analytical inductive functional programming system (tool demo – M Hofmann - 2010
8 Synthesizing number transformations from input-output examples – R Singh, S Gulwani - 2012
5 Programming with Specifications – P Suter - 2012
36 R.J.: Toward automatic program synthesis – Z Manna, Waldinger - 1971
15 Inferring Synchronization under Limited Observability – Martin Vechev, Eran Yahav, Greta Yorsh