Implementing Ruby in a Higher-Order Logic Programming Language (1995)

Cached

Download Links

by Richard McPhee
Citations:2 - 0 self

Active Bibliography

6 A Relational Approach To Optimization Problems – Sharon Curtis - 1996
3 A Relational Derivation of a Functional Program – Graham Hutton - 1992
15 Between Functions and Relations in Calculating Programs – Graham Muir Hutton - 1992
6 The Ruby Interpreter – Graham Hutton - 1994
21 Relations and Refinement in Circuit Design – Geraint Jones, Mary Sheeran - 1991
19 The T-Ruby Design System – Robin Sharp, Ole Rasmussen - 1995
6 Back to Basics: Deriving Representation Changers Functionally – Graham Hutton, Erik Meijer - 1993
7 Using a Language of Functions and Relations for VLSI Specification – Robin Sharp, Ole Rasmussen - 1995
6 Compositional Logic Programming – Richard McPhee, Richard Mcphee - 2000
A Framework for Refining Functional Specifications into Parallel Reconfigurable Hardware Implementations – John Hawkins - 2005
20 Architectural Descriptions for FPGA Circuits – Satnam Singh - 1995
5 A Calculational Theory of Pers as Types – Graham Hutton, Ed Voermans - 1992
7 Making Functionality More General – Graham Hutton - 1992
12 Universal regular path queries – Oege De Moor, David Lacey, Eric Van Wyk - 2003
22 Fold and Unfold for Program Semantics – Graham Hutton - 1998
2 Data Structures for Parallel Recursion – Jacob Kornerup - 1997
13 Towards a Declarative Framework for Hardware-Software Codesign – Wayne Luk, Teddy Wu - 1994
1 Translation of Ruby into VHDL – Ole Sandum - 1994
9 (Relational) Programming Laws in the Boom Hierarchy of Types – Paul F. Hoogendijk - 1992