LCS Technical Memos (1974 - 2003): Recent submissions
Now showing items 334-336 of 486
-
Theory and Practice of Text Editors or A Cookbook for an Emacs
(1980-05)A comprehensive summary of the available technology for implementing text editors. It is written to be a guide for the implementor of a text editor. It does not provide a finished, polished algorithm for any part of a text ... -
The Cryptographic Security of Compact Knapsacks (Preliminary Report)
(1980-04)In 1978, Merkle and Hellman introduced a knapsack-based public-key cryptosystem, which received widespread attention. The two major open problems concerning this cryptosystem are: (i) Security: How difficult are the ... -
Axiomatic Definitions of Programming Languages: A Theoretical Assessment
(1980-04)A precise definition is given of how partial correctness or termination assertions serve to define the semantics of classees of program schemes. Assertions involving only formulas of first order predicate calculus are ...
