Carnegie Mellon Libraries: University Archives: Habermann Collection
V. Editorial
1986-1991
Records
History
The office files contained folder sets representing Habermann's oversight of collegial
reviews (or refereeing ) of papers for publication and, frequently, non-publication
in computer science journals. The Editorial series arranges Habermann's assigning,
to topic-expert colleagues, of paper reviews for ACTA Informatica, TOPLAS (Transactions
on Programming Languages and Systems, organ of ACM, the Association for Computing
Machinery), and the three journals of the IEEE (Institute of Electronics and Electrical
Engineers): Computer, Software, and Transactions in Software Engineering, in ascending
order from popular to professional orientation. The series also includes two papers
privately submitted for review.
Scope
and Content Notes
The Editorial series (one box in length) is arranged in alphabetical order by
publication or application; within publication sets, folders are arranged by the
date of the letter assigning Habermann reviewing committee oversight for the paper.
Habermann infrequently reviewed papers personally, and then only early in his
editorial career. Folder titles of papers personally reviewed contain the bracketed
annotation [ANH]. See the Consulting series and Books series for additional computer
science textual material reviewed by Habermann.
Box
3
FF169 Editorial--ACM TOPLAS--Dalseng--GAISA: A General-purpose Ada-based Programming
Language--May 20, 1987
FF170 Editorial--ACM TOPLAS--Velasevic--Testing Through Sensitivity Analysis--July
11, 1987
FF171 Editorial--ACM TOPLAS--Lane--A Model of Time-dependent Behavior in Concurrent
Software Systems--October 27, 1987
FF172 Editorial--ACM TOPLAS--Taylor, et al.--Arcadia: A Next Generation Software
Environment--November 24, 1987
FF173 Editorial--ACM TOPLAS--Heering, et al.--Principles of Lazy Incremental Program
Generation--May 3, 1988
FF174 Editorial--ACM TOPLAS--Lieberherr--The Demeter Notation: A Kernel for Object-oriented
Programming [two drafts]--June 20, 1988
FF175 Editorial--ACM TOPLAS--Tam and Goldsack--An Extended Open Path Notation
and its Formal Semantics in Temporal Logic--September 8, 1988
FF176 Editorial--ACM TOPLAS--Badii and Abdollahzeda--A Formal Definition for the
Compile Time and Run Time Semantics of Pascal Subroutines--October 12, 1988
FF177 Editorial--ACM TOPLAS--Leibnitz--Dynamically Interactive Programs and their
Interactive Properties--November 11, 1988
FF178 Editorial--ACM TOPLAS--Danieli and Cohen--Parallel Object-oriented Programming
in Sympal--December 3, 1988
FF179 Editorial--ACM TOPLAS--McLean--Proving Program Systems Correct--December
8, 1988
Box
4
FF180 Editorial--ACM TOPLAS--Willson--Persistent Prototypes and Interactive Ada
[two drafts]--February 13, 1989
FF181 Editorial--ACM TOPLAS--Treadway--Use of Sets as an Application Programming
Technique--February 5, 1990
FF182 Editorial--ACM TOPLAS--Barnes--Incremental Exclusiveness and Ada Generics--June
4, 1990
FF183 Editorial--ACTA Infomatica--Leung, Tam, Wang and Young--Routing Messages
with Release Time and Deadline Constraints--May 16, 1989
FF184 Editorial--IEEE--Administrative Correspondence--1986-1990
FF185 Editorial--IEEE Computer--Johnson and Roberts--The Xerox Star: A Retrospective--December
14, 1988
FF186 Editorial--IEEE Computer--Prueitt--Scientific Visualization at Los Alamos--January
3, 1989
FF187 Editorial--IEEE Computer--Champine, Geer and Ruh--Project Athena as a Distributed
Computer System [ANH]--July 17, 1989
FF188 Editorial--IEEE Computer--Harel--Biting the Silver Bullet: Towards a Brighter
Future for System Development--April 16, 1990
FF189 Editorial--IEEE Software--Fickas--Problem Acquisition in Software Analysis
[ANH]--April 4, 1990
FF190 Editorial--IEEE Software--Elshoff and Marcotty--Microtool: An Environment
for Programming Microprocessors--April 24, 1989
FF191 Editorial--IEEE Software--Meyers--A Survey of Integration Mechanisms for
Multi-view Software [ANH]--August 3, 1989
FF192 Editorial--IEEE Transactions--Vishnubhotla--An Object Model of Parallel
and Distributed Programming [ANH]--September 8, 1986
FF193 Editorial--IEEE Transactions--Lamb--Specification of Iterators--September
27, 1988
FF194 Editorial--IEEE Transactions--Hams and Weide--Efficient Initialization and
Finalization of Data Structures--March 21, 1989
FF195 Editorial--IEEE Transactions--Lang--An Extension of the Banker's Algorithm--April
19, 1989
FF196 Editorial--IEEE Transactions--Stamatis and Halatsis--Abstract Data Types
in Prolog--May 24, 1989
FF197 Editorial--IEEE Transactions--Hutchinson and Peterson--The X-Kernel: An
Architecture for Implementing Network Protocols--July 6, 1989
FF198 Editorial--IEEE Transactions--Muhanna--Composite Programs: Hierarchical
Construction, Circularity, and Deadlocks--August 11, 1989
FF199 Editorial--IEEE Transactions--Vesilo--A General Model of an OSI Upper Level--August
8, 1989
FF200 Editorial--IEEE Transactions--Ciancarini, Ambriola, Corradini and Danelutta--SHELL:
A Shell Hierarchical Environment--September 11, 1989
FF201 Editorial--IEEE Transactions--Gouda and Hermann--Adaptive Programming--October
23, 1989
FF202 Editorial--IEEE Transactions--Nakatani and Ebcioglu--Combining: A VLIW Compilation
Technique--January 18, 1990
FF203 Editorial--IEEE Transactions--Roggio and Grubbs--Reuse of Design: Data Abstraction
vs. the Top-down Mindset--January 30, 1990
FF204 Editorial--IEEE Transactions--Lin and Kenny--Implementing Timing Constraints
in FLEX--February 9, 1990
FF205 Editorial--IEEE Transactions--Olsson and McNamee--Critical Races in Ada
Programs--March 13, 1990
FF206 Editorial--IEEE Transactions--Hac and Loca--Distributed Load Building Algoirithm
for Parallel Compilation of Files--March 28, 1990
FF207 Editorial--IEEE Transactions--Sibert and Hurley--Towards an Engineering
Design Methodology for Interactive Systems--April 16, 1990
FF208 Editorial--IEEE Transactions--Asihara, Shimizu and Maekawa--Deadlock Detection
in the System with Consumable Resources--April 19, 1990
FF209 Editorial--IEEE Transactions--Sying-Syang and Taha--Interprocedural Definition-use
Dependency Analysis for Recursive Procedures--June 5, 1990
FF210 Editorial--IEEE Transactions--Osterweil and Gamalel-Din--Software Maintenance
as a Programmable Process--June 20, 1990
FF211 Editorial--IEEE Transactions--Bar-David--Formal Definitions of Inheritance--September
24, 1990
FF212 Editorial--IEEE Transactions--Gupta--Optimizing Array Bound Checks Using
Flow Analysis--September 24, 1990
FF213 Editorial--IEEE Transactions--Perry and Kaiser--Models of Software Development
Environments--September 29, 1990
FF214 Editorial--IEEE Transactions--Levine--Statement Control in Programming Languages--November
27, 1990
FF215 Editorial--IEEE Transactions--Hac--System Priority Queues for the Load Building
Algorithms--January 31, 1991
FF216 Editorial--Private Review--Perry--A Comparative Evaluation of Object Definition
Technique for Large Prototype Systems [ANH]--April 25, 1989
FF217 Editorial--Private Review--Song--Symbolic Structure Processing Abstract
[by ANH's student]--December 8, 1989
FF218 Editorial--Refereeing Refusals--1981-1987
