default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware - Practice and Experience (SPE), Volume 14, 1984
Volume 14, Number 1, January 1984
- Jon M. Kerridge
, Dan Simpson:
Three Solutions for a Robot Arm Controller Using Pascal-Plus, occam and Edison. 3-15 - Leif Ibsen:
A Portable Virtual Machine for Ada. 17-29 - Willy Zwaenepoel, Keith A. Lantz:
Perseus: Retrospective on a Portable Operating System. 31-48 - W. Paul Cockshott, Malcolm P. Atkinson, Kenneth Chisholm, Peter J. Bailey, Ronald Morrison:
Persistent Object Management System. 49-71 - Jürg Gutknecht, Werner Winiger:
Andra: The Document Preparation System of the Personal Workstation Lilith. 73-100
Volume 14, Number 2, February 1984
- C. K. Yip:
The Pascal Graphics System. 101-118 - P. W. E. Verhelst, N. F. Verster:
PEP: An Interactive Programming System with an Algol-like Programming Language. 119-133 - Ronald Williamson, Ellis Horowitz:
Concurrent Communication and Synchronization Mechanisms. 135-151 - Martin L. Kersten, Hans Tebra:
Application of an Optimistic Concurrency Control Method. 153-168 - G. Vörös:
Calculation of Co-ordinates for Optimal Hatching. 169-176 - Bengt Nordström, Åke Wikström:
The Design of an Interactive Program Development System for Pascal. 177-190 - M. G. Wyatt:
A Shorthand Preprocessor for IDMS COBOL. 191-193
Volume 14, Number 3, March 1984
- Frank G. Pagan:
Toward Complete Programming Language Descriptions that are both Formal and Understandable. 199-206 - H. Rex Hartson:
Implementation of Predicate-based Protection in MULTISAFE. 207-234 - Paul A. Bailes, Antonio Salvadori:
A Semantically-based Formatting Discipline for Pascal. 235-251 - Bernard Henin, Daniel Couprie, Pierre Douspis:
A LIS Compiler for GCOS-7. 253-261 - Martin R. Woodward:
The Application of Halstead's Software Science Theory to Algol 68 Programs. 263-276 - Daniel Thalmann:
An Interactive Data Visualization System. 277-290 - Ravi Sethi:
Preprocessing Embedded Actions. 291-297
Volume 14, Number 4, April 1984
- Michael Purser, Chris Horn, John Sheehan:
The PHS Protocol. 299-310 - Reinhard Posch, Günter Haring:
Allocating Computer Resources to Satisfy User and Management Demands. 311-321 - Joseph L. Steffen:
Experience with a Portable Debugging Tool. 323-334 - Cynthia A. Brown, Paul Walton Purdom Jr.:
A Methodology and Notation for Compiler Front End Design. 335-346 - Mahadevan Ganapathi, Charles N. Fischer:
Attributed Linear Intermediate Representations for Retargetable Code Generators. 347-364 - Sape J. Mullender, Andrew S. Tanenbaum:
Immediate Files. 365-368 - A. J. Fischer:
Guarded and Unguarded Coroutines: an Implementation in BCPL. 369-376 - P. Heine, F. Kaiser:
An Economical Implementation of the High Level Real-time Language PEARL on Microcomputers: Intel RMX86-PEARL. 377-382 - Bo Einarsson, W. Morven Gentleman:
Mixed Language Programming. 383-395
Volume 14, Number 5, January 1984
- Massimo Ancona, Leila De Floriani, Gabriella Dodero, S. Mancosu:
Integrating Library Modules into Pascal Programs. 401-412 - Narain H. Gehani, Thomas A. Cargill:
Concurrent Programming in the Ada Language: The Polling Bias. 413-427 - Jørgen Lindskov Knudsen:
Exception Handling-A Static Approach. 429-449 - R. M. McKeag, Ann Eves, E. J. Rooney:
Designing Software for Children. 451-461 - Zbigniew Ciechanowicz, A. C. De Weever:
The 'Completeness' of the Pascal Test Suite. 463-471 - Daniel R. Perkins, Dennis Volper:
UCSD Pascal on the VAX, Portability and Performance. 473-482 - G. Pfeiffer:
A Flexible Command Generation Technique for Application in Dialogue Systems. 483-489 - James S. Briggs:
Two Implementations of the Ada Program Library. 491-500
Volume 14, Number 6, June 1984
- Thomas W. Christopher:
Reference Count Garbage Collection. 503-507 - R. Geoff Dromey:
Exploiting Partial Order with Quicksort. 509-518 - Elena Barcucci, Gianluca Pelacani:
A Software Development System Based on a Macroprocessor. 519-531 - Gill Ringland:
Software Engineering in a Development Group. 533-559 - Sallie M. Henry, Dennis G. Kafura:
The Evaluation of Software Systems' Structure Using Quantitative Software Metrics. 561-573 - Kim Walden:
Automatic Generation of Make Dependencies. 575-585 - J. E. M. Hamilton:
The Design of an Interactive Graphics System for the Display of Meteorological Fields. 587-600
Volume 14, Number 7, Juli 1984
- David C. Luckham, Friedrich W. von Henke, H. J. Larsen, Duncan Stevenson:
Adam: An Ada-based Language for Multiprocessing. 605-642 - Anders Ardö, Lars H. Philipson:
Implementation of a Pascal Based Parallel Lanugage for a Mulitprocessor Computer. 643-657 - Brian W. Marsden:
A STandard Pascal Event Simulation Package. 659-684 - Giorgio Bruno:
Using Ada for Discrete Event Simulation. 685-695 - Anna Hac:
PL/I as a Discrete Event Simulation Tool. 697-702
Volume 14, Number 8, August 1984
- Barry J. Cornelius, I. R. Lowman, D. J. Robson:
Steady-State Compilers. 705-709 - Maurice Clint, C. Vicent:
The Use of Ghost Variables and Virtual Programming in the Documentation and Verfication of Programs. 711-737 - James L. Johnson:
Anatomy of an Educational Network Database System. 739-754 - James R. Cordy:
Compile-Time Detection of Aliasing in Euclid Programs. 755-768 - M. Elizabeth C. Hull, R. M. McKeag:
A General Approach to Queuing in C. S. P. 769-773 - Brian L. Marks:
Taming the PL/I Syntax. 775-789 - Ariel Pashtan, Elizabeth A. Unger:
Resource Monitors: A Design Methodology for Operating Systems. 791-806
Volume 14, Number 9, September 1984
- Anne D. Wilson:
Programs to Process Trees, Representing Program Structures and Data Structures. 807-816 - Ian Sommerville, D. J. Smith:
An Electronic Secretary. 817-825 - John T. Robinson:
Separating Policy from Correctness in Concurrency Control Design. 827-844 - J. C. Huang, Melody Ho, Ted Law:
A Simulator for Real-Time Software Debugging and Testing. 845-855 - Jack W. Davidson, Christopher W. Fraser:
Register Allocation and Exhaustive Peephole Optimization. 857-865 - Kuo-Cheng Li, Herbert D. Schwetman:
Implementing a Scaler C Compiler on the Cyber 205. 867-888 - I. C. Pyle:
Transducers are Type-converters. 889-899 - Brian E. Carpenter, Robert Cailliau:
Experience with Remote Procedure Calls in a Real-time Control System. 901-930
Volume 14, Number 10, October 1984
- Jose Felipe Contla:
Compact Coding of Syntax Tables. 909-919 - Philip Leith:
Top-Down Design Within a Functional Environment. 921-930 - Paolo Corsini, Graziano Frosini, Lanfranco Lopriore:
Distributing and Revoking Access Authorizations on Abstract Objects: A Capability Approach. 931-943 - Manuel Reimer:
Implementation of the Database Programming Language Modula/R on the Personal Computer Lilith. 945-956 - Danny Crookes, J. W. G. Elder:
An Experiment in Language Design for Distributed Systems. 957-971 - David M. Harland, Hamish I. E. Gunn:
Polymorphic Programming I. Another Language Designed on Semantic Principles. 973-997
Volume 14, Number 11, November 1984
- J. B. Ju, Keith D. Baker:
Implementing a File Transfer Protocol between PDP11 and PRIME 550 Computers. 1009-1019 - Hamish I. E. Gunn, David M. Harland:
Polymorphic Programming II. An Orthogonal Tagged High Level Architecture Abstract Machine. 1021-1046 - J. K. Doyle, K. I. Mandelberg:
A Portable PDP-11 Simulator. 1047-1059 - Yoshihiro Tsujino, M. Ando, Toshiro Araki, Nobuki Tokura:
Concurrent C: A Programming Language for Distributed Multiprocessor Systems. 1061-1078 - Günter Valdorf:
Dedicated, Distributed and Portable Operating Systems: a Structuring Concept. 1079-1093 - Michael Spenke, Heinz Mühlenbein, Monika Mevenkamp, Friedemann Mattern, Christian Beilken:
A Language Independent Error Recovery Method for LL(1) Parsers. 1095-1107
Volume 14, Number 12, December 1984
- Michael E. Dewey:
QS: a Tool for General Data Input. 1113-1121 - Thomas J. LeBlanc, Robert H. Gerber, Robert P. Cook:
The StarMod Distributed Programming Kernel. 1123-1139 - Henryk F. R. Arciszewski, E. M. Van Gasteren:
P/CL: A Flexible Input Processor. 1141-1148 - Mark Rain:
Avoiding Trickle-down Recompilation in the Mary2 Implementation. 1149-1157 - Darrel C. Ince:
A Source Code Control System Based on Semantic Nets. 1159-1168 - Emanuel Derman, Christopher J. Van Wyk:
A Simple Equation Solver and its Application to Financial Modelling. 1169-1181 - Robert I. Winner, L. B. Reed:
Operating System Support for Sharing Writable Control Store. 1183-1196 - J. Barrie Bresnahan, David T. Barnard, Ian A. Macleod:
WSH-A New Command Interpreter for UNIX. 1197-1205
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-13 19:12 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:
