Between Functions and Relations in Calculating Programs (1992)

by Graham Muir Hutton
Citations:15 - 4 self

Documents Related by Co-Citation

81 Circuit design in Ruby – Geraint Jones, Mary Sheeran - 1990
21 Relations and Refinement in Circuit Design – Geraint Jones, Mary Sheeran - 1991
19 Designing Circuits By Calculation – Geraint Jones, Geraint Jones - 1990
8 Relationen und Grafen – G Schmidt, T Strohlein - 1988
26 Designing Arithmetic Circuits by Refinement in Ruby – Geraint Jones, Mary Sheeran - 1992
6 The Ruby Interpreter – Graham Hutton - 1994
14 Describing and reasoning about circuits using relations – Mary Sheeran - 1986
13 Transformational Rewriting with Ruby – Robin Sharp, Ole Rasmussen - 1993
8 T-Ruby: A tool for handling Ruby expressions – Robin Sharp - 1996
6 The Ruby Framework – Robin Sharp - 1993
8 Describing butterfly networks in Ruby – Mary Sheeran - 1989
5 Partial relations for program derivation – Paulo Veloso, Armando Haeberer - 1991
27 Bicategories of spans and relations – Aurelio Carboni, Stefano Kasangian, Ross Street - 1984
31 O.: Categories, relations and dynamic programming – de Moor - 1992
1312 Monads for functional programming – Philip Wadler - 1995
215 An introduction to the theory of lists – R S Bird - 1987
7 Designing arithmetic circuits by refinement in – Geraint Jones, Mary Sheeran - 1994
212 On the calculus of relations – A Tarski - 1941
7 Retiming and slowdown – Mary Sheeran - 1988