7. IFIP Congress 1977: Toronto, Canada

Bruce Gilchrist (Ed.): Information Processing 77, Proceedings of the IFIP Congress 77, Toronto, Canada, August 8-12, 1977. North-Holland, 1977, ISBN 0-7204-0755-9

Future Directions in Computer Architecture

• 
  Maurice V. Wilkes:
  Beyond Today's Computers. IFIP Congress 1977: 1-5
• 
  Yaohan Chu:
  Direct-Execution Computer Architecture. IFIP Congress 1977: 7-12

Software Studies I

• 
  Rajat K. Deb:
  On Generation of Test Data and Minimal Cover of Directed Graphs. IFIP Congress 1977: 13-16
• 
  J. L. Cheval, F. Christian, Sacha Krakowiak, Jean Montuelle, Jacques Mossière:
  An Experiment in Modular Program Design. IFIP Congress 1977: 17-21
• 
  Ken Sakamura, Hideaki Kitafusa, Yukio Takeyari, Hideo Aiso:
  A Debugging Machine - An Approach to an Adaptive Computer. IFIP Congress 1977: 23-28

Pattern Recognition and Artificail Intelligence

• 
  Kazuaki Komori, Takahiko Kawatani, Kenichiro Ishii, Yukiyasu Iida:
  A Feature Concentration Method for Character Recognition. IFIP Congress 1977: 29-34
• 
  Kiyoshi Iwata, Masumi Yoshida, Eiishiro Yamamoto, Takeshi Masui, Yukikazu Kabuyama, Shin-ichi Shimizu:
  Recognition System for Handprinted Characters. IFIP Congress 1977: 35-39
• 
  Alan W. Biermann, Douglas R. Smith:
  The Hierarchical Synthesis of Lisp Scanning Programs. IFIP Congress 1977: 41-45

Educating in Computing I

• 
  J. N. P. Hume:
  Education in Computing Versus User Needs. IFIP Congress 1977: 47-51
• 
  Ira Pohl, Alan Shaw:
  Introducing Computer Science - An Alternative. IFIP Congress 1977: 53-56

Theories of Programs and Languages

• 
  Janis Barzdin, Janis Bicevskis, Audris Kalnins:
  Automatic Construction of Complete Sample System for Program Testing. IFIP Congress 1977: 57-62
• 
  Peter Bachmann:
  Data-Flow-Analysis in Weakly Interpreted Program-Schemes. IFIP Congress 1977: 63-68
• 
  Jean-François Perrot, Jacques Sakarovitch:
  A Theory of Syntactic Monoids for Context-Free Languages. IFIP Congress 1977: 69-72

New Methods for Information Systems Development

• 
  Mats Lundeberg:
  Utilization of New Information Systems Development Methods in Practice - Perspectives and Prospects. IFIP Congress 1977: 73-78
• 
  J. O. Anton, Claude Chrisment, J. B. Crampes, M. F. Debaisieux, J. H. Luguet:
  Principles of Computer-Assisted Conception for Automatic Elaboration of a Computerized Information System. IFIP Congress 1977: 79-84
• 
  Tadashi Ishiketa, T. Yokoyama, S. Mandai, N. Takeshima:
  A Managerial Decision-Making Tool - Computer Assisted Problem-Solving System (CAPSS). IFIP Congress 1977: 85-90

Finite Elements Methods

• 
  Michel Bernadou:
  Conforming Finite Element Methods for Shell Problems with Numerical Integration. IFIP Congress 1977: 91-96
• 
  Michel Bercovier:
  A Family of Finite Elements with Penalisation for the Numerical Solution of Stokes and Navier-Stokes Equations. IFIP Congress 1977: 97-101
• 
  Owe Axelsson, Uno Nävert:
  On a Graphical Package for Nonlinear Partial Differential Equation Problems. IFIP Congress 1977: 103-108

Future Directions in Information Management

• 
  Mayford L. Roark:
  Some Approaches to the Management of Change. IFIP Congress 1977: 109-112
