| |
| 2007 | ||
|---|---|---|
| 5 | EE | F. Lockwood Morris: A few exercises in theorem processing. Theor. Comput. Sci. 375(1-3): 335-345 (2007) |
| 1995 | ||
| 4 | Richard H. Connelly, F. Lockwood Morris: A Generalization of the Trie Data Structure. Mathematical Structures in Computer Science 5(3): 381-418 (1995) | |
| 1982 | ||
| 3 | F. Lockwood Morris: Another Compacting Garbage Collector. Inf. Process. Lett. 15(4): 139-142 (1982) | |
| 1978 | ||
| 2 | F. Lockwood Morris: A Time- and Space-Efficient Garbage Compaction Algorithm. Commun. ACM 21(8): 662-665 (1978) | |
| 1973 | ||
| 1 | F. Lockwood Morris: Advice on Structuring Compilers and Proving Them Correct. POPL 1973: 144-152 | |
| 1 | Richard H. Connelly | [4] |