F. Lockwood Morris

According to our database1, F. Lockwood Morris authored at least 11 papers between 1972 and 2007.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2007
A few exercises in theorem processing.
Theor. Comput. Sci., 2007

1995
A Generalization of the Trie Data Structure.
Math. Struct. Comput. Sci., 1995

1993
The Next 700 Formal Language Descriptions.
LISP Symb. Comput., 1993

1992
Domains for Logic Programming.
Theor. Comput. Sci., 1992

1984
An Early Program Proof by Alan Turing.
IEEE Ann. Hist. Comput., 1984

1982
Another Compacting Garbage Collector.
Inf. Process. Lett., 1982

1980
Computing Cyclic List Structures.
Proceedings of the 1980 LISP Conference, Stanford, California, USA, August 25-27, 1980., 1980

1978
A Time- and Space-Efficient Garbage Compaction Algorithm.
Commun. ACM, 1978

A Metalanguage for Interactive Proof in LCF.
Proceedings of the Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, 1978

1973
Advice on Structuring Compilers and Proving Them Correct.
Proceedings of the Conference Record of the ACM Symposium on Principles of Programming Languages, 1973

1972
Correctness of translations of programming languages: an algebraic approach.
PhD thesis, 1972


  Loading...