• 
  Kurt Ziegler Jr.:
  Distributed Data Base Where Are You? (A Tutorial). IFIP Congress 1977: 113-115

Programming Languages

• 
  Andrei P. Ershov, Valery V. Grushetsky:
  An Implementation-Oriented Method for Describing Algorithmic Languages. IFIP Congress 1977: 117-122
• 
  Marie-Claude Gaudel:
  A Formal Approach to Translator Specification. IFIP Congress 1977: 123-127
• 
  Tiko Kameda, Hussein M. Abdel-Wahab:
  Optimal Code Generation for Machines with Different Types of Instructions. IFIP Congress 1977: 129-132

Data Base Theory

• 
  T. S. E. Maibaum:
  Mathematical Semantics and a Model for Data Bases. IFIP Congress 1977: 133-138
• 
  P. Dell'Orco, V. N. Spadavecchia, Margaret King:
  Using Knowledge of a Data Base World in Interpreting Natural Language Queries. IFIP Congress 1977: 139-144
• 
  Stephen Todd:
  Automatic Constraint Maintenance and Updating Defined Relations. IFIP Congress 1977: 145-148

Distributed Processing

• 
  Mamoru Maekawa:
  Interprocess Communications in a Highly Diversified Distributed System. IFIP Congress 1977: 149-154
• 
  Gérard Le Lann:
  Distributed Systems - Towards a Formal Approach. IFIP Congress 1977: 155-160
• 
  Toshiyuki Sakai, Tsunetoshi Hayashi, Shigeyoshi Kitazawa, Koichi Tabata, Takeo Kanade:
  Inhouse Computer Network Kuipnet. IFIP Congress 1977: 161-166

Graphics

• 
  Mamoru Hosaka, Fumihiko Kimura:
  An Interactive Geometrical Design System with Handwriting Input. IFIP Congress 1977: 167-172
• 
  Teus Hagen, Paul J. W. ten Hagen, Paul Klint, Han Noot:
  The Intermediate Language for Pictures. IFIP Congress 1977: 173-178
• 
  Eric D. Carlson, Gary M. Giddings, Robin Williams:
  Multiple Colors and Image Mixing in Graphics Terminals. IFIP Congress 1977: 179-182

Numerical Analysis

• 
  Graziano Frosini, Francesco M. Viterbo:
  Computing the Frequency of a Sampled Sinusoidal Function. IFIP Congress 1977: 183-187
• 
  David F. Shanno, Kang-Hoh Phua:
  Inexact Step Lengths and Quasi-Newton Methods. IFIP Congress 1977: 189-193
• 
  Jonas Mockus:
  On Bayesian Methods for Seeking the Extremum and their Application. IFIP Congress 1977: 195-200

Computer Aided Instruction

• 
  Jacques Hebenstreit:
  New Trends and Related Problems in Computer-Based Education. IFIP Congress 1977: 201-208
• 
  Philippe Massé, Jean-Claude Sabonnadière:
  Introduction of Computer Aided Design in an Educational System. IFIP Congress 1977: 209-212

Impact of Information Systems on Organisations

• 
  Robert I. Tricker:
  The Impact of Information Systems on Organisational Thinking. IFIP Congress 1977: 213-221
• 
  Emilio Bartezzaghi, Claudio Ciborra, Paolo Romano, Piercarlo Maggiolini:
  Information Systems and Organization - Empirical Findings Regarding the Introduction of Computers in Manufacturing Firms. IFIP Congress 1977: 223-227

Modelling and Analysis of Data Networks

• 
  Gregor von Bochmann, Jan Gecsei:
  A Unified Method for the Specification and Verification of Protocols. IFIP Congress 1977: 229-234
• 
  Lawrence Van Sickle, K. Mani Chandy:
  Computational Complexity of Network Design Algorithms. IFIP Congress 1977: 235-239
• 
  D. A. Hutchison, J. Spruce Riordon, Samy A. Mahmoud:
  A Recursive Algorithm for Deadlock Preemption in Computer Networks. IFIP Congress 1977: 241-246

Pattern Recognition and Process Control

• 
  Josef Kittler:
  The Discriminant Function Approach to Classification of Incomplete Pattern Vectors. IFIP Congress 1977: 247-251
• 
  Mario Borillo, Luis Fariñas del Cerro, Jacques Virbel:
  Validation Problems in Pattern Recognition Study of a Particular Case. IFIP Congress 1977: 253-257
• 
  V. M. Glushkov, A. I. Nikitin, I. V. Sergienko:
  Problems of Plating-Line Scheduling. IFIP Congress 1977: 259

Effects OF Information Technology on Organisation Structures

• 
  Richard L. Nolan:
  Restructuring the Data Processing Organization for Data Resource Management. IFIP Congress 1977: 261-265

Trends and Developments in CAD

• 
  József Hatvany:
  Trends and Developments in Computer-Aided Design. IFIP Congress 1977: 267-271
• 
  Frank M. Lillehagen, Jørn Øian, Jan F. Mack:
  Focusing on the Internal Mode in CAD and CAM Systems. IFIP Congress 1977: 273-278

Foundations for Proofs about Programs

• 
  J. W. de Bakker:
  Semantics and the Foundations of Program Proving. IFIP Congress 1977: 279-284
• 
  Andrzej Blikle:
  An Analytic Approach to the Verification of Iterative Programs. IFIP Congress 1977: 285-290

Software Studies II

• 
  Christian Galtier:
  An Allocation Algorithm for Multi-Micro Computers Using Array Structured Data. IFIP Congress 1977: 291-296
• 
  Ian H. Witten:
  Software for Speech Output. IFIP Congress 1977: 297-301
• 
  James M. Boyle, Kenneth W. Dritz, Oleg B. Arushanian, Yuri V. Kuchevsky:
  Program Generation and Transformation - Tools for Mathematical Software Development. IFIP Congress 1977: 303-308

Routing and Congestion Control in Switched Data Networks

• 
  Wyn L. Price:
  Adaptive Routing in Store-and-Forward Networks and the Importance of Load Splitting. IFIP Congress 1977: 309-313
• 
  Johnny W. Wong, Mehmet S. Unsoy:
  Analysis of Flow Control in Switched Data Networks. IFIP Congress 1977: 315-320
• 
  Harry Rudin:
  On Alternate Routing in Circuit-Switched Data Networks. IFIP Congress 1977: 321-326

Future of Data Management

• 
  G. M. Nijssen:
  On the Gross Architecture for the Next Generation Database Management System. IFIP Congress 1977: 327-335
• 
  Norman R. Nielsen, Brian Ruder:
  Computer System Integrity Safeguards. IFIP Congress 1977: 337-342

Computer Assisted Training

• 
  B. Varet, F. Allorent, J. P. Levy, N. Salame, F. M. Blondel, J. F. Boyer:
  Comparison Between a Prescribed and a Permissive Process in Computer Assisted Training in Decision Making. IFIP Congress 1977: 343-346
• 
  Reind P. van de Riet:
  BASIS - An Interactive System for the Introductory Course in Informatics. IFIP Congress 1977: 347-351

Process Control

• 
  N. N. Krasovskii:
  Control under Incomplete Information. IFIP Congress 1977: 353-365
• 
  Michel Clerget:
  Realizations of Two Dimensional Recursive Filters. IFIP Congress 1977: 367-371

Techniques in CAD I

• 
  James N. Hanson:
  The Analysis of CAMS by Computer Aided Algebraic and Symbol Manipulation. IFIP Congress 1977: 373-376
• 
  Alina Golka:
  A Computer System for the Synthesis of Reinforced Concrete Frames. IFIP Congress 1977: 377-381
• 
  Gérard Courtieux, Daniel Guibert:
  Using a Conversational Translator Writing System for Generating Computer Aided Design Systems in Architecture. IFIP Congress 1977: 383-387

Data Base Studies I

