Three Computer Cultures: Computer Technology, Computer Mathematics, and Computer Science

This publication has 11 references indexed in Scilit:

• PAL---a language designed for teaching programming linguistics
  Published by Association for Computing Machinery (ACM) ,1968
• Correctness of a compiler for arithmetic expressions
  Proceedings of Symposia in Applied Mathematics, 1967
• Assigning meanings to programs
  Published by American Mathematical Society (AMS) ,1967
• Programming Languages and Computers: A Unified Metatheory
  Published by Elsevier ,1967
• Algebraic theory of machines. I. Prime decomposition theorem for finite semigroups and machines
  Transactions of the American Mathematical Society, 1965
• The Mechanical Evaluation of Expressions
  The Computer Journal, 1964
• Floating-point arithmetic with 84-bit numbers
  Communications of the ACM, 1964
• The Main Features of CPL
  The Computer Journal, 1963
• Revised report on the algorithmic language ALGOL 60
  Communications of the ACM, 1963
• A note on mathematical induction on phrase structure grammars
  Information and Control, 1961