Modularization and Hierarchy In a Family of Operating Systems. (2002)
Habermann,A. N., Flon,Lawrence, Cooprider,Lee, Feiler,Peter, Guarino,Loretta
The objective of the Family of Operating Systems project has been to investigate the feasibility of constructing systems which use identical or similar resources and share basic design decisions. The...
Nondeterminism and the Correctness of Parallel Programs. (2002)
Flon,Lawrence, Suzuki,Norihisa
This paper presents the weakest preconditions which describe weak correctness, blocking, deadlock, and starvation for nondeterministic programs. A procedure for converting parallel programs to...
Metaprogramming: A New Methodology for the Construction of Quality Software. (2002)
Flon,Lawrence, Cooprider,Lee, Horowitz,Ellis, Curran,Anne M., Paradan,Thierry
There were three major contributions that came out of this research. The first was the development of a program development environment that permits software to be reused. The second was the...