• 
  Hermann Helbig:
  A New Method for Deductive Answer Finding in a Question-Answering System. IFIP Congress 1977: 389-393
• 
  Mayer D. Schwartz, Dorothy E. Denning, Peter J. Denning:
  Securing Data Bases under Linear Queries. IFIP Congress 1977: 395-398
• 
  Klaus-Dieter Krägeloh, Peter C. Lockemann:
  Top-Down Optimization in Multi-Level Data Base Systems. IFIP Congress 1977: 399-404

Fault Tolerance

• 
  Algirdas Avizienis:
  Fault-Tolerant Computing-Progress, Problems and Prospects. IFIP Congress 1977: 405-420
• 
  Kumar Subramanian:
  A Model for Concurrent Diagnosis in a Microprogrammable System Using a Dynamic Test Scheme. IFIP Congress 1977: 421-426

Distributed Data Switching

• 
  Paul V. Mockapetris, Michael Lyle, David J. Farber:
  On the Design of Local Network Interfaces. IFIP Congress 1977: 427-430
• 
  Ernst A. Rothauser, D. Wild:
  MLMA-A Collision-Free Multi-Access Method. IFIP Congress 1977: 431-436

Telecommunications Management

• 
  Michael L. Ford:
  Business Problems in Planning of International Data Communications Networks. IFIP Congress 1977: 437-439

Data Base Studies II

• 
  Gerard Salton, Donna Bergmark:
  Clustered File Generation and its Application to Computer Science Taxonomies. IFIP Congress 1977: 441-445
• 
  Giuseppe Pelagatti, Paolo Paolini, Giampio Bracchi:
  Mappings in Database Systems. IFIP Congress 1977: 447-452
• 
  Ephrem S. Dorkenoo, Michel Lemaître, Michel Lemoine:
  A Procedural Language for the Relational Data Base Management System "Syntex". IFIP Congress 1977: 453-457

Data Networks: Past, Present and Future

• 
  Paul Baran:
  Some Perspectives on Networks-Past, Present and Future. IFIP Congress 1977: 459-464
• 
  Hubert Zimmermann:
  The Cyclades Experience-Results and Impacts. IFIP Congress 1977: 465-469

Performance Evaluation

• 
  N. A. Yannacopoulos, Roland N. Ibbett, R. W. Holgate:
  Performance Measurements of the MU5 Primary Instruction Pipeline. IFIP Congress 1977: 471-476
• 
  Simon H. Lavington, Alan E. Knowles:
  Assessing the Power of an Order Code. IFIP Congress 1977: 477-480
• 
  Anthony E. Krzesinski, S. Gerber, Peter Teunissen:
  A Multiclass Network Model of a Multiprogramming Timesharing Computer System. IFIP Congress 1977: 481-486

Computational Algorithms

• 
  J. A. van Hulzen, R. P. Hettich:
  Approximation with a Class of Rational Functions. IFIP Congress 1977: 487-492
• 
  David Y. Y. Yun:
  Fast Algorithm for Rational Function Integration. IFIP Congress 1977: 493-498
• 
  Sady Maurin:
  An Application of a Component by Component Splitting up Scheme to the Hamilton-Jacobi Equation. IFIP Congress 1977: 499-502

Organisational Productivity - The Role of Information Technology

• 
  Paul A. Strassmann:
  Organisational Productivity-The Role of Information Technology. IFIP Congress 1977: 503-508

Packet Networks - Issues, Experiences, Choices

• 
  C. Ian McGibbon, Howard Gibbs:
  DATAPAC - A Phased Approach to the Introduction of Public Packet-Switched Network. IFIP Congress 1977: 509-513
• 
  Louis Pouzin:
  Packet Networks-Issues and Choices. IFIP Congress 1977: 515-521

Program Translation

• 
  Peter Henderson:
  An Approach to Compile-Time Type Checking. IFIP Congress 1977: 523-527
• 
  George Poonen:
  Error Recovery for LR(k) Parsers. IFIP Congress 1977: 529-533
