Lawrence Flon

Publication Activity (10 Years)

Years Active: 1975-1981
Publications (10 Years): 0

Publications

Lawrence Flon, Norihisa Suzuki
The Total Correctness of Parallel Programs. SIAM J. Comput. 10 (2) (1981)
Lawrence Flon, Paul N. Hilfinger, Mary Shaw, William A. Wulf
A fundamental computer science course that unifies theory and practice. SIGCSE/CSA (1978)
Lawrence Flon, Norihisa Suzuki
Consistent and Complete Proof Rules for the Total Correctness of Parallel Programs FOCS (1978)
Lawrence Flon, Norihisa Suzuki
Nondeterminism and the Correctness of Parallel Programs. Formal Description of Programming Concepts (1977)
Lawrence Flon, A. Nico Habermann
Towards the Construction of Verifiable Software Systems. Conference on Data: Abstraction, Definition and Structure (1976)
A. Nico Habermann, Lawrence Flon, Lee W. Cooprider
Modularization and Hierarchy in a Family of Operating Systems. Commun. ACM 19 (5) (1976)
Lawrence Flon
On research in structured programming. ACM SIGPLAN Notices 10 (10) (1975)