Volume 6,
Number 1,
January 1980
Methodology
- Kathryn L. Heninger:
Specifying Software Requirements for Complex Systems: New Techniques and Their Application.
2-13
- John V. Guttag:
Notes on Type Abstraction (Version 2).
13-23
- David R. Musser:
Abstract Data Type Specification in the AFFIRM System.
24-32
- Sanat K. Basu:
A Note on Synthesis of Inductive Assertions.
32-39
- Moshe Tamir:
ADI: Automatic Derivation of Invariants.
40-48
Language
Analysis
Volume 6,
Number 2,
March 1980
Volume 6,
Number 3,
May 1980
Volume 6,
Number 4,
July 1980
- Charles N. Fischer, Richard J. LeBlanc:
The Implementation of Run-Time Diagnostics in Pascal.
313-319
- Augusto Celentano, Pierluigi Della Vigna, Carlo Ghezzi, Dino Mandrioli:
Separate Compilation and Partial Specification in Pascal.
320-328
- Michael A. Hennell, J. Alan Prudom:
A Static Analysis of the NAG Library.
329-333
- Karel R. Tavernier, Paul H. Notredame:
Macro-Based Cross Assemblers.
334-340
- Tzay Y. Young, Philip S. Liu:
Overhead Storage Considerations and a Multilinear Method for Data File Compression.
340-347
- Andreas Reuter:
A Fast Transaction-Oriented Logging Scheme for UNDO Recovery.
348-356
- W. Terry Hardgrave:
Ambiguity in Processing Boolean Queries on TDMS Tree Structures: A Study of Four Different Philosophies.
357-372
- Jacques Labetoulle, Guy Pujolle:
Isolation Method in a Network of Queues.
373-381
- Pieter S. Kritzinger, Anthony E. Krzesinski, Peter Teunissen:
Incorporating System Overhead in Queuing Network Models.
381-390
- James E. Allchin:
Modula and a Question of Time.
390-391
- Anthony C. Davies:
The Analogy Between Electrical Networks and Flowcharts.
391-394
- Paul Bourret, Patrice Cros:
Presentation and Correction of Errors in Operating System Measurements.
395-398
Volume 6,
Number 5,
September 1980
Volume 6,
Number 6,
November 1980
Copyright © Thu Nov 12 02:15:25 2009
by Michael Ley (ley@uni-trier.de)
