A New Approach to Avoidance of System Deadlocks, April 1974

In Habermann's office files these folders composed a section entitled Papers and Reports, which was maintained in reverse chronological order, by year and paper date. Habermann's intention was to keep available, by date of authorship, his scientific papers and administrative reports for professional involvements. Represented were published and unpublished papers often co-authored on operating systems design, computer languages such as Ada, ALGOL and Gandalf, and on software engineering issues such as system deadlocks. Habermann also collected reference papers by colleagues, including the set for an unknown project or entity called Simula 67 collected 1970-1978. Reports were addressed toward improvement of the CMU Computer Science Department, School of Computer Science, and Software Engineering Institute; and toward advisement on consulting or CMU external relations contractees such as the National Science Foundation, U.S. Department of Defense and the Office of Naval Research. As received by the University Archives, the Papers and Reports files contained empty folders with these paper titles: Bracket Game (Research Memo), n.d.; Ervaringen met Bewegings meetkunde (Results of the New Math Teaching Method), 1961; Transformatie Meetkunde, 1962; Reports on the ALGOL Compiler, 1966; Computerwiskunde, 1969; "Integrated Design" SIGPLAN Notices, September 1973; On the Scheduling Aspects of Timing Concurrent Processes, 1973; Operations on Shared Data Controlled by Function Modules in Type Definitions, October 1973. Twenty-four Reports folders were exported from the one and one-half-box Papers series; the eighteen whose contents were not already represented in the collection were arranged within the topic-appropriate series Books, Teaching, External Relations, Consulting or Talks. Habermann's Papers folders are essentially intact, though rearranged chronologically, then by alphabet where applicable. Because the predominant method was to file all drafts of a paper into one or more folders with the same title, those papers composed over a long period and originally foldered under different years are now collected in that manner, under date of first draft. Bracketed [] dates indicate sequential drafts in a folder or folder set. The vitae in the Personal series offer the most complete listing of Habermann's published papers. Photocopies of overhead transparencies are included in many folders.