LCS Technical Memos (1974 - 2003): Recent submissions
Now showing items 268-270 of 486
-
Estimateing a Probability using Finite Memory
(1983-11) -
Probabilistic Searching in Sorted Linked Lists
(1983-11)Janko [2] and Bentley, Stanat, and Steele [1] have described probabilistic procedures for data manipulation in sorted linnked lists. Their procedures are based on an algorithm which performs a Member search operation using ... -
From Denotational to Operational and Axiomatic Semantics for ALGOL-like Languages: An Overview
(1983-10)The advantages of denotational over operational semantics are argued. A denotational semantics is provided for an ALGOL-like language with finite-model procedures, blocks with local storage, and sharing (aliasing). Procedure ...
