Carnegie Mellon Libraries: University Archives: Habermann Collection
IV.
Papers 1965-1982, 1985-1992
Records History
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.
Scope
and Content Notes
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.
Box
2
FF65 Papers--Het Inwendig Produkt [in Dutch]--1965
FF66 Papers--On the Harmonious Co-operation of Abstract Machines [thesis]--1967
FF67 Papers--SPARCX: A Simple Machine Model--1969
FF68 Papers--Specification of an ALGOL System for the PDP-10--1969
FF69 Papers--Operating Systems: Prevention of Systems Deadlocks--July 1969
FF70 Papers--BLISS Reference Manual--Draft--January 1970
FF71 Papers--BLISS Reference Manual--Revision--January 1970[1970-1971]
FF72 Papers--Computer Networks--September-October 1970
FF73 Papers--Simula 67 Project--Reference Material--1970-1978
FF74 Papers--An Operating System Modelled as a Set of Interacting Processes--March
1971
FF75 Papers--An Undergraduate Course on Operating Systems Principles--June 1971
FF76 Papers--Introduction to ALGOL 60 for Those Who Have Used Other Programming
Languages--September 1971
FF77 Papers--BLISS: A Language for Systems Programming--December 1971
FF78 Papers--Thoughts that Start and End with the R,W Problem--February 1972
FF79 Papers--Synchronization of Communicating Processes--March 1972
FF80 Papers--On a Solution and a Generalization of the Cigarette Smokers' Problem--August
1972
FF81 Papers--Parallel Neighbor-Sort--August 1972
FF82 Papers--Designing and Documenting Operating Systems--May 1973
FF83 Papers--Program Reduction, and Aid to Verifications of Concurrent Processes--May
1973
FF84 Papers--Equivalence of Some Deadlock-avoidance Criteria--July 1973
FF85 Papers--A Spectrum of Deadlock Avoidance Strategies--September 1973
FF86 Papers--Critical Comments on the Programming Language Pascal--1973 [1973,
1980]
FF87 Papers--Specifications of Process Synchronization by Path Expressions--January
1974
FF88 Papers--A New Approach to Avoidance of System Deadlocks--April 1974
FF89 Papers--Academic Presentation for Tenth Anniversary of Computer Science Department--1975
FF90 Papers--Introduction to ALGOL W for Those Who Have Used Other Programming
Languages--1975
FF91 Papers--Modularization and Hierarchy in a Family of Operating Systems--1975
[1975-1978]
FF92 Papers--On the Concurrency of Parallel Processes--1975 [1975-1977]
FF93 Papers--Correctness Proof of a Quadratic-hash Algorithm--March 1975
FF94 Papers--Path Expressions--June 1975
FF95 Papers--On the Timing Restrictions of Concurrent Processes--November 1975
FF96 Papers--On Systems Design and Maintenance Control--1976
FF97 Papers--On System Development Control
FF98 Papers--Toward the Construction of Verifiable Software Systems--January 1976
FF99 Papers--An Integrated System of Tools for Developing and Maintaining Ada
Programs--December 1978
FF100 Papers--A Software Development Control System--1979
FF101 Papers--Euclid Language Reference Materials--1979
FF102 Papers--Implementation of Regular Path Expressions--February 1979
FF103 Papers--Statement of Interest and Work Related to Software Development--1979
FF104 Papers--Microprogramming as Operating System Design Tool--March 1979
FF105 Papers--Tools for Software System Construction--March 1979 [1979-1980]
FF106 Papers--Efficient Implementation of Ada Tasks--December 1979 [1979-1980]
FF107 Papers--Well-formed System Compositions--March 1980
FF108 Papers--System Control and Version Control for Ada--May 1980
FF109 Papers--Gandalf System Development Environments [folder 1]--1980 [1980-1986]
FF110 Papers--Gandalf System Development Environments [folder 2]--1980 [1980-1986]
FF111 Papers--System Composition and version Control for Ada--May 1980 [1980-1986]
FF112 Papers--Use of Ada Packages--November 1980 [1980-1982]
FF113 Papers--Address Space Management in the DAS Operating System--1981
FF114 Papers--Language Issues in Functional Programming--March 1981
FF115 Papers--A Compendium of Gandalf Documentation--April 1981
FF116 Papers--Programmatics and its Language Alfa [folder 1]--October 1981 [1981-1983]
FF117 Papers--Programmatics and its Language Alfa [folder 2]--October 1981 [1981-1983]
Box
3
FF118 Papers--Programmatics and its Language Alfa [folder 3]--October 1981 [1981-1983]
FF119 Papers--Programmatics and its Language Alfa [folder 4]--October 1981 [1981-1983]
FF120 Papers--An Environment for System Version Control--December 1981 [1981-1983]
FF121 Papers--Second Compendium of Gandalf Documentation--May 1982
FF122 Papers--Deriving Efficient Graph Algorithms --December 1982
FF123 Papers--Automatic Deletion of Obsolete Information--1985
FF124 Papers--A Flexible Modular Environment for Programming Languages--March
1985
FF125 Papers--Software Engineering Today--May 1985
FF126 Papers--A Brief Comparison Between Ada and Unix + C--June 1985
FF127 Papers--Technological Advances in Software Engineering--August 1985 [1985-1986]
FF128 Papers--Software Engineering Institute: Bridging Practice and Potential--November
1985
FF129 Papers--Environment for the Software Engineer--January 1986
FF130 Papers--A Functional Environment for Reusable Programs [report for Angel
Jordan]--Spring 1986
FF131 Papers--Automation of the Generation of Programming Environments--Spring
1986
FF132 Papers--Preliminary Evaluation of the Ada Language System--March 1986
FF133 Papers--A Quick Overview of the Gandalf System--April 1986
FF134 Papers--A Number Problem and its Solution--October 1986
FF135 Papers--Reference Papers by Perry, Kaiser--Fall 1986
FF136 Papers--A Short History of the Gandalf Project--August 1986 [1986-1987]
FF137 Papers--A Short History of the Gandalf Project--German Translation--October
1986 [1986-1989]
FF138 Papers--A Methodology and Criteria for Evaluating Environments--December
1986 [1986-1988]
FF139 Papers--CMU Research Review Preface--1987
FF140 Papers--The Software Engineering Institute at CMU--1987
FF141 Papers--Trends in Software Development Environments--1987
FF142 Papers--Vocal Software Reference Material--January 1987
FF143 Papers--Thoughts on Teaching Computer Science--May-June 1987
FF144 Papers--A Comparison of Optimizing Compilers--June 1987
FF145 Papers--Research in Programming Environment Design [for Tom Wheeler]--June
1987
FF146 Papers--A Software Development Methodology Based on Reusability and Automation
[for Sera Amoroso]--1988
FF147 Papers--Faceted Multiple Inheritance: Make That a BUD Light--1988
FF148 Papers--Scaling Up Integrated Software Developments--April 1988
FF149 Papers--Apropos Language Design--August 1988 [August, November 1988]
FF150 Papers--Engineering Large, Knowledge-based Systems [Spain paper, October
1988]--September 1988 [1988-1989]
FF151 Papers--Programming Environments for Reusability [for conference in Utrecht,
October 1988]--September 1988
FF152 Papers--Linear-A Language Design [folder 1]--November 1988 [1988-1990]
FF153 Papers--Linear-A Language Design [folder 2]--November 1988 [1988-1990]
FF154 Papers--Linear-A Language Design [folder 3] --November 1988 [1988-1990]
FF155 Papers--Linear-A Language Design [folder 4] --November 1988 [1988-1990]
FF156 Papers--Computer Science: Science or Engineering?--Notes--1989
FF157 Papers--CMU Research Review Preface--1989
FF158 Papers--Notes on THE System--1989
FF159 Papers--Rotate and Double--Edsger Dijkstra Celebration--September 1989 [1989-1990]
FF160 Papers--Rebuttal to Dijkstra's On the Cruelty of Teaching Computer Science--December
1989 [1989-1990]
FF161 Papers--Introductory Education in Computer Science--May 1990 [1990-1991]
FF162 Papers--Beyond Schema Evolution to Database Reorganization--October 1990
FF163 Papers--Generation of Integrated Task-specific Software Environments--1991
[1989-1991]
FF164 Papers--Gandalf Monograph Contribution--January 1991
FF165 Papers--Software Engineering Practice, Research and Education [for Siemens
ZTE Tenth Anniversary]--March 1991
FF166 Papers--Case Loops--July 1991
FF167 Papers--Ada and Beyond--August 1991
FF168 Papers--Future Directions in Software Engineering--February 1992
