W. B. Easton

Publications20
h-index4
Citations229
Highly Influential Citations14
Claim Author Page
Author pages are created from data sourced from our academic publisher partnerships and public sources.

Recommended Authors

  • J. Dennis
  • 129 Publications, 4,695 Citations
  • J. H. Saltzer
  • 74 Publications, 7,605 Citations
  • B. Lampson
  • 174 Publications, 11,343 Citations
  • R. W. Watson
  • 22 Publications, 156 Citations
  • Publications
  • Influence
Powers of regular cardinals
  • 186
  • 10
Process synchronization without long-term interlock
TLDR
A technique is presented for replacing long-term interlocking of shared data by the possible repetition of unprivileged code in case a version number (associated with the shared data) has been changed by another process. Expand
  • 16
  • 1
TOWARD SEMI-AUTOMATED MATHEMATICS: THE LANGUAGE AND LOGIC OF SAM III.
TLDR
This report describes the third in a series of computer experiments designed to explore the extent to which computers may feasibly be used in doing formal mathematics. Expand
  • 3
  • 1
INTRODUCTION TO SEMI-AUTOMATED MATHEMATICS.
Abstract : The subject of this report is mechanical theorem proving, and in it are described two computer programs that represent an approach different from the usual ones based on the Herbrand… Expand
  • 2
  • 1
CRT-AIDED SEMI-AUTOMATED MATHEMATICS
TLDR
SAM V, the fifth program, uses a cathode ray tube as the principal interface between the mathematician and a high speed digital computer for semi-automated mathematics. Expand
  • 9
  • 1
Review: Paul J. Cohen, The Independence of the Continuum Hypothesis
  • 9
Process synchronization without long-term interlock
A technique is presented for replacing long-term interlocking of shared data by the possible repetition of unprivileged code in case a version number (associated with the shared data) has been… Expand
  • 1
SEMI-AUTOMATED MATHEMATICS: SAM IV.
TLDR
The fourth in a series of computer experiments on theorem proving is described. Expand
  • 2
Space Travel and Space Theology
Out of the Depths