![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Software - Practice and Experience (SPE), Volume 12, 1982
Volume 12, Number 1, January 1982
- Brian W. Kernighan:
PIC-A Language for Typesetting Graphics. 1-21 - James J. McGregor:
Backtrack Search Algorithms and the Maximal Common Subgraph Problem. 23-34 - Alan L. Tharp, Kuo-Chung Tai:
The Practicality of Text Signatures for Accelerating String Searching. 35-44 - Jon M. Kerridge
:
A FORTRAN Implementation of Concurrent Pascal. 45-55 - G. de V. Smit:
A Comparison of Three String Matching Algorithms. 57-66 - I. Trotter Hardy Jr.:
The Syntax of Interactive Command Languages. 67-75 - Robert L. Glass:
Real-time Checkout: The 'Source Error First'. 77-83 - B. R. Dunman, Stephen R. Schach, Peter T. Wood
:
A Mainframe Implementation of Concurrent Pascal. 85-89 - P. J. Brown:
'My System Gives Excellent Error Messages'-Or Does It? 91-94
Volume 12, Number 2, February 1982
- Paul J. Jalics:
On the Performance of COBOL Programs in Large vs. Mini Computers. 103-114 - W. Peter Dodd:
An Assessment of a New Technique for the Representation of Boolean Matrices. 115-139 - Dipayan Gangopadhyay:
A Framework for Modelling Graphic Interactions. 141-151 - Jacob Palme:
Uses of the SIMULA Process Concept. 153-161 - Richard A. Frost, M. M. Peterson:
A Function for Generating Nearly Balanced Binary Search Trees from Sets or Non-random Keys. 163-168 - John L. Hennessy, Hilding Elmquist:
The Design and Implementation of Parametric Types in Pascal. 169-184 - Anthony Q. Baxter, Johnson M. Hart:
Software Segmented Virtual Memory. 185-194 - Robert P. Cook, Insup Lee:
A Contextual Analysis of Pascal Programs. 195-203
Volume 12, Number 3, March 1982
- Anthony I. Hinxman, Austin Tate:
Parsing an Extension to CODASYL FORTRAN DML. 205-209 - Anders P. Ravn:
Pointer Variables in Concurrent Pascal. 211-222 - Jørgen Staunstrup:
Message Passing Communication Versus Procedure Call Communication. 223-234 - Richard I. Cowderoy, Peter J. L. Wallis:
The Transfer of a BCPL Compiler to the Z80 Microcomputer. 235-239 - Christopher W. Fraser:
A Programmable Text Editor. 241-250 - Ralph E. Griswold:
A Tool to Aid in the Installation of Complex Software Systems. 251-267 - Michael J. Heffler:
Description of a Menu Creation and Interpretation System. 269-281 - Yung H. Tsin:
Extending the Power of Pascal's External Procedure Mechanism. 283-292
Volume 12, Number 4, April 1982
- Willem Maarten Witsel:
Meta: A Language System for Bitslice Applications. 297-308 - Hassan Gomaa, J. Lui, P. Woo:
The Software Engineering of a Microcomputer Application System. 309-321 - Richard Artym:
The STAB Multiprocessing Environment for CYBA-M. 323-329 - Brig Elliott:
A High-level Debugger for PL/I, Fortran and Basic. 331-340 - A. J. Cole, Ronald Morrison:
Triplex: A System for Interval Arithmetic. 341-350 - Christopher W. Fraser, David R. Hanson:
A Machine-Independent Linker. 351-366 - Christopher W. Fraser, David R. Hanson:
Exploiting Machine-Specific Pointer Operations in Abstract Machines. 367-373 - Brig Elliott:
Design of a Simple Screen Editor. 375-384 - Robert D. Tennent:
Two Examples of Block Structuring. 385-392
Volume 12, Number 5, May 1982
- T. Lang:
Another Program for Drawing Diagrams. 397-404 - A. Smith, Douglas H. Bell:
A Multiprogramming System for a Microcomputer. 405-410 - D. K. Yip:
Implementation of a CORAL66 Programming Envieronment. 411-431 - Narain H. Gehani:
Specifications.: Formal and Informal-A Case Study. 433-444 - H. S. M. Kruijer:
A Multi-user Operating System for Transaction Processing, Written in Concurrent Pascal. 445-454 - Otto K. Ferstl, Elmar J. Sinz:
Designing Structured Cobol Programs. 455-474 - Gregory R. Andrews:
An Alternative Approach to Arrays. 475-485 - M. Howard Williams:
A System to Assist Survey Analysts. 487-491
Volume 12, Number 6, June 1982
- James F. Leathrum:
A Design Medium for Software. 497-503 - W. O. Covington Jr., Richard L. Wexelblat:
A Test Data Synthesizer for Telephone Company Accounting Office Processing of Call Data. 505-516 - Ian Sommerville:
A Pattern Matching System. 517-530 - T. Lang, J. P. Newbury, D. E. P. Watkins:
Experiences in Benchmarking for the Selection of an Interactive System. 531-542 - Bruce W. Leverett, Peter G. Hibbard:
An Adaptive System for Dynamic Storage Allocation. 543-555 - Bernice E. Casey, B. Dasarathy:
Modelling and Validating the Man-Machine Interface. 557-569 - L. V. Atkinson:
Optimizing Two-state Case Statements in Pascal. 571-581 - R. P. A. Collinson:
The Cambridge Ring and UNIX. 583-594
Volume 12, Number 7, July 1982
- Hassan Gomaa:
The Design and Calibration of a Simulation Model of a Star Computer Network. 599-610 - Michael Levison:
A Programmable Text-editing System. 611-621 - A. J. Fisher:
The Syntax of User-defined Dyadic Operators. 623-625 - Arthur C. Fleck:
Verifying Abstract Data Types with SNOBOL4. 627-640 - John Wilkes:
HADES-A Command Environment that Supports Structure. 641-654 - D. J. Rees, P. D. Stephens:
The Kernel of the EMAS 2900 Operating System. 655-667 - Douglas Comer, Vincent Y. Shen:
Hash-Bucket Search: A Fast Technique for Searching an English Spelling Dictionary. 669-682 - Stephen R. Schach:
A Unified Theory for Software Production. 683-689
Volume 12, Number 8, August 1982
- Pavel Kaiser, Ivan Stetina:
A Dialogue Generator. 693-707 - D. Julian M. Davies:
String Searching in Text Editors. 709-717 - Gregory R. Andrews:
The Distributed Programming Language SR-Mechanisms, Design and Implementation. 719-753 - J. A. Hall:
A Microprogrammed P-CODE Interpreter for the Data General Eclipse S/130 Minicomputer. 755-765 - Ronald Morrison:
Low Cost Computer Graphics for Micro Computers. 767-776 - Anna Hac:
Computer System Simulation in Pascal. 777-784
Volume 12, Number 9, September 1982
- Olivier Lecarme, Mireille Pellissier, Marie-Claude Thomas:
Computer-aided Production of Language Implementation Systems: A Review and Classification. 785-824 - Richard J. LeBlanc, Charles N. Fischer:
A Case Study of Run-Time Errors in Pascal Programs. 825-834 - Josef S. Ottmann:
DASD Sharing in DOS/VSE. 835-842 - J. Alan Hunter, Nigel F. Hall:
A Network Screen Editor Implementation. 843-856 - Alty F. Dawson, M. J. Coombs, James L. Alty:
How to Improve Computer Advisory Services. 857-877 - John L. Hennessy, Noah Mendelsohn:
Compilation of the Pascal Case Statement. 879-882
Volume 12, Number 10, October 1982
- B. T. Sewell:
A Rapid Lookup Table Method for Trigonometric Functions. 885-887 - Joe Celko:
Time Token Design Methodology. 889-895 - J. P. Newbury:
Immediate Turnround-An Elusive Goal. 897-895 - Douglas Comer, Keith Williamson:
An Alternative to Young's Module Facility for Pascal. 907-913 - André M. Van Tilborg:
Executing Large Graphics Programs with a Small Computer. 915-927 - David Beech:
Modularity of Computer Languages. 929-958 - G. R. Brookes, I. R. Wilson, A. M. Addyman:
A Static Analysis of Pascal Program Structures. 959-963 - Thomas A. Cargill:
A Robust Distributed Solution to the Dining Philosophers Problem. 965-969 - Paul R. McMullin, John D. Gannon, Mark D. Weiser:
Implementing a Compiler-Based Test Tool. 971-979
Volume 12, Number1, November 1982
- Marco Mezzalama, Paolo Prinetto:
A Machine-independent Approach to Microprogram Synthesis. 985-1010 - Bjarne Stroustrup:
An Experiment with the Interchangeability of Processes and Monitors. 1011-1025 - R. Allen Akin, Richard J. LeBlanc:
The Design and Implementation of a Code Generation Tool. 1027-1041 - John R. Wolberg:
A Costing Model for Software Conversions. 1043-1049 - Carl N. R. Dellar:
A File Server for a Network of Low Cost Personal Microcomputers. 1051-1068 - Douglas Comer:
The Flat File System FFG: A Database System Consisting of Primitives. 1069-1079
Volume 12, Number 12, December 1982
- Robert H. Dodds Jr., Daniel R. Rehak, Leonard A. Lopez:
Development Methodologies for Scientific Software. 1085-1100 - Nick J. Fiddian:
Meta-Assembly: A Fresh Assessment. 1101-1117 - Ian H. Witten, Mike Bonham, Evelyne Strong:
On the Power of Traps and Diversions in a Document Preparation Language. 1119-1131 - John R. Levine
:
An Overview of the Yale Gem System. 1133-1145 - David R. Brownbridge, Lindsay F. Marshall, Brian Randell:
The Newcastle Connection or UNIXes of the World Unite! 1147-1162
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.