Artifact Details

Title

Three papers from 1977

Document Titles

A necessary and sufficient condtion for the existence of Hoare logics

Document Titles

Consistency and correctness of duplicate database systems

Document Titles

Evaluation of mouse, rate-controlled isometric joystick, step keys, and text keys for text selection on a CRT

Catalog Number

102660559

Type

Text

Date

1977

Author

Lipton, Richard J.

Publisher

Xerox PARC (Palo Alto Research Center)

Category

Technical Report

Collection Title

Company Collection

Lot Number

X3067.2005