Box 4
Container
Contains 31 Results:
ACM TOPLAS--Velasevic--Testing Through Sensitivity Analysis, July 11, 1987
File — Box: 4, Folder: 200
Scope and Contents
From the Series:
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), Communications of the ACM, Information Processing...
Dates:
July 11, 1987
ACM TOPLAS--Lane--A Model of Time-dependent Behavior in Concurrent Software Systems, October 27, 1987
File — Box: 4, Folder: 201
Scope and Contents
From the Series:
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), Communications of the ACM, Information Processing...
Dates:
October 27, 1987
ACM TOPLAS--Taylor, et al.--Arcadia: A Next Generation Software Environment, November 24, 1987
File — Box: 4, Folder: 202
Scope and Contents
From the Series:
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), Communications of the ACM, Information Processing...
Dates:
November 24, 1987
ACM TOPLAS--Heering, et al.--Principles of Lazy Incremental Program Generation, May 3, 1988
File — Box: 4, Folder: 203
Scope and Contents
From the Series:
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), Communications of the ACM, Information Processing...
Dates:
May 3, 1988
ACM TOPLAS--Lieberherr--The Demeter Notation: A Kernel for Object-oriented Programming [two drafts], June 20, 1988
File — Box: 4, Folder: 204
Scope and Contents
From the Series:
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), Communications of the ACM, Information Processing...
Dates:
June 20, 1988
ACM TOPLAS--Tam and Goldsack--An Extended Open Path Notation and its Formal Semantics in Temporal Logic, September 8, 1988
File — Box: 4, Folder: 205
Scope and Contents
From the Series:
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), Communications of the ACM, Information Processing...
Dates:
September 8, 1988
ACM TOPLAS--Badii and Abdollahzeda--A Formal Definition for the Compile Time and Run Time Semantics of Pascal Subroutines, October 12, 1988
File — Box: 4, Folder: 206
Scope and Contents
From the Series:
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), Communications of the ACM, Information Processing...
Dates:
October 12, 1988
ACM TOPLAS--Leibnitz--Dynamically Interactive Programs and their Interactive Properties, November 11, 1988
File — Box: 4, Folder: 207
Scope and Contents
From the Series:
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), Communications of the ACM, Information Processing...
Dates:
November 11, 1988
ACM TOPLAS--Danieli and Cohen--Parallel Object-oriented Programming in Sympal, December 3, 1988
File — Box: 4, Folder: 208
Scope and Contents
From the Series:
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), Communications of the ACM, Information Processing...
Dates:
December 3, 1988
ACM TOPLAS--McLean--Proving Program Systems Correct, December 8, 1988
File — Box: 4, Folder: 209
Scope and Contents
From the Series:
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), Communications of the ACM, Information Processing...
Dates:
December 8, 1988