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

Linked Resources