Designing arithmetic circuits by refinement in Ruby
- 1 January 1993
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 208-232
- https://doi.org/10.1007/3-540-56625-2_15
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A note on abstraction in RubyPublished by Springer Science and Business Media LLC ,1992
- Functional Programming, Glasgow 1991Published by Springer Science and Business Media LLC ,1992
- Constructing a calculus of programsLecture Notes in Computer Science, 1989
- Lectures on Constructive Functional ProgrammingPublished by Springer Science and Business Media LLC ,1989
- An Introduction to the Theory of ListsPublished by Springer Science and Business Media LLC ,1987
- Designing regular array architectures using higher order functionsLecture Notes in Computer Science, 1985