The Ruby Interpreter

QR Code

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 t...

Full description

Bibliographic Details
Main Author:	Hutton, Graham
Format:	Monograph
Published:	Department of Computing Science 1993
Online Access:	https://eprints.nottingham.ac.uk/238/

Similar Items

Simulation study on CCD tomography system for ruby stone optical properties
by: Syarfa Najihah, Raisin, et al.
Published: (2021)

Analysis on clarity of rubies gemstones using charge-coupled device (CCD)
by: Fatinah, Mohd Rahalim, et al.
Published: (2021)

Esp for hospitality and tourism students : a needs analysis / Krishna Rubi Munusamy.
by: Munusamy, Krishna Rubi
Published: (2011)

Proposed new interior design of Ruby Pets Clinic for Ruby Anandan Sdn. Bhd. at No. 22, Jln Jati 3/6, Seksyen 3, 40000 Shah Alam, Selangor / Khairah Filzah Aman
by: Aman, Khairah Filzah
Published: (2011)

RubiX: combining spatial resolutions for Bayesian inference of crossing fibers in diffusion MRI
by: Sotiropoulos, S.N., et al.
Published: (2013)

The signalling value of public issue and offer for sale ratios on the performance of initial public offers / Lin Yong Tong and Rubi Ahmad
by: Lin, Yong Tong, et al.
Published: (2018)

Estudos Cinéticos, Isotérmicos e Termodinâmicos Referentes à Adsorção do Corante Têxtil Rubi 2G Dianix sobre Quitosana.
by: Chaves, J.A.P., et al.
Published: (2011)

Between functions and relations in calculating programs
by: Hutton, Graham
Published: (1992)

The Countdown Problem
by: Hutton, Graham
Published: (2002)

Fold and Unfold for Program Semantics
by: Hutton, Graham
Published: (1998)

Functional Programming With Relations
by: Hutton, Graham
Published: (1991)

A Relational Derivation of a Functional Program
by: Hutton, Graham
Published: (1992)

Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic
by: Hutton, Graham
Published: (1994)

Report on BCTCS 2005
by: Hutton, Graham
Published: (2005)

Higher-Order Functions for Parsing
by: Hutton, Graham
Published: (1992)

A Tutorial on the Universality and Expressiveness of Fold
by: Hutton, Graham
Published: (1999)

Altitude, adaptation, and ancestry and the interpretation of lung function tests
by: Hii, R., et al.
Published: (2019)

Interpretation of the reasons for judgment in Amos 2.6-16 in the redactional compositions underlying the Amos-text
by: Hamborg, Graham
Published: (2009)

Impact of directionality on student interpreters’ performance in consecutive interpreting
by: Rong, Lu, et al.
Published: (2023)

Impact of directionality on student interpreters performance in consecutive interpreting
by: Lu, Rong, et al.
Published: (2023)

ECG Interpretation
by: Shalihin, Mohd Shaiful Ehsan
Published: (2019)

Remembering and Forgetting Anzac Cottage: Interpreting the Community Significance of war Memorials Since World War 1
by: Seal, Graham
Published: (2009)

Worker/wrapper/makes it/faster
by: Hackett, Jennifer, et al.
Published: (2014)

Work it, wrap it, fix it, fold it
by: Sculthorpe, Neil, et al.
Published: (2014)

Towards modular compilers for effects
by: Day, Laurence, et al.
Published: (2012)

Compiling concurrency correctly: cutting out the middle man
by: Hu, Liyang, et al.
Published: (2010)

Compact fusion
by: Hope, Catherine, et al.
Published: (2006)

Calculating an exceptional machine
by: Hutton, Graham, et al.
Published: (2006)

Bananas in space: extending fold and unfold to exponential types
by: Meijer, Erik, et al.
Published: (1995)

The Generic Approximation Lemma
by: Hutton, Graham, et al.
Published: (2001)

Proof Methods for Corecursive Programs
by: Hutton, Graham, et al.
Published: (2005)

Compiling Exceptions Correctly
by: Hutton, Graham, et al.
Published: (2004)

Categories, Allegories, and Circuit Design
by: Brown, Carolyn, et al.
Published: (1994)

Calculating an Exceptional Machine
by: Hutton, Graham, et al.
Published: (2005)

Proof methods for structured corecursive programs
by: Gibbons, Jeremy, et al.
Published: (1999)

Monadic parser combinators
by: Hutton, Graham, et al.
Published: (1996)

Making Functionality More General
by: Hutton, Graham, et al.
Published: (1992)

A Calculational Theory of Pers as Types
by: Hutton, Graham, et al.
Published: (1992)

Accurate Step Counting
by: Hope, Catherine, et al.
Published: (2005)

Back to Basics: Deriving Representation Changers Functionally
by: Hutton, Graham, et al.
Published: (1996)