Container List: Arie Nicolaas (Nico) Habermann Collection

Series V. Editorial

Box 4

FF191 Habermann. A. N.--Editorial--ACM TOPLAS--Administrative Correspondence--1979-1981
FF192 Habermann. A. N.--Editorial--ACM TOPLAS--Earle, Kieburtz and Silberschatz--Comments on Brinch Hansen’s Distributing Processes--July 6, 1979
FF193 Habermann. A. N.--Editorial--ACM TOPLAS--Peterson--A New Solution to Lamport’s Concurrent Programming Problem--August 1, 1980
FF194 Habermann. A. N.--Editorial--ACM TOPLAS--Silberschatz--On the Multitasking Mechanism of the Ada Language--August 1, 1980
FF195 Habermann. A. N.--Editorial--ACM TOPLAS--van den Bos, et al.—Communicating Processes based on Input Specifications--May 20, 1980
FF196 Habermann. A. N.--Editorial--ACM TOPLAS--Fraser--A Software System and Command Language based on Correcting Coroutines--November 13, 1980
FF197 Habermann. A. N.--Editorial--ACM TOPLAS--Schutz and Ricketts—Interacting with Devices in a Concurrent Programming Language--March 11, 1981
FF198 Habermann. A. N.--Editorial--ACM TOPLAS--Friedman and Wise--A Conditional Interlock-free Store Instruction--May 27, 1981
FF199 Habermann. A. N.--Editorial--ACM TOPLAS--Dalseng--GAISA: A General-purpose Ada-based Programming Language--May 20, 1987
FF200 Habermann. A. N.--Editorial--ACM TOPLAS--Velasevic--Testing Through Sensitivity Analysis--July 11, 1987
FF201 Habermann. A. N.--Editorial--ACM TOPLAS--Lane--A Model of Time-dependent Behavior in Concurrent Software Systems--October 27, 1987
FF202 Habermann. A. N.--Editorial--ACM TOPLAS--Taylor, et al.--Arcadia: A Next Generation Software Environment--November 24, 1987
FF203 Habermann. A. N.--Editorial--ACM TOPLAS--Heering, et al.--Principles of Lazy Incremental Program Generation--May 3, 1988
FF204 Habermann. A. N.--Editorial--ACM TOPLAS--Lieberherr--The Demeter Notation: A Kernel for Object-oriented Programming [two drafts]--June 20, 1988
FF205 Habermann. A. N.--Editorial--ACM TOPLAS--Tam and Goldsack--An Extended Open Path Notation and its Formal Semantics in Temporal Logic--September 8, 1988
FF206 Habermann. A. N.--Editorial--ACM TOPLAS--Badii and Abdollahzeda--A Formal Definition for the Compile Time and Run Time Semantics of Pascal Subroutines--October 12, 1988
FF207 Habermann. A. N.--Editorial--ACM TOPLAS--Leibnitz--Dynamically Interactive Programs and their Interactive Properties--November 11, 1988
FF208 Habermann. A. N.--Editorial--ACM TOPLAS--Danieli and Cohen--Parallel Object-oriented Programming in Sympal--December 3, 1988
FF209 Habermann. A. N.--Editorial--ACM TOPLAS--McLean--Proving Program Systems Correct--December 8, 1988
FF210 Habermann. A. N.--Editorial--ACM TOPLAS--Willson--Persistent Prototypes and Interactive Ada [two drafts]--February 13, 1989
FF211 Habermann. A. N.--Editorial--ACM TOPLAS--Treadway--Use of Sets as an Application Programming Technique--February 5, 1990
FF212 Habermann. A. N.--Editorial--ACM TOPLAS--Barnes--Incremental Exclusiveness and Ada Generics--June 4, 1990
FF213 Habermann. A. N.--Editorial--ACTA Infomatica--Staunstrup—Synchronizing Concurrent Programs [ANH]--August 24, 1978
FF214 Habermann. A. N.--Editorial--ACTA Infomatica--Cherniavsky and Keohane--Classifying a Structural Class of Flowgraphs [ANH]--April 11, 1979
FF215 Habermann. A. N.--Editorial--ACTA Infomatica--Martin--An Approximate Definition of Synchronization Primitives [ANH]--July 30, 1979
FF216 Habermann. A. N.--Editorial--ACTA Infomatica--Stavely--Membership Problem for Behaviors of Concurrent Software Systems--February 26, 1980
FF217 Habermann. A. N.--Editorial--ACTA Infomatica--Maekawa--Operating System Conceptual Model for Ease of Extension [ANH]--December 6, 1980
FF218 Habermann. A. N.--Editorial--ACTA Infomatica--Saxena--Static Detection of Deadlocks in Computer Systems [ANH]--April 7, 1978
FF219 Habermann. A. N.--Editorial--ACTA Infomatica--Snyder--Idiom Recognition and Selection [ANH]--October 2, 1978
FF220 Habermann. A. N.--Editorial--ACTA Infomatica--Leung, Tam, Wang and Young--Routing Messages with Release Time and Deadline Constraints--May 16, 1989