• 
  Harald Ganzinger, Knut Ripken, Reinhard Wilhelm:
  Automatic Generation of Optimizing Multipass Compilers. IFIP Congress 1977: 535-540

Future Potentials in Computer Communication

• 
  Lawrence G. Roberts:
  Packet Network Design-The Third Generation. IFIP Congress 1977: 541-546
• 
  Leonard Kleinrock:
  Performance of Distributed Multi-Access Computer-Communication Systems. IFIP Congress 1977: 547-552

System Performance

• 
  Dennis G. Kafura:
  Task Scheduling with Critical Section Constraints. IFIP Congress 1977: 553-557
• 
  Gianfranco Balbo, Steven C. Bruell, Herbert D. Schwetman:
  Customer Classes and Closed Network Models-A Solution Technique. IFIP Congress 1977: 559-564
• 
  Kenneth C. Sevcik:
  Priority Scheduling Disciplines in Queuing Network Models of Computer Systems. IFIP Congress 1977: 565-570

Programming Support Systems

• 
  Eduardo A. Jordan:
  A Support for Program Design with Abstract Machines. IFIP Congress 1977: 571-575
• 
  K. Jackson:
  Language Design for Modular Software Construction. IFIP Congress 1977: 577-581
• 
  Shoji Shinozawa, Hiroosa Ikeda, Atsushi Nakashima, Masamitsu Watanabe:
  Pseudo-Languages and their Pre-Processors. IFIP Congress 1977: 583-587

Data Bases and Business Systems

• 
  Edgar H. Sibley:
  The Impact of Database Technology on Business Systems. IFIP Congress 1977: 589-596

Education in Computing II

• 
  Bernard Levrat:
  The Impact of Education in Computing on Science. IFIP Congress 1977: 597-600
• 
  John R. Abrahams, George De Wolf:
  Experience with a Computer-Assisted Training System. IFIP Congress 1977: 601-605

Soft Hardware

• 
  Kwan Chi Leung, C. Michel, P. Le Beux:
  Logical Systems Design using PLAs and Petri Nets Programmable Handwired Systems. IFIP Congress 1977: 607-611
• 
  Emilio Luque Fadon, Lorenzo Moreno Ruiz, José F. Tirado Fernandez:
  A Multilingual High Level Processor. IFIP Congress 1977: 613-618
• 
  Mark G. Karpovsky, E. A. Trachtenberg:
  Linear Checking Equations and Error-Correcting Capability for Computation Channels. IFIP Congress 1977: 619-623

Graphics in Software Engineering

• 
  Frederick P. Brooks Jr.:
  The Computer "Scientist" as Toolsmith-Studies in Interactive Computer Graphics. IFIP Congress 1977: 625-634
• 
  Michael E. Senko:
  FORAL LP - Making Pointed Queries with a Light Pen. IFIP Congress 1977: 635-640

Interactive Approaches to Corporate Planning and Control

• 
  Ian P. Sharp:
  Interactive Approaches to Corporate Planning and Control with Particular Reference to the use of APL. IFIP Congress 1977: 641-642

Hardware Aids to Software

• 
  Tetsuo Ida, Eiichi Goto:
  Performance of Parallel Hash Hardware with Key Deletion. IFIP Congress 1977: 643-647
• 
  Jonathan L. Bondy, David N. Freeman:
  Putting Supervisory Routines into Hardware. IFIP Congress 1977: 649-653
• 
  Gareth Thomas, Andrei G. Necula:
  Multidimensional Array Accessing in the MU5 Computer. IFIP Congress 1977: 655-659

Computerized Evaluation and Computational Learning

• 
  Hanan Samet:
  A New Approach to Evaluating Code Generation in a Student Environment. IFIP Congress 1977: 661-665
• 
  Alexandre Andreewsky, Fathi Debili, Christian Fluhr:
  Computational Learning of Semantic Lexical Relations for the Generation and Automatical Analysis of Content. IFIP Congress 1977: 667-672

