default search action
Software - Practice and Experience (SPE), Volume 15, 1985
Volume 15, Number 1, January 1985
- R. Geoff Dromey:
Program Development by Inductive Stepwise Refinement. 1-28 - R. Geoff Dromey:
Forced Termination of Loops. 29-39 - Dale H. Grit, James R. McGraw:
Programming Divide and Conquer for a MIMD Machine. 41-53 - Arni Perko:
On Implicit Data Structures for Priority Queues. 55-57 - S. Panchapakesan, S. Subramanian, H. Venkateswaran:
An Interactive Assembly Level Debugging System. 59-64 - Philip Leith:
An IKBS Implementation. 65-86 - Kirby W. Fong:
The NMFECC Cray Time-Sharing System. 87-103 - Gordon Lyon:
Structural Dimensions of Small Programming Environments. 105-117
Volume 15, Number 2, February 1985
- Geoffrey George, James F. Leathrum:
Orthogonality of Concerns in Module Closure. 119-130 - Rob Pike, Bart N. Locanthi, John Reiser:
Hardware/Software Trade-offs for Bitmap Graphics on the Blit. 131-151 - Thomas A. Cargill:
Implementation of the Blit Debugger. 153-168 - William F. Appelbe, Klaus Hansen
:
A Survey of Systems Programming Languages: Concepts and Facilities. 169-190 - Uday G. Gujar, Frank W. L. So:
A Flexible Software Character Generator. 191-218 - Philip Wadler:
A Simple Language is also a Functional Language. 219
Volume 15, Number 3, March 1985
- William M. Waite, Lynn Robert Carter:
The Cost of a Generated Parser. 221-237 - Colin Stirling:
Follow Set Error Recovery. 239-257 - L. N. Lester, H. A. Thelander:
A SIMULA Program to Automate Wire-wrap Schedule Generation. 259-268 - Eberhard Bertsch:
Optimization of Expression Syntax: an Experimental Approach. 269-276 - S. Saxena, J. A. Field:
Portable Real-Time Software for 8-bit Microprocessors. 277-303 - M. I. Jackson:
Developing Ada Programs Using the Vienna Development Method (VDA). 305-318
Volume 15, Number 4, April 1985
- Emmanuel A. Onibere:
Writing Portable Fortran Programs for Microcomputer. 321-326 - Harald Ganzinger, Walter Willmertinger:
FOAM: A Two-Level Approach to Text Formatting on a Microcomputer System. 327-341 - Tomaoo Nakamura, Katsuo Ikeda, Yoshihiko Ebihara, Masafumi Nishikawa:
Network Management in a Local Computer Network. 343-358 - Neil H. White, Keith H. Bennett:
Run-time Diagnostics in Pascal. 359-367 - B. S. Carter:
NEWLONG: A Program for Manipulation of Data on Populations of Individuals Subject to Change. 369-377 - Paul A. Bailes:
A Low-Cost Implementation of Coroutines for C. 379-395 - M. G. Cox:
Topic Libraries for Mathematical Computation. 397-411 - J. M. Dubery, A. J. Pinches:
Software for an Air Pollution Measuring System: an Application of Modula. 413-422
Volume 15, Number 5, May 1985
- György E. Révész:
A Note on Macro Generation. 423-426 - P. W. Garratt, George G. Michaelson:
Analysis and Design for a Standard Transport Protocol. 427-438 - Richard A. Kemmerer, Steven T. Eckman:
UNISEX: A UNIX-based Symbolic EXecutor for Pascal. 439-458 - John C. Knight, James L. Russel:
Software Development Tools for Microcontrollers. 459-472 - H. R. Bruestle, D. M. Snider, K. D. Russel, H. D. Stewart:
ISDMS-A Scientific Data Management System. 473-487 - Frank J. Dudinsky, Richard C. Holt, Safwat G. Zaky:
SRE-A Syntax Recognizing Editor. 489-497 - M. C. Er:
Practical Considerations of Global and Local Variables. 499-502 - R. Nigel Horspool, André Scheunemann:
Automating the Selection of Code Templates. 503-514 - Mark D. Weiser:
CWSH: The Windowing Shell of the Maryland Window System. 515-519 - R. E. M. Cooper, Bruce J. McKenzie, R. Harries:
Extensions to a Microcoded Pascal Compiler. 519-522
Volume 15, Number 6, June 1985
- Hugo T. Jankowitz, Paul W. Kilfoil, Ilana Rabkin, Stephen R. Schach:
A Portable High-level Database Debugger and Software Performance Monitor. 523-538 - Jason Gait:
A Debugger for Concurrent Programs. 539-554 - Narain H. Gehani:
Ada's Derived Types and Units of Measure. 555-569 - R. E. M. Cooper:
On Squeezing the UNIX Quart into a Data General Eclipse Pint Pot. 571-581 - Darrel C. Ince:
A Program Design Language Based Software Maintenance Tool. 583-594 - D. Bailey:
The University of Salford Lisp/Prolog System. 595-609 - Anthony J. Cowling, James J. McGregor:
HANDIN-A System for Helping with the Teaching of Programming. 611-622
Volume 15, Number 7, July 1985
- Jose Felipe Contla:
Compact Coding of Syntactically Correct Source Programs. 625-636 - Walter F. Tichy:
RCS - A System for Version Control. 637-654 - Malcolm C. Newey, William M. Waite:
The Robust Implementation of Sequence-Controlled Iteration. 655-668 - W. F. Clocksin:
Implementation Techniques for Prolog Databases. 669-675 - Teruo Hikita, Kiyoshi Ishihata:
A Method of Program Transformation between Variable Sharing and Message Passing. 677-692 - Silvano Gai, Marco Mezzalama:
Dynamic Storage Allocation: Experiments Using the C Language. 693-704 - John D. Pryce:
Experiences with Writing Library Software for an Attached Processor. 705-714 - T. Anthony Marsland:
Management of Block-structured Programs. 715-723
Volume 15, Number 8, August 1985
- Amnon Barak, Ami Litman:
MOS: A Multicomputer Distributed Operating System. 725-737 - Kenneth H. Sears, Alan E. Middleditch:
Software Concurrency in Real Time Control Systems. 739-759 - J. R. Parker:
A General Character to Integer Conversion Method. 761-766 - David Budgen
Combining MASCOT with Modula-2 to aid the Engineering of Real-time Systems. 767-793 - K. G. H. Allen, S. Perry:
A VLSI Interactive Layout Editor (VILRE). 795-806 - Simon L. Peyton Jones:
Yacc in Sasl-an Exercise in Functional Programming. 807-820 - Robert D. Tennent:
A Comparison of the ANSI and ISO Pascal Word Standards. 821-822
Volume 15, Number 9, September 1985
- Johannes C. van Vliet, H. M. Gladney:
An Evaluation of Tagging. 823-837 - David M. Harland:
Towards a Language for Concurrent Processes. 839-888 - R. J. Dakin, B. R. Lederer, Ken R. Parker:
A Large Scale Network Storage Facility. 889-899 - Amnon Barak, Amnon Shiloh:
A Distributed Load-balancing Policy for a Multicomputer. 901-913 - Michael J. Rees, David J. Robson:
Video-Slide: A Presentation Aid for the BBC Microcomputer. 915-923
Volume 15, Number 10, October 1985
- S. Sitharama Iyengar, Hsi Chang:
Efficient Algorithms to Create and Maintain Balanced and Threaded Binary. 925-941 - Hong-Tai Chou, David J. DeWitt, Randy H. Katz, Anthony C. Klug:
Design and Implementation of the Wisconsin Storage System. 943-962 - R. De Bruin, C. G. Van der Laan:
The Creation of a Virtual NAG-Algol 68 Program Library. 963-972 - Josephine Ada Anyanwu:
A Reliable Stable Storage System for UNIX. 973-990 - A. D. Vella:
Compilers - Some Good, Some Bad!. 991-996 - Marc C. Lobelle:
Integration of Diskless Workstations in UNIX United. 997-1010 - Paul A. Bailes:
DDA - A Data Definition Facility for UNIX Using Awk. 1011-1020 - Robert L. Bernstein:
Producing Good Code for the Case Statement. 1021-1024
Volume 15, Number 11, November 1985
- Webb Miller, Eugene W. Myers:
A File Comparison Program. 1025-1040 - Neil H. White, Keith H. Bennett:
PRTDS - A Pascal Run-Time Diagnostics System. 1041-1056 - Mark Woodman, Darrel C. Ince:
A Software Tool for the Construction and Maintenance of Structured Analysis Notation. 1057-1072 - Edward T. Smith:
A Debugger for Message-based Processes. 1073-1086 - G. M. Tomlinson, D. Keeffe, I. C. Wand, Andy J. Wellings:
The PULSE Distributed File System. 1087-1101 - Chris R. Jesshope, M. J. Crawley, G. L. Lovegrove:
An Intelligent Pascal Editor for a Graphical Oriented Workstation. 1103-1119 - William M. Waite:
Treatment of Tab Characters by a Compiler. 1121-1123
Volume 15, Number 12, December 1985
- Gordon S. Blair
A Critique of UNIX. 1125-1139 - Derek Partridge:
Specifications and an Implementation of the Type-ambiguity Problem in Pascal. 1141-1158 - Massimo Ancona, Andrea Clematis, Gabriella Dodero, Anna Pino:
A High Level Language Based System for Cross-Assembler Definition. 1159-1184 - Christoph M. Hoffmann, Michael J. O'Donnell, Robert Strandh:
Implementation of an Interpreter for Abstract Equations. 1185-1204 - David R. Hanson:
Compact Recursive-descent Parsing of Exptressions. 1205-1212
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-19 22:03 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: