dblp.uni-trier.dewww.uni-trier.de

F. Lockwood Morris

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
5EEF. 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

Coauthor Index

1Richard H. Connelly [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)