Specialized Computer Services

• 
  Behrooz Parhami, Farhad Mavaddat:
  Computers and the Farsi Language-A Survey of Problem Areas. IFIP Congress 1977: 673-676
• 
  Paul A. Fortier, Donald Keeping:
  Another Face of Computing-Service to the Blind. IFIP Congress 1977: 677-682
• 
  T. R. Natesan, N. Sabapathy, K. Viswanathan:
  Optimization of Selection and Allocation of Candidates to Professional Colleges in India. IFIP Congress 1977: 683-688

CAD - Perspectives and Prospects

• 
  Jack Foisseau, René Jacquart, François-Régis Valette:
  Means and Levels of Knowledge Representation in the CAD System Germinal. IFIP Congress 1977: 689-694
• 
  Nicholas Negroponte:
  On Being Creative with Computer Aided Design. IFIP Congress 1977: 695-704

Decision Support Systems

• 
  Michel R. Klein:
  Finsim - A Decision Support System for Financial Planning and Engineering. IFIP Congress 1977: 705-710
• 
  J. A. M. Wolters:
  Computer Based Planning and Modelling System. IFIP Congress 1977: 711-716
• 
  Trygve Reenskaug:
  Prokon/Plan-A Modelling Tool for Project Planning and Control. IFIP Congress 1977: 717-721

Logic and Proofs for Programs

• 
  Edward A. Ashcroft, William W. Wadge:
  Intermittent Assertion Proofs in Lucid. IFIP Congress 1977: 723-726
• 
  Paul Pritchard:
  Program Proving-Expression Languages. IFIP Congress 1977: 727-731
• 
  Robert L. Constable:
  A Constructive Programming Logic. IFIP Congress 1977: 733-738

System Programming

• 
  Takanobu Baba:
  A Microprogram Generating System-MPG. IFIP Congress 1977: 739-744
• 
  Subrata Dasgupta:
  Parallelism in Loop-Free Microprograms. IFIP Congress 1977: 745-750
• 
  Jean-Loup Baer, M. Fries:
  On the Efficiency of Some List Marketing Algorithms. IFIP Congress 1977: 751-756

Automated Design in Electronics

• 
  M. A. Gavrilov:
  Automation of Electronic and Microelectronic Design. IFIP Congress 1977: 757-775
• 
  Noah S. Prywes, Yung Chang, Cihan Tinaztepe:
  NOPAL - Automated Design and Programming of Testing. IFIP Congress 1977: 777-782

Verification and Programming

• 
  David C. Luckham:
  Program Verification and Verification Oriented Programming. IFIP Congress 1977: 783-793
• 
  Malcolm C. Newey:
  Proving Properties of Assembly Language Programs. IFIP Congress 1977: 795-799

Impact of Information Systems on Organisations II

• 
  Maurice Landry, Jean-Louis Le Moigne:
  Towards a Theory of Organizational Information System-A General System Perspective. IFIP Congress 1977: 801-805
• 
  Vladimir Dimitrov, Lilly D. Driankova:
  Programme System for Social Choice under Fuzzy Managing. IFIP Congress 1977: 807-811
• 
  Enrique A. Calderon, Teresa A. Sobrino, Jose Luis A. Frias:
  GEO-XI-A Socioeconomic Laboratory for Planning Agencies. IFIP Congress 1977: 813-817

Operating Systems

• 
  Derrick Morris, G. R. Frank, Colin J. Theaker:
  Machine-Independent Operating Systems. IFIP Congress 1977: 819-825
• 
  Alfons J. Jammel, Helmut G. Stiegler:
  Managers Versus Monitors. IFIP Congress 1977: 827-830

Complexity Theory

• 
  Gerd Wechsung:
  A Nonlinear Lower Bound for the Formula Complexity of Certain Boolean Functions. IFIP Congress 1977: 831-833
• 
  Donald A. Alton:
  "Natural" Complexity Measures and a Subrecursive Speed-up Theorem. IFIP Congress 1977: 835-838
