Between Functions and Relations in Calculating Programs (1992)

by Graham Muir Hutton
Citations:15 - 4 self

Active Bibliography

4 Inductive Datatypes with Laws and Subtyping – A Relational Model – Theodorus Sebastiaan Voermans
A Relational Basis for Program Construction by Parts – unknown authors
8 A Relational Basis for Program Construction by Parts – Marc Frappier - 1995
2 Data Structures for Parallel Recursion – Jacob Kornerup - 1997
6 A Relational Approach To Optimization Problems – Sharon Curtis - 1996
23 A CSP Approach To Action Systems – Michael J. Butler - 1992
4 Calculate Categorically! – Maarten Fokkinga - 1992
1 Ideal stream algebra – Bernhard Möller - 1998
12 A Tool for Data Refinement – Rimvydas Ruksenas, et al. - 1997
13 Realtime Signal Processing -- Dataflow, Visual, and Functional Programming – Hideki John Reekie - 1995
5 A Calculational Theory of Pers as Types – Graham Hutton, Ed Voermans - 1992
Special Issue on ICIT 2009 Conference- Applied Computing – Fairouz Tchier - 2009
22 Fold and Unfold for Program Semantics – Graham Hutton - 1998
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
7 Encoding, Decoding, and Data Refinement – Ralph-Johan Back, Joakim von Wright - 1999
16 Using the Refinement Calculus for Dataflow Processes – Brendan P. Mahony - 1994
12 A Calculus for Predicative Programming – Emil Sekerinski - 1993
Ideal Streams – Bernhard Möller - 1994
5 Towards a Design Calculus for CSP – Rudolf Berghammer, Burghard Von Karger - 1995