Box 5

FF221 Habermann. A. N.--Editorial--Communications of the ACM--Middleton--Embedding Iterations in Expressions [ANH]--December 5, 1977
FF222 Habermann. A. N.--Editorial--Communications of the ACM--Robert--A Queue Management Device for Control Modules [ANH]--August 24, 1978
FF223 Habermann. A. N.--Editorial--Communications of the ACM--Howe, Mitrani and Tsur--No Title [ANH]--August 29, 1978
FF224 Habermann. A. N.--Editorial--Communications of the ACM--Perrott--A Language for Array and Vector Processors [ANH]--September 14, 1978
FF225 Habermann. A. N.--Editorial--Communications of the ACM--Parker—Tandem Collectors for Real-time Garbage Collection [ANH]--July 9, 1979
FF226 Habermann. A. N.--Editorial--Communications of the ACM--Janson—Using Type Execution to Organize Virtual Memory Mechanism [ANH]--March 3, 1981
FF227 Habermann. A. N.--Editorial--IEEE--Administrative Correspondence--1986-1990
FF228 Habermann. A. N.--Editorial--IEEE Computer--Johnson and Roberts--The Xerox Star: A Retrospective--December 14, 1988
FF229 Habermann. A. N.--Editorial--IEEE Computer--Prueitt--Scientific Visualization at Los Alamos--January 3, 1989
FF230 Habermann. A. N.--Editorial--IEEE Computer--Champine, Geer and Ruh—Project Athena as a Distributed Computer System [ANH]--July 17, 1989
FF231 Habermann. A. N.--Editorial--IEEE Computer--Harel--Biting the Silver Bullet: Towards a Brighter Future for System Development--April 16, 1990
FF232 Habermann. A. N.--Editorial--IEEE Software--Fickas--Problem Acquisition in Software Analysis [ANH]--April 4, 1990
FF233 Habermann. A. N.--Editorial--IEEE Software--Elshoff and Marcotty--Microtool: An Environment for Programming Microprocessors--April 24, 1989
FF234 Habermann. A. N.--Editorial--IEEE Software--Meyers--A Survey of Integration Mechanisms for Multi-view Software [ANH]--August 3, 1989
FF235 Habermann. A. N.--Editorial--IEEE Transactions--Reghbati--A Unified Approach to Message Passing [ANH]--October 28, 1976
FF236 Habermann. A. N.--Editorial--IEEE Transactions--Rypka and Lucido—Deadlock Detection and Avoidance for Logical Resources [ANH]--July 26, 1977
FF237 Habermann. A. N.--Editorial--IEEE Transactions--Lipton and Sayward --Response Time of Parallel Programs [ANH]--September 30, 1977
FF238 Habermann. A. N.--Editorial--IEEE Transactions--Schneider—Parallelism in Monitors using Allow Clauses [ANH]--June 28, 1978
FF239 Habermann. A. N.--Editorial--IEEE Transactions--Leung and Lai--On Minimum Cost Recovery from System Deadlock [ANH]--August 14, 1978
FF240 Habermann. A. N.--Editorial--IEEE Transactions--Wileden, et al.—Behavior Specification in a Software Design System [ANH]--August 30, 1978
FF241 Habermann. A. N.--Editorial--IEEE Transactions--Lomet--Subsystem of Processes with Deadlock Avoidance [ANH]--October 9, 1978
FF242 Habermann. A. N.--Editorial--IEEE Transactions--Lewis--Pipeline Monitors for Distributed Processing Control [ANH]--March 30, 1979
FF243 Habermann. A. N.--Editorial--IEEE Transactions--Flynn and Hoevel--A Theory of Interpretive Architectures--December 27, 1979
FF244 Habermann. A. N.--Editorial--IEEE Transactions--Wassermann--The Module Control System--November 5, 1981
FF245 Habermann. A. N.--Editorial--IEEE Transactions--Vishnubhotla--An Object Model of Parallel and Distributed Programming [ANH]--September 8, 1986
FF246 Habermann. A. N.--Editorial--IEEE Transactions--Lamb--Specification of Iterators--September 27, 1988
FF247 Habermann. A. N.--Editorial--IEEE Transactions--Hams and Weide—Efficient Initialization and Finalization of Data Structures--March 21, 1989
FF248 Habermann. A. N.--Editorial--IEEE Transactions--Lang--An Extension of the Banker’s Algorithm--April 19, 1989
FF249 Habermann. A. N.--Editorial--IEEE Transactions--Stamatis and Halatsis--Abstract Data Types in Prolog--May 24, 1989
FF250 Habermann. A. N.--Editorial--IEEE Transactions--Hutchinson and Peterson--The X-Kernel: An Architecture for Implementing Network Protocols--July 6, 1989
FF251 Habermann. A. N.--Editorial--IEEE Transactions--Muhanna--Composite Programs: Hierarchical Construction, Circularity, and Deadlocks--August 11, 1989
FF252 Habermann. A. N.--Editorial--IEEE Transactions--Vesilo--A General Model of an OSI Upper Level--August 8, 1989
FF253 Habermann. A. N.--Editorial--IEEE Transactions--Ciancarini, Ambriola, Corradini and Danelutta--SHELL: A Shell Hierarchical Environment--September 11, 1989
FF254 Habermann. A. N.--Editorial--IEEE Transactions--Gouda and Hermann--Adaptive Programming--October 23, 1989
FF255 Habermann. A. N.--Editorial--IEEE Transactions--Nakatani and Ebcioglu--Combining: A VLIW Compilation Technique--January 18, 1990
FF256 Habermann. A. N.--Editorial--IEEE Transactions--Roggio and Grubbs--Reuse of Design: Data Abstraction vs. the Top-down Mindset--January 30, 1990
FF257 Habermann. A. N.--Editorial--IEEE Transactions--Lin and Kenny--Implementing Timing Constraints in FLEX--February 9, 1990
FF258 Habermann. A. N.--Editorial--IEEE Transactions--Olsson and McNamee—Critical Races in Ada Programs--March 13, 1990
FF259 Habermann. A. N.--Editorial--IEEE Transactions--Hac and Loca--Distributed Load Building Algorithm for Parallel Compilation of Files--March 28, 1990
FF260 Habermann. A. N.--Editorial--IEEE Transactions--Sibert and Hurley--Towards an Engineering Design Methodology for Interactive Systems--April 16, 1990
FF261 Habermann. A. N.--Editorial--IEEE Transactions--Asihara, Shimizu and Maekawa--Deadlock Detection in the System with Consumable Resources--April 19, 1990
FF262 Habermann. A. N.--Editorial--IEEE Transactions--Sying-Syang and Taha--Interprocedural Definition use Dependency Analysis for Recursive Procedures--June 5, 1990
FF263 Habermann. A. N.--Editorial--IEEE Transactions--Osterweil and Gamalel-Din--Software Maintenance as a Programmable Process--June 20, 1990
FF264 Habermann. A. N.--Editorial--IEEE Transactions--Bar-David--Formal Definitions of Inheritance--September 24, 1990
FF265 Habermann. A. N.--Editorial--IEEE Transactions--Gupta--Optimizing Array Bound Checks Using Flow Analysis--September 24, 1990
FF266 Habermann. A. N.--Editorial--IEEE Transactions--Perry and Kaiser--Models of Software Development Environments--September 29, 1990
FF267 Habermann. A. N.--Editorial--IEEE Transactions--Levine--Statement Control in Programming Languages--November 27, 1990
FF268 Habermann. A. N.--Editorial--IEEE Transactions--Hac--System Priority Queues for the Load Building Algorithms--January 31, 1991
FF269 Habermann. A. N.--Editorial--Information Processing Letters--Czaja—Parallel Implementation of Path Expressions [ANH]--April 11, 1978
FF270 Habermann. A. N.--Editorial--Information Processing Letters--Reghbati--On a Generalization of Extended Semaphores [ANH]--August 23, 1978
FF271 Habermann. A. N.--Editorial--Information Processing Letters--Hehner and Shyamasunder--An Implementation of P and V [ANH]--October 22, 1980
FF272 Habermann. A. N.--Editorial--Private Review--Campbell--Path Expressions in Ada [ANH]--March 16, 1979
FF273 Habermann. A. N.--Editorial--Private Review--Lister and Welsh--Two Papers [No ANH Review]--May 2, 1980
FF274 Habermann. A. N.--Editorial--Private Review--Bak--A New Method of Deadlock Avoidance in a Multiprocess, Multiple Resource Type System [ANH]--July 4, 1980
FF275 Habermann. A. N.--Editorial--Private Review--Misra and Chandy--Proofs of Networks of Processes [ANH]--September 12, 1980
FF276 Habermann. A. N.--Editorial--Private Review--Gosh--Comparative Bankers’ Algorithm [ANH]--December 4, 1981
FF277 Habermann. A. N.--Editorial--Private Review--Perry--A Comparative Evaluation of Object Definition Technique for Large Prototype Systems [ANH]--April 25, 1989
FF278 Habermann. A. N.--Editorial--Private Review--Song--Symbolic Structure Processing Abstract [by ANH’s student]--December 8, 1989
FF279 Habermann. A. N.--Editorial--Refereeing Refusals--1978-1987
FF280 Habermann. A. N.--Editorial--SIAM Journal on Computing--Administrative Correspondence--1975-1977
FF281 Habermann. A. N.--Editorial--SIAM Journal on Computing--Henderson and Zalestein--A Graph-Theoretic Characterization of a Class of Synchronizing Primitives--May 14, 1974
FF282 Habermann. A. N.--Editorial--SIAM Journal on Computing--Clark—Scheduling Independent Tasks on Non-Identical Parallel Machines--January 17, 1975
FF283 Habermann. A. N.--Editorial--SIAM Journal on Computing--Larson--Minimizing Garbage Collection--December 4, 1975
FF284 Habermann. A. N.--Editorial--SIAM Journal on Computing--Guimares--A Mission Queue with State Controlled Service Time Allocation--December 12, 1975
FF285 Habermann. A. N.--Editorial--SIAM Journal on Computing--Kajura and Shen--Task Scheduling on a Multiprocessor System--February 27, 1976
FF286 Habermann. A. N.--Editorial--SIAM Journal on Computing--Loomis--Resource-Constrained Scheduling of Tasks with Precedence Relationships--April 12, 1976
FF287 Habermann. A. N.--Editorial--SIAM Journal on Computing--Denning--On the Optimality of Working Set Policies--April 22, 1976
FF288 Habermann. A. N.--Editorial--SIAM Journal on Computing--Konheim and Reiser--Finite Capacity Queueing Systems with Applications in Computer Modeling--August 5, 1976
FF289 Habermann. A. N.--Editorial--SIAM Journal on Computing--Brandwajn--A Study of an Interactive System with the Classes of Processes--November 8, 1977
FF290 Habermann. A. N.--Editorial--SIAM Journal on Computing--Chakravarty--Optimal Segmentation of a Computer Program--December 12, 1977
FF291 Habermann. A. N.--Editorial--SIAM Journal on Computing--Sugiyama, et al.--Complexity of the Deadlock Avoidance Problem [ANH]--January 11, 1978
FF292 Habermann. A. N.--Editorial--SIAM Journal on Computing--Gold—Deadlock Prediction--March 10, 1978
FF293 Habermann. A. N.--Editorial--SIAM Journal on Computing--Flon and Suzuki--Consistent and Complete Proof Rules for the Total Correctness of Parallel Programs--November 8, 1978

< Back to Habermann Finding Aid

< Previous Series | Next Series >