Lawrence Flon

According to our database, Lawrence Flon authored at least 7 papers between 1975 and 1981.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1981

The Total Correctness of Parallel Programs.

Lawrence Flon, Norihisa Suzuki

SIAM J. Comput., 1981

1978

A fundamental computer science course that unifies theory and practice.

Lawrence Flon, Paul N. Hilfinger, Mary Shaw, William A. Wulf

Proceedings of the Papers of the SIGCSE/CSA technical symposium on Computer science education, 1978

Consistent and Complete Proof Rules for the Total Correctness of Parallel Programs

Lawrence Flon, Norihisa Suzuki

Proceedings of the 19th Annual Symposium on Foundations of Computer Science, 1978

1977

Nondeterminism and the Correctness of Parallel Programs.

Lawrence Flon, Norihisa Suzuki

Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977

1976

Modularization and Hierarchy in a Family of Operating Systems.

A. Nico Habermann, Lawrence Flon, Lee W. Cooprider

Commun. ACM, 1976

Towards the Construction of Verifiable Software Systems.

Lawrence Flon, A. Nico Habermann

Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, 1976

1975

On research in structured programming.

Lawrence Flon

ACM SIGPLAN Notices, 1975