Combining engineering vigor with mathematical rigor

This publication has 8 references indexed in Scilit:

• HOL: A Proof Generating System for Higher-Order Logic
  Published by Springer Nature ,1988
• Revised ³ report on the algorithmic language scheme
  ACM SIGPLAN Notices, 1986
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• Designing regular array architectures using higher order functions
  Published by Springer Nature ,1985
• Design Verification System for Large-Scale LSI Designs
  IBM Journal of Research and Development, 1982
• Boolean Comparison of Hardware and Flowcharts
  IBM Journal of Research and Development, 1982
• Can programming be liberated from the von Neumann style?
  Communications of the ACM, 1978
• A 40-ns 17-Bit by 17-Bit Array Multiplier
  IEEE Transactions on Computers, 1971