F. Lockwood Morris

Publication Activity (10 Years)

Years Active: 1973-2007
Publications (10 Years): 0

Publications

F. Lockwood Morris
A few exercises in theorem processing. Theor. Comput. Sci. 375 (1-3) (2007)
Richard H. Connelly, F. Lockwood Morris
A Generalization of the Trie Data Structure. Math. Struct. Comput. Sci. 5 (3) (1995)
Ivan Filippenko, F. Lockwood Morris
Domains for Logic Programming. Theor. Comput. Sci. 94 (1) (1992)
F. Lockwood Morris, Cliff B. Jones
An Early Program Proof by Alan Turing. IEEE Ann. Hist. Comput. 6 (2) (1984)
F. Lockwood Morris
Another Compacting Garbage Collector. Inf. Process. Lett. 15 (4) (1982)
F. Lockwood Morris
A Time- and Space-Efficient Garbage Compaction Algorithm. Commun. ACM 21 (8) (1978)
F. Lockwood Morris
Advice on Structuring Compilers and Proving Them Correct. POPL (1973)