• 
  Rusins Freivalds:
  Probabilistic Machines Can Use Less Running Time. IFIP Congress 1977: 839-842

Palallel Architectures

• 
  Erik L. Dagless:
  A Multiprocessor - CYBA-M. IFIP Congress 1977: 843-848
• 
  Arvind, Kim P. Gostelow:
  A Computer Capable of Exchanging Processors for Time. IFIP Congress 1977: 849-853
• 
  Shinji Tomita, Kiyoshi Shibayama, Shigeru Oyanagi, Hiroshi Hagiwara:
  Hardware Organization of a Low Level Parallel Processor. IFIP Congress 1977: 855-860

Programming Methodology

• 
  David Lorge Parnas:
  The Use of Precise Specification in the Development of Software. IFIP Congress 1977: 861-867
• 
  Anita K. Jones:
  The Narrowing Gap Between Language Systems and Operating Systems. IFIP Congress 1977: 869-873

Systems for Public Planning and Control

• 
  Ivan Kadar, Péter Kovács:
  Management Information System on the Level of Hungarian Government. IFIP Congress 1977: 875-877
• 
  V. P. Lane, R. A. Danes:
  Organization Based Structure of Financial Planning and Control System. IFIP Congress 1977: 879-883

Techniques in CAD II

• 
  Zsuzsanna Markusz:
  How to Design Variants of Flats Using Programming Language PROLOG Based on Mathematical Logic. IFIP Congress 1977: 885-889
• 
  Henri G. Marchand:
  Algorithmic Macro Design System for Shift Registers. IFIP Congress 1977: 891-895
• 
  D. B. Jarvis:
  LSI by CAD Out of Daisy. IFIP Congress 1977: 897-900

New Approaches to Systems Integrity

• 
  David J. Lewis:
  System Quality Through Development Audit. IFIP Congress 1977: 901-904
• 
  K. K. Wong:
  A New Approach for Risk Analysis and Control - The UK Experience. IFIP Congress 1977: 905-910
• 
  H. J. Will, H. Brussel:
  ACL - A Conversational Language for Audit Intelligence. IFIP Congress 1977: 911-915

Numerical Methods in Mathematical Physics and in Control Theory

• 
  Jacques-Louis Lions:
  Numerical Methods for Variational Inequalities Applications in Physics and in Control Theory. IFIP Congress 1977: 917-924
• 
  Claudia Lidia Simionescu:
  Computational Aspects for a Control Problem. IFIP Congress 1977: 925-928

Formal Theories of Programs and Parallelism

• 
  Toshio Nishimura:
  Formalization of Concurrent Processes. IFIP Congress 1977: 929-937
• 
  Keith L. Clark, Sten-Åke Tärnlund:
  A First Order Theory of Data and Programs. IFIP Congress 1977: 939-944

Distributed Systems - Operational and Privacy Requirements

• 
  James C. Emery:
  Managerial and Economic Issues in Distributed Computing. IFIP Congress 1977: 945-955
• 
  Rein Turn:
  Implementation of Privacy Protection Requirements. IFIP Congress 1977: 957-962

Programming Systems

• 
  Juris Reinfelds, Carlo E. Vandoni:
  Sigma 76. IFIP Congress 1977: 963-968
• 
  Richard G. Hamlet:
  Single-Language Small-Processor Systems. IFIP Congress 1977: 969-974
• 
  Jean G. Vaucher, Normand Rochon:
  PL4 - A Low Level Language with Class. IFIP Congress 1977: 975-979

Concepts in Parallel Programs

• 
  Pierre Robert, Jean-Pierre Verjus:
  Toward Autonomous Descriptions of Synchronization Modules. IFIP Congress 1977: 981-986
• 
  Carl Hewitt, Henry G. Baker:
  Laws for Communicating Parallel Processes. IFIP Congress 1977: 987-992
• 
  Gilles Kahn, David B. MacQueen:
  Coroutines and Networks of Parallel Processes. IFIP Congress 1977: 993-998