Software - Practice and Experience (SPE), Volume 10, 1980
Volume 10, Number 1, January 1980
Ralph E. Griswold: Linguistic Extension of Abstract Machine Modelling to Aid Software Development. 1-9- Satoru Kawai: A Semiblock Structure for Low-level Languages. 11-19
- A. R. Gay: Benchmarking a Multi-access System. 45-55
- Philipp Hazel: Development of the ZED Text Editor. 57-76
Volume 10, Number 2, February 1980
- David H. D. Warren: Logic Programming and Compiler Writing. 97-125
- Harold W. Thimbleby: Leave and Recall: Primitives for Procedural Programming. 127-134
- Michael J. R. Shave: Problems of Integrity and Distributed Databases. 135-147
- Masaaki Shimasaki, Shigeru Fukaya, Katsuo Ikeda, Takeshi Kiyono: An Analysis of Pascal Programs in Compiler Writing. 149-157
Volume 10, Number 3, March 1980
- T. R. Hopkins: PBASIC-A Verifier for BASIC. 175-181
- Sven E. Mattsson: Implementation of Concurrent Pascal on LSI-11. 205-217
- Steven Pemberton: Comments on an Error-recovery Scheme by Hartmann. 231-240
- B. J. Cornelius, D. J. Robson, M. I. Thomas: Modification of the Pascal-P Compiler for a Single-accumulator One-address Minicomputer. 241-246
Volume 10, Number 4, April 1980
- James B. Morris: Programming by Successive Refinement of Data Abstractions. 249-263
- Charles Wetherell: Design Considerations for Array Processing Languages. 265-271
- David M. Harland: High Speed Data Acquisition: Running a Realtime Process and a Time-shared System (UNIX) Concurrently. 273-281
- I. C. Pyle: Axioms for User-defined Operators. 307-318
- W. T. Izatt: Domain Architecture and the ICL 2900 Series. 319-328
Volume 10, Number 5, May 1980
- Martin P. Lee: Bibliographic Manipulation. 347-354
- Donald D. Cowan, J. Wesley Graham, James W. Welch, Carlos José Pereira de Lucena: A Data-directed Approach to Program Construction. 355-372
- Thomas R. G. Green: If s and Then s: Is Nesting just for the Birds? 373-381
- Gordon Stevenson: Code Generation with a Recursive Optimizer. 393-403
- Richard Hart: Pattern Analysis as a Tool for Inventing Algorithms. 405-417
Volume 10, Number 6, June 1980
- Stephen R. Schach: A Portable Trace for the Pascal Heap. 421-426
- P. J. Brown: SUPERMAC-A Macro Facility that can be Added to Existing Compilers. 431-473
- H. J. Boom, Edwin D. de Jong: A Critical Comparison of Several Programming Language Implementations. 435-473
- H. J. Messerschmidt: Parallel Programming for Chess Endgame Database. 475-487
- David R. Hanson: A Portable Storage Management System for the Icon Programming Language. 489-500
- R. Nigel Horspool: Practical Fast Searching in Strings. 501-506
Volume 10, Number 7, July 1980
- V. R. Prasad: Variable Number of Parameters in Typed Languages. 507-517
- P. Radford: Checking Cyclic Pointers. 519-521
- J. G. Hunt: Interrupts. 523-530
- Alan Jay Smith: Multiprogramming and Memory Contention. 531-552
- Jean G. Vaucher: Pretty-Printing of Trees. 553-561
- F. E. J. Kruseman Aretz, Jan L. A. van de Snepscheut, H. Grasdijk, J. M. H. Smeets: SATHE: Some Aspects of an ALGOL Implementation. 563-573
- Hiroshi Muramatsu, Hiroaki Negishi: Page Replacement Algorithm for Large-array Manipulation. 575-587
Volume 10, Number 8, August 1980
- David R. Hanson: A Portable File Directory System. 623-634
- Peter Kornerup, Bent Bruun Kristensen, Ole Lehrmann Madsen: Interpretation and Code Generation Based on Intermediate Languages. 635-658
- I. R. Wilson: Pascal for School and Hobby Use. 659-671
- Charles Lakos: Implementing BCPL on the Borroughs B6700. 673-683
Volume 10, Number 9, September 1980
- Jiri Hoppe: A Simple Nucleus Written in Modula-2: A Case Study. 697-706
- John G. P. Barnes: The Standardization of RTL/2. 707-719
- Elaine N. Frankowski, William R. Franta: A Process Oriented Simulation Model Specification and Documentation Language. 721-742
Volume 10, Number 10, Octpber 1980
- J. Kriz, H. Sandmayr: Extension of Pascal by Coroutines and its Application to Quasi-parallel Programming and Simulation. 773-789
- J. K. R. Barnett: The Design of an Inter-task Communication Scheme. 801-816
- Christopher W. Fraser: Maintaining Program Variants by Merging Editor Scripts. 817-821
- Uday G. Gujar, J. Anthony Fitzgerald: An Algorithm for Programming Electrostatic Plotter Type Devices. 823-833
- Steven Harrington: Infinite Power Series. 835-848
Volume 10, Number 11, November 1980
- John G. P. Barnes: An Overview of Ada. 851-887
- John D. Kerr: FORALL: An Extensible Fortran System for Conversationally Accessing Subroutine Libraries. 889-896
- Augusto Celentano, Stefano Crespi-Reghizzi, Pierluigi Della Vigna, Carlo Ghezzi, G. Granata, F. Savoretti: Compiler Testing using a Sentence Generator. 897-918
- James L. Alty, M. J. Coombs: University Computing Advisory Services: The Study of the Man-Computer Interface. 919-934
- Siegfried Wendt: Modified Petri Nets as Flowcharts for Recursive Program. 935-942
Volume 10, Number 12, December 1980
- K. Sreenivasan, G. A. Nelson, J. A. Maksin Jr.: An Experimental Study of Relative Throughput in a Multiprocessor Computer System. 973-86
- Jacob Palme: A Viewdata Interface for Arbitrary Computer Programs. 987-991
- P. D. Stephens, J. K. Yarwood, D. J. Rees, N. H. Shelness: The Evolution of the Operating System EMAS 2900. 993-1008
- A. John Hurst: Pascal-P, Program STructure and Program Behaviour. 1029-1036
- Marvin V. Zelkowitz: A Case Study in Rapid Prototyping. 1037-1042
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team