1980

6 references published this year.

Mathematical theory of program correctness

Jacobus W. de Bakker (1980)

Comments on "The case for the reduced instruction set computer," by Patterson and Ditzel

Douglas W. Clark et al. (1980) · ACM SIGARCH Computer Architecture News

The unreasonable effectiveness of mathematics

Richard Wesley Hamming (1980) · The American Mathematical Monthly

Basic Research in Artificial Intelligence and Foundations of Programming

John McCarthy et al. (1980)

WWMCCS and the Computer that Can

Perry R. Nuhn (1980) · The US Army War College Quarterly: Parameters

The case for the reduced instruction set computer

David A. Patterson et al. (1980) · ACM SIGARCH Computer Architecture News