F. Lockwood Morris
Syracuse University(US)
Publications by Year
Research Areas
Logic, programming, and type systems, Algorithms and Data Compression, semigroups and automata theory, Logic, Reasoning, and Knowledge, Parallel Computing and Optimization Techniques
Most-Cited Works
- → Advice on structuring compilers and proving them correct(1973)129 cited
- → An Early Program Proof by Alan Turing(1984)83 cited
- → A time- and space-efficient garbage compaction algorithm(1978)66 cited
- → A generalization of the trie data structure(1995)25 cited
- → Playing disjunctive sums is polynomial space complete(1981)18 cited
- → Correctness of Translations of Programming Languages -- An Algebraic Approach(1972)12 cited
- → Prohibiting repetitions makes playing games substantially harder(1984)7 cited
- On List Structures and Their Use in the Programming of Unification(1978)
- → Computing cyclic list structures(1980)4 cited
- → Another compacting garbage collector(1982)2 cited