default search action
Software - Practice and Experience (SPE), Volume 8, 1978
Volume 8, Number 1, January-March 1978
- Bertrand Meyer:
A Note on Computing Multiple Sums. 3-9 - Hassan Gomaa:
The Calibration and Validation of a Hybrid Simulation/Regression Model of a Batch Computer System. 11-28 - Eric Foxley, D. J. Morgan:
Monitoring the Run-time Activity of Algol 68-R Programs. 29-34 - Douglas Comer:
MOUSE4: An Improved Implementation of the RATFOR Preprocessor. 35-40 - C. Richard Snow:
An Exercise in the Transportation of an Operating System. 41-50 - Harold W. Lawson Jr., Miquel Bertran, Javier Sanagustin:
The Formal Definition of Human/Machine Communications. 51-58 - Thomas Anderson, Santosh K. Shrivastava:
Reliable Software: A Selective Annotated Bibliography. 59-76 - Jacob Palme:
How I Fought with Hardware and Software and Succeeded. 77-83 - Jim Welsh:
Economic Range Checks in Pascal. 85-97 - Arthur B. Pyster, Amitava Dutta:
Error-checking Compilers and Portability. 99-108
Volume 8, Number 2, March-April 1978
- David R. Hanson:
Event Associations in SNOBOL4 for Program Debugging. 115-129 - Amnon Barak, Moshe Aharoni:
A Study of Machine-level Software Profile. 131-136 - W. Douglas Stirling:
The Use of a Procedure-oriented Language for Process-oriented Simulation. 137-148 - Olivier Lecarme, Marie-Claude Peyrolle-Thomas:
Self-compiling Compilers: An Appraisal of their Implementation and Portability. 149-170 - Berthold K. P. Horn:
Rational Arithmetic for Minicomputers. 171-176 - Santosh K. Shrivastava:
Sequential Pascal with Recovery Blocks. 177-185 - John R. Wolberg, Marshall Rafal:
CONVERT-A Language for Program and Data File Conversions. 187-198 - Michael J. R. Shave:
The Programming of Structural Relationships in Dynamic Environments. 199-211 - Eric Foxley:
Programming Aids for the Teaching of Programming. 213-225 - A. R. Lawrence:
SCRUB-Systematically Clean and Renumber Users BASIC. 227-232
Volume 8, Number 3, May-June 1978
- Herbert D. Schwetman:
Job Scheduling in Multiprogrammed Computer Systems. 241-255 - G. S. Wilson:
Threaded Code for Laboratory Computers. 257-263 - Malcolm P. Atkinson, Mick J. Jordan:
An Effective Program Development Environment for BCPL on a Small Computer. 265-275 - Toshiaki Kurokawa:
Input/Output Facilities in LISP1.9. 277-284 - Mick J. Jordan:
SLP: A Paged Processor for Compact Lists. 285-300 - John Leece, Frank Parker:
Use and Misuse of SPSS. 301-311 - W. P. Beaumont:
An Implementation of Structured Multiprogramming. 323-339 - David Neal, Virgil Wallentine:
Experiences with the Portability of Concurrent PASCAL. 341-353 - Jim Cunningham, Jeff Kramer:
An Exercise in Program Design Using SIMULA Class Invariants. 355-369 - Jim Welch:
Structured Programming in Macro Assembly Languages. 371-376
Volume 8, Number 4, July-August 1978
- William E. Howden:
An Evaluation of the Effectiveness of Symbolic Testing. 381-397 - Kari Johnsen:
A Simplification of Code Tables in a One-pass PL/M Compiler. 399-405 - Daniel P. Friedman, David S. Wise:
Unbounded Computational Structures. 407-416 - F. U. Mucke, W. Trier:
Improvement of Relocatable Linkage Editor (loader) Input. 417-419 - P. H. Ng, G. Young:
A 1900 FORTRAN Post Mortem Dump System. 421-427 - Robert D. Tennent:
Another Look at Type Compatibility in Pascal. 429-437 - Lars-Erik Thorelli:
A Monitor for Small Computers. 439-450 - John Colin Adams, W. S. Currie, B. A. C. Gilmore:
The Structure and Uses of the Edinburgh Remote Terminal Emulator. 451-459 - David Y. Feng, Richard F. Riesenfeld:
A Symbolic System for Computer-aided Development of Surface Interpolants. 461-481 - Andrew T. F. Hutt:
Data Mappings Again. 483-493
Volume 8, Number 5, September-October 1978
- Peter Freeman:
Software Design Representation: A Case Study. 501-511 - Peter Freeman:
Software Design Representation: Analysis and Improvement. 513-528 - Uday G. Gujar, David M. Fellows:
Implementation of a Computer Job Scheduling Algorithm. 529-542 - James Sneeringer:
User-interface Design for Text Editing. 543-557 - J. Larmouth:
Scheduling for Immediate Turnround. 559-578 - M. Howard Williams, A. R. Bulmer:
Use of a Formal Notation for Static Semantics in Compiler Design. 579-584 - C. Richard Snow:
The Software Tools Project. 585-599 - Bruce K. Haddon, William M. Waite:
Experience with the Universal Intermediate Language Janus. 601-616 - R. E. Berry:
Experience with the Pascal P-Compiler. 617-627 - Nam Ng, T. Anthony Marsland:
Introducing Graphics Capabilities to Several High-level Languages. 629-639
Volume 8, Number 6, November-December 1978
- J. K. R. Barnett:
A Highly Reliable File System which Supports Multiprocessing. 645-672 - Páe Quittner, D. Kotsis:
Comparison of Different Disk Searching Methods. 673-679 - Andrew S. Tanenbaum
, Paul Klint, A. P. Wim Böhm:
Guidelines for Software Portability. 681-698 - L. V. Atkinson, James J. McGregor:
CONA-A Conversational Algol System. 699-708 - Daniel Schwabe
Design and Implementation of Data Abstraction Definition Facility. 709-719 - Per Brinch Hansen:
Reproducible Testing of Monitor. 721-729 - Will D. Gillett, Sandra Leach:
Embedding Semantics in LR Parser Tables. 731-753
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 2024-12-27 21:15 CET 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: