Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware - Practice and Experience (SPE), Volume 13, 1983
Volume 13, Number 1, January 1983
- J. M. Sachs:
STOIC, an Interactive Programming System for Dedicated Computing. Softw. Pract. Exp. 13(1): 1-16 (1983) - David A. Workman:
GRASP: A Software Development System Using D-Charts. Softw. Pract. Exp. 13(1): 17-32 (1983) - M. Jegado:
Recoverability Aspects of a Distributed File System. Softw. Pract. Exp. 13(1): 33-44 (1983) - Gordon S. Blair, John A. Mariani, W. D. Shepherd:
A Practical Extension to UNIX for Interprocess Communication. Softw. Pract. Exp. 13(1): 45-58 (1983) - Colin C. Charlton, Paul H. Leng:
Aids for Pragmatic Error Detection. Softw. Pract. Exp. 13(1): 59-66 (1983) - T. J. King, Ken Moody:
The Design and Implementation of CODD. Softw. Pract. Exp. 13(1): 67-78 (1983) - Han Noot:
Structured Text Formatting. Softw. Pract. Exp. 13(1): 79-94 (1983)
Volume 13, Number 2, February 1983
- Stephen C. Mathewson:
User Acceptance: Design Considerations for a Program Generator. 101-117 - Kai Koskimies, Kari-Jouko Räihä:
Modelling of Space-efficient one-pass Translation using Attribute Grammars. 119-129 - Robert A. Day:
Typesetting Mathematics on Multi-Access Systems. 131-138 - Bjarne Stroustrup:
Adding Classes to the C Language: An Exercise in Language Evoluation. 139-161 - Prabhaker Mateti:
A Specification Schema for Indenting Programs. 163-179 - Art Lew:
Decision Tables for General-purpose Scientific Programming. 181-188 - Michael Levison:
Editing Mathematical Formulae. 189-195
Volume 13, Number 3, March 1983
- Prabhaker Mateti, Joxan Jaffar:
A Correctness Proof of an Indenting Program. 199-226 - Anders Lindgård, Jørgen Oxenbøll, Ejvind Sørensen:
Hierarchical Multi-Level Computer Network for Laboratory Automation. 227-240 - D. J. Robson:
An Evaluation of Throw-away Compiling. 241-249 - Rondall E. Jones, David K. Kahaner:
XERROR, the SLATEC Error-handling Package. 251-257 - Malcolm P. Atkinson, Kenneth Chisholm, W. Paul Cockshott, Richard Marshall:
Algorithms for a Persistent Heap. 259-271 - Malcolm P. Atkinson, Kenneth Chisholm, W. Paul Cockshott:
CMS-A Chunk Management System. 273-293 - Douglas Comer:
The Costs an Benefits of Lazy Interactive Input in Pascal. 287-293
Volume 13, Number 4, April 1983
- P. J. Brown, John A. Ogden:
The SUPERMAC Macro Processor in Pascal. 295-304 - Ronald H. Perrott, Danny Crookes, Peter Milligan:
The Programming Language ACTUS. 305-322 - A. Wilk, William Silverman:
OPTIMA-A Portable PCODE Optimizer. 323-354 - Richard J. Whiddett:
Dynamic Distributed Systems. 355-371 - José Nuno Oliveira, I. R. Wilson:
An Analysis of Microcomputer Implementation of Pascal. 373-384
Volume 13, Number 5, May 1983
- P. A. Lee:
Exception Handling in C Programs. 389-405 - David Holdsworth:
A System for Analysing Ada Programs at Run-time. 407-421 - Václav Chvalovský:
Decision Tables. 423-429 - Günter Haring, O. Schechtner:
On the Realization of Extended Control Structures in FORTRAN. 431-445 - W. Robert Collings, Robert E. Noonan, Samuel T. Gregory, John C. Knight, Roy W. Hamm:
Comprehensive Tools for Assembler Construction. 447-451 - Lloyd Allison
:
Syntax Directed Program Editing. 453-465 - D. L. Fisher:
Global Variables Versus Local Variables. 467-469
Volume 13, Number 6, June 1983
- Páe Quittner:
Efficient Combination of Index Tables and Hashing. 471-478 - Narain H. Gehani:
An Electronic Form System-An Experience in Prototyping. 479-486 - Tsunetoshi Hayashi:
A Program Structuring Preprocessor for a Macro Assembly Language. 487-494 - Stephen B. Wampler, Ralph E. Griswold:
The Implementation of Generators and Goal-directed Evaluation in Icon. 495-518 - Ian H. Witten, Brian Wyvill:
On the Generation and Use of Space-filling Curves. 519-525 - David Barton:
Distributed Processing in a Small Office. 527-543 - Paul B. Schneck:
The Myth of Virtual Memory. 537-543
Volume 13, Number 7, July 1983
- Jacob Katzenelson:
Introduction to Enhanced C (EC). 551-576 - Jacob Katzenelson:
Higher Level Programming and Data Abstractions-A Case Study Using Enhanced C. 577-595 - Jaroslav Nadrchal, Ivan Sklenár, Václav Kriz, Jaroslav Král:
An Implementation of Algol 68 for a Small Computer. 597-660
Volume 13, Number 8, August 1983
- Lalit M. Patnaik, Phule Shailendra, K. Venkateswara Rao:
Access Path Query Language for Relational Database Systems. 661-670 - Susan L. Graham, Peter B. Kessler, Marshall K. McKusick:
An Execution Profiler for Modular Programs. 671-685 - Darrel C. Ince:
A Software Tool for Top-down Programming. 687-695 - Richard N. Taylor:
An Integrated Verification and Testing Environment. 697-713 - Douglas W. Jones:
Assembly Language as Object Code. 715-725 - Charles A. Witschorik:
The Real-Time Debugging Monitor for the Bell System 1A Processor. 727-743 - David R. Hanson:
Simple Code Optimizations. 745-763
Volume 13, Number 9, September 1983
- Wilf R. LaLonde, John R. Pugh:
A Simple Technique for Converting from a Pascal Shop to a C. Shop. Softw. Pract. Exp. 13(9): 771-775 (1983) - Mark D. Apperley, Robert Spence:
Hierarchical Dialogue Structures in Interactive Computer Systems. Softw. Pract. Exp. 13(9): 777-790 (1983) - Jon R. Malone:
Implementation of a Retrospective Tracing Facility. Softw. Pract. Exp. 13(9): 791-796 (1983) - Nadia Magnenat-Thalmann, Daniel Thalmann:
MIRA-3D: A Three-Dimensional Graphical Extension of Pascal. Softw. Pract. Exp. 13(9): 797-808 (1983) - John C. Cavouras:
Implementing a Simulation Tool in a High-Level Language with no Multitasking Facilities. Softw. Pract. Exp. 13(9): 809-815 (1983) - Floyd Sykes, Raymund T. Tillman, Ben Shneiderman:
The Effect of Scope Delimiters on Program Comprehension. Softw. Pract. Exp. 13(9): 817-824 (1983) - Mehdi T. Harandi:
An Experimental COBOL Restructuring System. Softw. Pract. Exp. 13(9): 825-846 (1983) - M. C. Pong, N. Ng:
PIGS-A System for Programming with Interactive Graphical Support. Softw. Pract. Exp. 13(9): 847-855 (1983) - V. Murali, R. K. Shyamasundar:
A Sentence Generator for a Compiler for PT, a Pascal Subset. Softw. Pract. Exp. 13(9): 857-869 (1983)
Volume 13, Number 10, October 1983
- John R. Ellis, Nathaniel Mishkin, Mary-Claire Van Leunen, Steven R. Wood:
Tools: An Environment for Time-Shared Computing and Programming. 873-892 - John C. Knight, Douglas D. Dunlop:
On the Design of a Special-purpose Scientific Programming Language. 893-907 - Colin C. Charlton, K. C. Mander:
Tools and Techniques for Teaching Microprocessor Software Development. 909-920 - M. C. Er:
Optimizing Procedure Calls and Returns. 921-939 - Jed Marti:
The Little META Translator Writing System. 941-959 - Maurice Clint, Ronald H. Perrott, Christopher M. Holt, Alan Stewart:
The Influence of Hardware and Software Considerations on the Design of Synchronous Parallel Algorithms. 961-974
Volume 13, Number 11, November 1983
- Allan Ramsay:
A Distributed Programming Assistant. 983-992 - Lu Ru Quian, Wei Zi Chu:
An Assessment of the XR Project for Compiler Development and Transportation. 993-1004 - Vincent West:
An Optimizer for a Relational Database Command Language. 1005-1012 - D. J. Robson:
Towards a Conversational Language-Sensitive System for Pascal. 1013-1017 - Jim Cunningham, Silvana Zappacosta-Amboldi:
Software Tools for First-Order Logic. 1019-1025 - J. H. Williamson:
Incremental Back-up Procedures. 1027-1031 - Hugo J. Strubbe:
Kernel for a Responsive and Graphical User Interface. 1033-1042 - Steve Cook:
Playing Cards on the PERQ: An Algorithm for Overlapping Rectangles. 1043-1053 - Robert H. Davis, A. J. Bathgate:
A Zilog Z8000 Disassembler. 1055-1073 - Gordon M. Bull, Alan Lewis:
Real-time BASIC. 1075-1092
Volume 13, Number 12, December 1983
- Jane W. Hughes, Malcolm S. Powell:
DTL: A Language for the Design and Implementation of Concurrent Programs as Structured Networks. 1099-1112 - Jane W. Hughes, Malcolm S. Powell:
The Implementation of DTL. 1113-1128 - Danny Crookes, R. Fee, V. Pickering:
Building Syntax Graphs from Syntax Equations: A Case Study in Modular Programming. 1129-1139 - Paul J. Layzell, J. M. Triance:
Syntax Driven COBOL Compilers-An Assessment. 1141-1155 - Arthur I. Karshmer, Dirk J. Depree, James M. Phelan:
The New Mexico State University Ring-Star System: A Distributed UNIX Environment. 1157-1168 - J. Oliver:
The Necessity for Accurate Compiler-provided Routines when Evaluating Special Functions. 1169-1174 - Peter H. Welch:
Parallel Assignment Revisited. 1175-1180 - A. J. Cole:
A Note on Space Filling Curves. 1181-1189 - J. M. McCaig:
FUMBLR: A Pascal Program for Initializin Memory. 1191-1200
a service of 
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-04-18 20:20 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:
