F. Lockwood Morris

Advice on structuring compilers and proving them correct

F. Lockwood Morris · 1973 · 129 citations · Full text

Computing, Computer Science, Compilers +11

An Early Program Proof by Alan Turing

F. Lockwood Morris, Cliff B. Jones · IEEE Annals of the History of Computing · 1984 · 85 citations

Computing, Computer Science, Formal Methods +10

A time- and space-efficient garbage compaction algorithm

F. Lockwood Morris · Communications of the ACM · 1978 · 66 citations · Full text

Computing, Computer Engineering, Computer Science +15

A generalization of the trie data structure

Richard Connelly, F. Lockwood Morris · Mathematical Structures in Computer Science · 1995 · 25 citations

Computing, Computer Science, Data Structures +11

Playing disjunctive sums is polynomial space complete

F. Lockwood Morris · International Journal of Game Theory · 1981 · 18 citations

Natural Sciences, Computer Science, Mathematics +7