Volume 5, Number 1, January 1979
John T. Robinson: Some Analysis Techniques for Asynchronous Multiprocessor Algorithms. 24-31- Taylor L. Booth: Performance Optimization of Software Systems Processing Information Sequences Modeled by Probabilistic Languages. 31-44
- Martin R. Woodward, Michael A. Hennell, David Hedley: A Measure of Control Flow Complexity in Program Text. 45-50
- Douglas W. Clark: Measurements of Dynamic List Structure Use in Lisp. 51-59
- Janis Bicevskis, Juris Borzovs, Uldis Straujums, Andris Zarins, Edward F. Miller Jr.: SMOTL - A System to Construct Samples for Data Processing Program Debugging. 60-66
Volume 5, Number 2, March 1979
- Raymond T. Yeh: In Memory of Maurice H. Halstead. 74
- Maurice H. Halstead: Guest Editorial on Software Science. 74-75
- Scott N. Woodfield: An Experiment on Unit Increase in Problem Complexity. 76-79
- Ronald D. Gordon: Measuring Improvements in Program Clarity. 79-90
- Stuart H. Zweben, Maurice H. Halstead: The Frequency Distribution of Operators in PL/I Programs. 91-95
- Bill Curtis, Sylvia B. Sheppard, Phil Milliman, M. A. Borst, Tom Love: Measuring the Psychological Complexity of Software Maintenance Tasks with the Halstead and McCabe Metrics. 96-104
- Albert L. Baker, Stuart H. Zweben: The Use of Software Science in Evaluating Modularity Concepts. 110-120
- Ronald D. Gordon: A Qualitative Justification for a Measure of Program Clarity. 121-128
- David Lorge Parnas: Designing Software for Ease of Extension and Contraction. 128-138
- Gregory R. Andrews: The Design of a Message Switching System: An Application and Evaluation of Modula. 138-147
- Maarten H. van Emden: Programming with Verification Conditions. 148-159
- W. C. Lin, Richard C. T. Lee, David Hung-Chang Du: Common Properties of Some Multiattribute File Systems. 160-174
Volume 5, Number 3, May 1979
- Michael Stonebraker: Concurrency Control and Consistency of Multiple Copies of Data in Distributed INGRES. 188-194
- Daniel A. Menascé, Richard R. Muntz: Locking and Deadlock Detection in Distributed Data Bases. 195-202
- Philip A. Bernstein, David W. Shipman, Wing S. Wong: Formal Aspects of Serializability in Database Concurrency Control. 203-216
- Barbara G. Ryder: Constructing the Call Graph of a Program. 216-226
- J. C. Huang: Detection of Data Flow Anomaly Through Program Instrumentation. 226-236
- Richard C. Waters: A Method for Analyzing Loop Programs. 237-247
- Henrik Schutz: On the Design of a Language for Programming Real-Time Concurrent Processes. 248-255
- Jacob Katzenelson: Clusters and Dialogues for Set Implementations. 256-275
- Norman F. Schneidewind, Heinz-Michael Hoffmann: An Experiment in Software Error Data Collection and Analysis. 276-286
- Jeffrey R. Spirn: Queuing Networks with Random Selection for Service. 287-289
Volume 5, Number 4, July 1979
- Jon Louis Bentley: Multidimensional Binary Search Trees in Database Applications. 333-340
- Shahid H. Bokhari: Dual Processor Scheduling with Dynamic Reassignment. 341-349
- David K. Hsiao, Douglas S. Kerr, Chen-Jen Nee: Database Access Control in the Presence of Context Dependent Protection Requirement. 349-358
- David B. Wortman: On Legality Assertions in Euclid. 359-367
- William H. Harrison: A New Strategy for Code Generation - the General-Purpose Optimizing Compiler. 367-373
- Edwin Towster: A Convention for Explicit Declaration of Environments and Top-Down Refinement of Data. 374-386
- Mark Moriconi: A Designer/Verifiers's Assistant. 387-401
- Thomas E. Cheatham Jr., Glenn H. Holloway, Judy A. Townley: Symbolic Evaluation and the Analysis of Programs. 402-417
- Ronald F. Boisvert, John R. Rice, Elias N. Houstis: A System for Performance Evaluation of Partial Differential Equations Software. 418-425
- Richard E. Fairley: ALADDIN: Assembly Language Assertion Driven Debugging Interpreter. 426-428
Volume 5, Number 5, September 1979
- K. Mani Chandy, Jayadev Misra: Distributed Simulation: A Case Study in Design and Verification of Distributed Programs. 440-452
- Wolfgang Polak: An Exercise in Automatic Program Verification. 453-458
- David J. Rypka, Anthony P. Lucido: Deadlock Detection and Avoidance for Shared Logical Resources. 465-471
- Jacques Cohen, Robin Sitver, David Auty: Evaluating and Improving Recursive Descent Parsers. 472-480
- Nick Roussopoulos: CSDL: A Conceptual Schema Definition Language for the Design of Data Base Applications. 481-496
- Linda M. Ottenstein: Quantitative Estimates of Debugging Requirements. 504-514
- Simeon C. Ntafos, S. Louis Hakimi: On Path Cover Problems in Digraphs and Applications to Program Testing. 520-529
- Raymond A. Marie: An Approximate Analytical Method for General Queueing Networks. 530-538
Volume 5, Number 6, November 1979
- Abraham Silberschatz: Communication and Synchronization in Distributed Systems. 542-546
- Alan F. Babich: Proving Total Correctness of Parallel Programs. 558-574
- Virgil D. Gligor: Review and Revocation of Access Privileges Distributed Through Capabilities. 575-586
- Carlos José Pereira de Lucena, Tarcisio H. C. Pequeno: Program Derivation Using Data Types: A Case Study. 586-592
- Jacques Cohen, Robin Sitver: A Case Study in Program Transformation: Translation into Polish. 593-606
- Paul W. Abrahams, Lori A. Clarke: Compile-Time Analysis of Data List-Format List Correspondences. 612-617
- Takashi Masuda: Methods for the Measurement of Memory Utilization and the Improvement of Program Locality. 618-631
- Paul Caseau, Guy Pujolle: Throughput Capacity of a Sequence of Queues with Blocking Due to Finite Waiting Room. 631-642
- Anthony L. Barrese, Stephen D. Shapiro: Structuring Programs for Efficient Operation in Virtual Memory Systems. 643-652
- Gaston H. Gonnet, David E. Morgan: Analysis of Closed Queuing Networks with Periodic Servers. 653-659
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team