论文信息 - The Ruby Interpreter

The Ruby Interpreter

Ruby is a relational calculus for designing digital circuits. This document is a guide to the Ruby interpreter, which allows a special class of $quot;implementable$quot; Ruby programs to be executed. The Ruby interpreter is written in the functional programming language Lazy ML, and is used under the interactive Lazy ML system.

Graham Hutton | G. Hutton

[1] M. Sheeran,et al. Theoretical Foundations of VLSI Design: Describing and reasoning about circuits using relations , 1990 .

[2] Mary Sheeran,et al. Designing Arithmetic Circuits by Refinement in Ruby , 1994, Sci. Comput. Program..

[3] Graham Hutton,et al. Between functions and relations in calculating programs , 1992 .

[4] Mary Sheeran,et al. Designing Arithmetic Circuits by Refinement in Ruby , 1994, Sci. Comput. Program..

[5] Mary Sheeran,et al. Describing Butterfly Networks in Ruby , 1989, Functional Programming.

[6] Geraint Jones,et al. Designing Circuits By Calculation , 1990 .