default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware - 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 - T. Anthony Marsland, S. F. Sutphen:
A Heterogeneous Dual Processor. 21-28 - Makato Arisawa, Minoru Iuchi:
Debugging Methods in Recursive Structured FORTRAN. 29-43 - 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
- Rakesh Agarwal, Samuel T. Chanson:
A Space-efficient Code Generation Scheme for BCPL. 77-95 - 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
- S. B. Verma, Maithili Sharan:
Multiple Precision Floatingpoint Computation in FORTRAN. 163-173 - Tim R. Hopkins
:
PBASIC-A Verifier for BASIC. 175-181 - Cary A. Coutant, Christopher W. Fraser:
A Device Driver for Display Terminals. 183-187 - W. Pauli, Mary Lou Soffa:
Coroutine Behaviour and Implementation. 189-204 - Sven E. Mattsson:
Implementation of Concurrent Pascal on LSI-11. 205-217 - G. B. Cox, B. C. Walsh:
A HELP System for the User Community. 219-229 - Steven Pemberton:
Comments on an Error-recovery Scheme by Hartmann. 231-240 - Barry 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 S. 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 - Ahmed Patel, Michael Purser:
Systems Programming for Data Communications on Minicomputers. 283-305 - I. C. Pyle:
Axioms for User-defined Operators. 307-318 - W. T. Izatt:
Domain Architecture and the ICL 2900 Series. 319-328 - Douglas R. McGregor, Jon R. Malone:
Stabdump-A Dump Interpreter Program to Assist Debugging. 329-332
Volume 10, Number 5, May 1980
- David R. Barach, David M. Fram:
NPP: An Easy to Implement Preprocessor for Text Formatting. 335-346 - 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 - Amnon Bracha-Barak, Amos Shapir:
UNIX with Satellite Processors. 383-392 - 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 - Darrel C. Ince, Keith Robson:
An Algol 68 Based Algebraic Manipulation System. 427-430 - 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
- J. Holden, I. C. Wand:
An Assessment of Modula. 593-621 - 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
- R. M. McKeag, Peter Milligan:
An Experiment in Parallel Program Design. 687-696 - 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 - R. J. Munn, J. M. Stewart:
RATMAC: A Preprocessor for Writing Portable Scientific Software. 743-749 - D. Schofield, A. L. Hillman, J. L. Rodgers:
MM/1, A Man-Machine Interface. 751-763
Volume 10, Number 10, October 1980
- Ken Moody, Martin Richards:
A Coroutine Mechanism for BCPL. 765-771 - J. Kriz, H. Sandmayr:
Extension of Pascal by Coroutines and its Application to Quasi-parallel Programming and Simulation. 773-789 - J. M. Triance, J. F. S. Yow:
Experiences with a Schematic Logic Preprocessor. 791-800 - 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, Florencia 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 - Per Brinch Hansen, Jon Fellows:
The Trio Operating System. 943-948
Volume 10, Number 12, December 1980
- E. B. James, D. Ireland:
Microcomputers as Protective Interfaces in Computing Networks. 953-958 - John M. DeDourek, Uday G. Gujar, Marion E. McIntyre:
Scanner Design. 959-972 - 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 - Richard G. Hamlet, Robert M. Haralick:
Transportable Package Software. 1009-1027 - A. John Hurst:
Pascal-P, Program STructure and Program Behaviour. 1029-1036 - Marvin V. Zelkowitz:
A Case Study in Rapid Prototyping. 1037-1042
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-22 02:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
