Abstract is missing.
- Programming Languages: Formal Development of Interpreters and CompilersDines Bjørner. 1-21
- Programming: From Craft to Scientific DisciplineEdsger W. Dijkstra. 23-30
- Types and Related ConceptsReiner Durchholz. 31-38
- Concepts for the Coexistence Approach to Data Base ManagementEckhard D. Falkenberg. 39-50
- Beyond APL - An Interactive Language for the EightiesWolfgang K. Giloi. 51-59
- Very High Level Languages - Some Aspects of the Evolution of Language DesignPhilippe Jorrand. 61-75
- The Evolution of Relational Database Management TechnologyW. E. King. 77-79
- Brains and ProgramsB. Meltzer. 81-84
- Conceptual Schema, Abstract Data Structures, Enterprise DescriptionsMichael E. Senko. 85-102
- From Programming Education to Professional PracticeElie Milgrom, Rosemary Michelle Simpson, Pierre Verbaeten, Yves D. Willems. 103-110
- Problem Specification and Algorithmic ProgrammingDidier Bert. 111-117
- Solutions and Their ProblemsDennis de Champeaux. 119-127
- A Comparison of MODULA with Other System Programming LanguagesJiri Hoppe. 129-133
- More Flexible and Powerful Control Constructs for Structured ProgrammingGiorgio De Michelis, Gaetano Aurelio Lanzarone, Carla Simone. 135-142
- The Funnel, a New and Practical Presentation Method for Program Building BlocksEduard Mumprecht. 143-150
- Semantic Approach to Design fo Controller Languages and HardwareE. Mark Gold. 151-166
- Extension of Precompilers for Evaluation of Program TestsMarco Maiocchi. 167-174
- Structured Programming in Cobol - Yet Another ApproachVáclav Chvalovský. 175-182
- Some Measures of Information about Program StatesAndrew T. Arblaster. 183-190
- A Case Study in Modular DesignFlaviu Cristian. 191-196
- Verification of Concurrent Systems of ProcessesJohn Yiannis Cotronis, Peter E. Lauer. 197-207
- Automatic Deadlock Analysis of Parallel ProgramsOtthein Herzog. 209-216
- Using Auxiliary Variables in Parallel Programs VerificationRaymond R. Devillers, Guy Louchard. 217-225
- Parsing Languages Described by Syntax GraphsAugusto Celentano. 227-235
- Project LILA. The ELL(1) Generator of LILA, an IntroductionJohan Lewi, Karel De Vlaminck, J. Huens, M. Huybrechts. 237-251
- Computer Work for Literary Production. A Particular Application for Biblical StudiesE. De Borchgrave, R. F. Poswick. 253-259
- Microprocessor Based Parallel Computers and Their Application to the Solution of Control AlgorithmsDavid Al-Dabass. 261-270
- GOSPEL: a Time-Sharing Approach to Continuous System SimulationA. Brini, R. Ferrari, T. Montagna, M. Montagni, G. Perna, J. Szanto. 271-275
- Program Restructuring Algorithms for Global LRU EnvironmentsDomenico Ferrari, Makoto Kobayashi. 277-283
- A Predictive Tool for the Improvement of Program BehaviourP. Ribeyre, P. Y. Saintoyant. 285-290
- The Variance of Conditional Waiting Time for the M/G/1 QueueArne Nilsson. 291-298
- Analysis of a Foreground-Background System with Two Levels of Priority among Foreground JobsJ. J. Dumont, Guy Latouche. 299-304
- Optimal Partitioning of a Finite Buffer between Two Pairs of Producer-ConsumerGuy Latouche. 305-313
- A Closed Form Expression of the Page Fault Rate for LRU Paging Algorithm in a Markovian Reference Model of Program BehaviorC. Glowacki. 315-318
- A Design of a Communication Supervisor for a Local Network Employing MonitorsJan van den Bos. 319-323
- Optimal and Sub-Optimal Configurations for Computer NetworksAlan D. Pearman. 325-333
- Terminal Access to Host Computers through RPCNETLivio Lazzeri, Luciano Lenzini, Allen Springer. 335-344
- A Distributed Strategy for Resource Allocation in Information NetworksGiacomo Bucci, S. Golinelli. 345-356
- The Relative Merits of Distributed Computing SystemsF. E. Taylor. 357-365
- Balanced Internal Merge SortingEero Peltola, Hannu Erkiö. 367-371
- An Insertion Sort for Uniformly Distributed Keys Based on Stopping TheoryWolfgang Janko. 373-379
- Algorithmic Embedding in Fuzzy SetsChris J. Hinde. 381-387
- Some Bounds on Quasi-Initialised Finite AutomataPaulo A. S. Veloso. 389-393
- Binomial-Expansion Algorithms for Copmuting Integer Powers of Sparse PolynomialsVangalur S. Alagar, David K. Probst. 395-402
- GRIN - A Simple Command Language for Graphic InteractionG. Barta. 403-409
- GPGS - General Purpose Graphic SystemL. C. Caruthers, D. Groot, E. Hermans, Andries van Dam, Jan van den Bos. 411-416
- Specification and Design of Dialogue Systems with State DiagramsErnst Denert. 417-424
- Time-Dependent Blocking of Terminal InputE. Lopes Cardozo. 425-427
- DPL: A Mathematical Computation SystemR. A. Cowan. 429-439
- Distributed Control, Modularity and Data Types in a Simple Parallel LanguageMarco Bellia, Giorgio Levi. 441-450
- SPIP: A Way of Writing Portable Operating SystemsDaniel Thalmann, Bernard Levrat. 451-459
- Comparison of Performance Measurements of a Computer System with a Queueing ModelLester Lipsky. 461-466
- SODA - A Flexible Scheme for Database/ Program InterfacePaul Lindgreen, Edith Rosenberg. 467-473
- A Framework for Distributed Database SystemsFabio A. Schreiber. 475-482
- To the Problem of Record Placement in Inverted File SystemsGunter Schlageter. 483-489
- On Safeguarding Statistical Disclosure by Giving Approximate Answers to QueriesMohammad Inam ul Haq. 491-495
- D-GRAPHS: A Conceptial Model for Data BasesHerbert Weber. 497-504
- Privacy Protection - Is It just an Engineering Issue?H. R. Schuchmann. 505-510
- Programming Languages: Linguistics and SemanticsDines Bjørner. 511-536
- Program Specifications and Formal DevelopmentCliff B. Jones. 537-553
- Principles of Data Base SystemsM. Vetter. 555-580