R. E. A. Mason (Ed.): Information Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983. North-Holland/IFIP, 1983, ISBN 0-444-86729-5

On the Design of ADA (Invited Paper)

• 
  Jean Ichbiah: On The Design of ADA. 1-10

Formal and Informal Models of Office Activity (Invited Paper)

• 
  Clarence A. Ellis: Formal and Informal Models of Office Activity. 11-22

Models of Communication Architectures

• 
  A. I. Ilushin, A. N. Myamlin, V. S. Shtarkman: Computer Network Software Design Based on Abstract Objects. 23-28
• 
  Danny Cohen, Jonathan B. Postel: The Iso Reference Model and Other Protocol Architectures. 29-34

VLSI

• 
  Vincent Olive, Denis Rouquier: A System Method for the Synthesis of Control Parts Defined by Grafcet. 35-40

Net Theory of Systems and Processes

• 
  Bernard Berthomieu, Miguel Menasche: An Enumerative Approach for Analyzing Time Petri Nets. 41-46
• 
  Michel Diaz, Géraldo Guidacci Da Silveira: Specification and Validation of Protocols by Temporal Logic and Nets. 47-52

Applications I

• 
  Javier Jiménez, Jose L. Navalón: Automatic Vectorization of Printed Maps and Drawings. 53-58
• 
  Hannu Peltola, Hans Söderlund, Jorma Tarhio, Esko Ukkonen: Algorithms for Some String Matching Problems Arising in Molecular Genetics. 59-64

Trends in Office Workstations Design

• 
  Robert D. Selinger, A. M. Patlach, Eric D. Carlson: The 925 Family of Office Workstations. 65-70
• 
  Mamoru Maekawa, Ken Sakamura, Chiaki Ishikawa, Tohru Shimizu: Multimedia Machine. 71-77

Computing in High Energy Physics (Invited Paper)

• 
  Paolo Zanella: Computing in High-Energy Physics: Facing a New Generation of Experiments. 79-88

Image Manipulation in the Office

• 
  P. Economopoulos, Frederick H. Lochovsky: A System for Managing Image Data. 89-94
• 
  Masao Sakauchi, Yutaka Ohsawa: A New Interactive Geographical Information System Based on Effective Image-Type Map Representation. 95-100

Programming Methodology

• 
  Lars-Erik Thorelli: A Linker Allowing Hierarchic Composition of Programs. 101-106
• 
  Masaaki Shimasaki, Yoshitoshi Kunieda, Takao Tsuda: Applications of Modern Programming Language Concept to Text Processing with a Large Charakter Set. 107-112

Physiology for Man Computer Cooperation in Knowledge Processing (Invited Paper)

• 
  André Bisseret: Physiology for Man Computer Cooperation in Knowledge Processing. 113-120

Applications - II

• 
  A. Aquesbi, J. C. Bocquet, J. M. Fouet, S. Tichkiewitch, M. Reynier, P. Trau: An Expert System for Computer Aided Mechanical Design. 121-125
• 
  U. Bussolati, Maria Grazia Fugini, Giancarlo Martella: A Conceptual Framework for Security Systems: The Action-Entity Model. 127-132

Logic Programming (Invited Paper)

• 
  Robert A. Kowalski: Logic Programming. 133-145

Database System Design for High Performance (Invited Paper)

• 
  Rudolf Bayer: Database System Design for High Performance. 147-155

The Power of Computational Automata

• 
  Rusins Freivalds: Methods and Languages to Prove the Power of Probabilistic Machines. 157-162
• 
  Juraj Wiedermann: Deterministic and Nondeterministic Simulation of the RAM by the Turing Machine. 163-168

Microprocessor Applications

• 
  Tatsuo Yamamura: Automated Label Inspection Apparatus. 169-172
• 
  Lauri Vatjus-Anttila, Martti Karppinen, Samuli Saukkonen: A Portable Data Logger for Severe Environments. 173-176

Elements of Distributed Systems

• 
  Jiri Hoppe: Remote Files for Lilith Computers. 177-180
• 
  Werner Bux, Bernd Meister, Johnny W. Wong: Bridges for Interconnection of Ring Networks: A Simulation Study. 181-185

Computer Science Education

• 
  Alfs T. Berztiss, Norman E. Gibbs: Computer Science and Computer Science Education. 187-191
• 
  Ian Sommerville: Software Engineering - An Educational Challenge. 193-197

First Steps Towards Inferential Programming (Invited Paper)

• 
  William L. Scherlis, Dana S. Scott: First Steps Towards Inferential Programming. 199-212

Future Microprocessor Trends (Invited Paper)

• 
  Tomihiro Matsumura: Future Microprocessor Trends. 213-217

Program Environments

• 
  Stephen W. Smoliar: Software Specifications, Data Bases and Knowledge Bases. 219-222
• 
  Jean-Marie Hullot: A Multi-Formalism Programming Environment. 223-227

Query Evaluation

• 
  Robert Demolombe: How to Improve Performance of Relational DBMS. 229-233
• 
  Anthony Y. Montgomery, Daryl J. D'Souza, S. B. Lee: The Cost of Relational Algebraic Operations on Skewed Data: Estimates and Experiments. 235-241

Universal Relation Interfaces for Database Systems (Invited Paper)

• 
  Jeffrey D. Ullman: Universal Relation Interfaces for Database Systems. 243-252

Formulating Human Purposes - Meta-Engineering Computers for People (Invited Paper)

• 
  Daniel C. Dennett: Formulating Human Purposes - Meta-Engineering Computers for People. 253-258

Functional Programming

• 
  Manfred Broy: Applicative Real-Time Programming. 259-264
• 
  Tetsuo Ida, Jiro Tanaka: Functional Programming with Streams. 265-270

VLSI and the Foundations of Computation (Invited Paper)

• 
  Carver Mead: VLSI and the Foundations of Computation. 271-274

Computer Art

• 
  Hervé Huitric, Monique Nahas: Computer Art with Rodin. 275-282

On Protocol Engineering (Invited Paper)

• 
  Hubert Zimmermann: On Protocol Engineering. 283-292

Logic Programming - I

• 
  Jørgen Fischer Nilsson: On the Compilation of a Domain-Based Prolog. 293-298
• 
  Andrzej Ciepielewski, Seif Haridi: A Formal Model for Or-Parallel Execution of Logic Programs. 299-305

Program Transformations and Optimization

• 
  S. Mahadevan, R. K. Shyamasundar: Correctness Preserving Transformations for Distributed Programs. 307-313
• 
  Victor N. Kasyanov: Basis for Program Optimization. 315-320

Specification and Design of (Parallel) Programs (Invited Paper)

• 
  Cliff B. Jones: Specification and Design of (Parallel) Programs. 321-332

Program Synthesis and Verification

• 
  J. M. Barzdin: Some Rules of Inductive Inference and their Use for Program Synthesis. 333-338
• 
  Ali Mili: The Bottom up Analysis of While Statements: Strongest Invariant Functions. 339-343

Naive Denotational Semantics (Invited Paper)

• 
  Andrzej Blikle, Andrzej Tarlecki: Naive Denotational Semantics. 345-355

Database Machines

• 
  Esen A. Ozkarahan: Desirable Functionalities of Database Architectures. 357-362
• 
  Georges Gardarin, Philippe Bernadat, Nicole Temmerman, Patrick Valduriez, Yann Viémont: Design of a Multiprocessor Relational Database System. 363-367

Architectural Concepts for High-Performance, General-Purpose Computers (Invited Paper)

• 
  Gene M. Amdahl: Architectural Concepts for High-Performance, General-Purpose Computers. 369-373

Expectations of Standardization (Invited Paper)

• 
  Jean-Daniel Nicoud: Expectations of Standardization. 375-381

Multi-Processing

• 
  Peter Møller-Nielsen, Jørgen Staunstrup: Saturation in a Multiprocessor. 383-388
• 
  Sachio Kamiya, Fumio Isobe, Hideo Takashima, Masaaki Takiuchi: Practical Vectorization Techniques for the "Facom VP". 389-394

Studys of Communications Protocols

• 
  Georges Mitaut, Daniel Duclos: A Tool for Communication Protocols Validation. 395-400
• 
  Robert Cole, Peter Lloyd: A Flexible Architekture for Protocol Studies in a Multi-Network Environment. 401-406

Abstraction Complexity

• 
  Michio Oyamaguchi: Relationship Between Abstract and Concrete Implementations of Algebraic Specifications. 407-412
• 
  J. M. Robson: The Complexity of Go. 413-417

Logics and Programming

• 
  Satoru Takasu, Takako Nakahara: Programming with Mathematical Thinking. 419-424
• 
  Chih-Sung Tang: Toward a Unified Logic Basis for Programming Languages. 425-429

Ease of Use: A System Design Challenge (Invited Paper)

• 
  Lewis M. Branscomb, John C. Thomas: Ease of Use: A System Design Challenge. 431-438

Computing in the Developing Countries of Asia (Invited Paper)

• 
  Gopal K. Gupta: Computing in the Developing Countries of Asia. 439-446

Semantics of Parallel Programs

• 
  Takayasu Ito: Regular Tree Expressions and Behaviors of Functional Nets. 447-452
• 
  Matthew Hennessy: Synchronous and Asynchronous Experiments on Processes. 453-455

Compiler Development - I

• 
  Roberto Barbuti, Alberto Martelli: A Constructive Approach to Static Verification of Program Properties. 457-462
• 
  Pierre Deransart: Logical Attribute Grammars. 463-469

Computers in Developing and Developed Countries - A Contrast

• 
  Robert M. Aiken, Abdechahid Oualid: Microcomputers as Educational Tools in Developing Countries. 471-475
• 
  Robert P. Moeller: Pricing Computer Services. 477-480

Distributed Programs

• 
  Mathai Joseph, Abha Moitra: Co-Operative Recovery From Faults in Distributed Programs. 481-486
• 
  Isabel Gouveia Lima, David Mundy, Philip C. Treleaven: Decentralised Control Flow Programming. 487-492

Applications of Artificial Intelligence Techniques to Office Automation Systems (Invited Paper)

• 
  Kohei Amo, Ken-ichi Mori: Applications of Artificial Intelligence Techniques to Office Automation Systems. 493-499

CAD Techniques

• 
  Laurence Cholvy, Jack Foisseau: ROSALIE: A C.A.D. Object-Oriented and Rule-Based System. 501-505
• 
  B. Carriere, C. Cazalot, J. M. Dumas, P. M. Grojean, P. Leroy, François Prunet: A C.A.D. System for Process Control Based upon a Standard. 507-512

Types, Abstraction and Parametric Polymorphism (Invited Paper)

• 
  John C. Reynolds: Types, Abstraction and Parametric Polymorphism. 513-523

Local Networking of Personal Computers (Invited Paper)

• 
  Robert Metcalfe: Local Networking of Personal Computers. 525-532

Physical Database Organization

• 
  Thomas K. W. Tsou, Lawrence V. Saxton, Vijay V. Raghavan, Jitender S. Deogun: Consecutive Retrieval with Redundancy Organization of Clustered Files. 533-537
• 
  Yutaka Ohsawa, Masao Sakauchi: The BD-Tree - A New N-Dimensional Data Structure with Highly Efficient Dynamic Characteristics. 539-544

Dataflow Machines

• 
  John R. Gurd, Ian Watson: Preliminary Evaluation of a Prototype Dataflow Computer. 545-551
• 
  Jack B. Dennis, Willie Y.-P. Lim, William B. Ackerman: The MIT Data Flow Engineering Model. 553-560

Office Work Suuport

• 
  Gerald Barber, Peter de Jong, Carl Hewitt: Semantic Support for Work in Organizations. 561-566
• 
  Irene Kowarski, Christian Michaux: MIDOC: A Microcomputer System for the Management of Structured Documents. 567-572

Microprocessors in System Design

• 
  Vaclav Dvorak, Imrich Rukovansky: Efficient Implementation of Logic Control Algorithms on Microprocessors. 573-578
• 
  L. Neel, M. Bailly, D. Tondeur: Microprocessor Controlled Equipment for Measuring Plate Efficiency in Distillation. 579-582

Nineteen Eighty Four?

• 
  Nicholas J. Belkin, Ralf-Dirk Hennings, Thomas Seeger: Mass-Informatics and Their Implication for Everyday Life. 583-587

The Architectures in the Fifth Generation Computers (Invited Paper)

• 
  Tohru Moto-Oka, Kazuhiro Fuchi: The Architectures in the Fifth Generation Computers. 589-602

Data Base Applications

• 
  Charles B. Stabell, Anna Mette Fuglseth: The D*2 Approach to Decision Support. 603-608
• 
  Michael S. D. Wilkie, Alberto O. Mendelzon: Analysis and Translation of Entity-Relationship Database Schemas. 609-614

Programming Environments

• 
  Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang, Bertrand Melese, Elham Morcos: Outline of a Tool for Document Manipulation. 615-620
• 
  Takeshi Chusho, Tan Watanabe, Toshihiro Hayashi: A Language-Adaptive Programming Environment Based on a Program Analyzer and a Structure Editor. 621-626

Prolog in Practice (Invited Paper)

• 
  Bálint Dömölki, Péter Szeredi: Prolog in Practice. 627-636

Implementation and Engineering of a Production-Oriented DBMS (Invited Paper)

• 
  Peter Schnell: Implementation and Engineering of a Production-Oriented DBMS. 637-646

Viewing Computing Systems Within a Social Context (Invited Paper)

• 
  Starr Roxanne Hiltz: Viewing Computing Systems Within a Social Context. 647-655

What Good is Temporal Logic? (Invited Paper)

• 
  Leslie Lamport: What Good is Temporal Logic? 657-668

Man-Machine Speech Communications

• 
  Hubert Crepy, Bertrand Denoix, Francis Destombes, Gilbert Rouquie, Jean-Pierre Tubach: Speech Processing on a Personal Computer to Help Deaf Children. 669-671
• 
  Joseph-Jean Mariani, B. Prouts, Jean-Luc Gauvain, J. J. Gangolf: A Man-Machine Speech Communication System Including Word-Based Recognition and Text-to Speech Synthesis. 673-679

Facsimile Processing and Communications

• 
  Noriyoshi Okamoto, Osamu Nakamura, Toshi Minami: Character Segmentation for Mixed-Mode Communication. 681-685
• 
  Toshihiko Wakahara, Masao Hiroyama, Hiroshi Ogawa: Facsimile Coputer Communication by Center-End Facsimile Communication Network. 687-691

Computer Architecture - I

• 
  Akira Hattori, Minoru Koshino, Shigemi Kamimoto: Three-Level Hierarchical Storage System for Facom M-380/382. 693-697
• 
  Jerome C. Huck, Michael J. Flynn: Comparative Analysis of Computer Architectures. 699-703

Database Models

• 
  Antonio L. Furtado, Paulo A. S. Veloso, Marco A. Casanova: A Grammatical Approach to Data Bases. 705-710
• 
  Jean-Marie Nicolas, Kioumars Yazdanian: An Outline of BDGEN: A Deductive DBMS. 711-717

Rencontres: Getting Together With Computers.

• 
  Murray Turoff, Starr Roxanne Hiltz: Working at Home or Living in the Office. 719-725
• 
  Martin Nisenholtz, Evangeline M. Morphos: Information Technology and New Forms of Participation in the Narrative. 727-731

New Issues of Computer Privacy in the Eighties (Invated Paper)

• 
  Alan F. Westin: New Issues of Computer Privacy in the Eighties. 733-739

On Real-Time Distributed Computing (Invited Paper)

• 
  Gérard Le Lann: On Real-Time Distributed Computing. 741-753

Information Retrival

• 
  Gerard Salton, Edward A. Fox, Harry Wu: An Automatic Environment for Boolean Information Retrival. 755-762
• 
  Peter Dadam, Peter Pistor, Hans-Jörg Schek: A Predicate Oriented Locking Approach for Integrated Information Systems. 763-768

The nu-Conversion and an Analytic Semantics (Invated Paper)

• 
  Shigeru Igarashi: The nu-Conversion and an Analytic Semantics. 769-774

Computers and National Development

• 
  Frederic E. Lamond: Microprocessors as Agents of De-Industrialization. 775-780
• 
  Judith H. Hammond: The Challenge of Change: Information Technology and the Community - An Australian Innovative Project. 781-785

Models for Systems and Organizations

• 
  M. Marcus, E. Moulhade, J. J. Roubière, P. Dumas, G. Du Roure: MOBILE: An Office Automation Methodology. 787-792
• 
  David Beech: A Reference Model for Command and Response Languages. 793-797

Recovery Algorithms for Database Systems (Invited Paper)

• 
  Philip A. Bernstein, Nathan Goodman, Vassos Hadzilacos: Recovery Algorithms for Database Systems. 799-807

Specification Languages

• 
  John V. Guttag, James J. Horning: An Introduction to the Larch Shared Language. 809-814
• 
  Didier Bert: Refinements of Generic Specifications with Algebraic Tools. 815-820

Computer Architecture - II

• 
  Martin Adelantado, Dominique Comte, Pierre Siron, Jean-Claude Syre: A MIMID Supercomputer System for Large Scale Numerical Applications. 821-826
• 
  Günther Krause: Architectural and Functional Features of Matrix Module (MAMO). 827-831

Applications - II

• 
  N. C. Gupta: System Analysis and Design Considerations for Large Integrated Computer Networks in Developing Countries - A Case Study. 833-838
• 
  Michael Szabo, Dale H. Bent: An Assessment of the State of the Art of Computer Based Learning Systems Design. 839-845

Comparison of Concurrency Control Methods Using Analytic Models (Invited Paper)

• 
  Kenneth C. Sevcik: Comparison of Concurrency Control Methods Using Analytic Models. 847-858

Algebra of Algorithms, Data Structures and Parallel Computation (Invited Paper)

• 
  Alexander A. Letichevsky: Algebra of Algorithms, Data Structures and Parallel Computation. 859-864

Some Linear-Time Algorithms for Systolic Arrays (Invited Paper)

• 
  Richard P. Brent, H. T. Kung, Franklin T. Luk: Some Linear-Time Algorithms for Systolic Arrays. 865-876

Educating the Information Generation (Invited Paper)

• 
  Norman Longworth: Educating the Information Generation. 877-881

Process in Computer Networks (Invited Paper)

• 
  Edward H. Sussenguth Jr.: Process in Computer Networks. 883-890

Impact of Computers on the Young and the Naive

• 
  Marlene J. Colbourn, John McLeod: The Potential and Feasibility of Computer Guided Educational Diagnosis. 891-896
• 
  Gérard A. Langlet: LPA Programming, a New Tool for Education. 897-899

Advances in the Exploitation of Sparsity (Invited Paper)

• 
  J. K. Reid: Advances in the Exploitation of Sparsity. 901-908

Logic Programming - II

• 
  Jacques Corbin, Michel Bidoit: A Rehabilitation of Robinson's Unification Algorithm. 909-914
• 
  Bengt Nordström, Kent Petersson: Types and Specifications. 915-920

Development of a Tracking and Data Acquisition System for Spacecraft (Invited Paper)

• 
  Kenji Funakawa, Kazuhiko Yoneyama, Hideshi Kozawa: Development of a Tracking and Data Acquisition System for Spacecraft. 921-930

Compiler Development - II

• 
  Gordon A. Rose, Tim Roper: Generation of Program-Preparation Systems for Formatted Programming Languages. 931-936
• 
  Hans-Jörg Jäkel, Hans Loeper, H. Pietsch, G. Stiller: A Portable ALGOL 68 Implementation for Minicomputers Developed Using the CDL Compiler Compiler Technique. 937-942

Man-Machine Methods for Solving Large-Scale Economic Planning Problems (Invited Paper)

• 
  V. L. Makarov: Man-Machine Methods for Solving Large-Scale Economic Planning Problems. 943-950

Understanding ALGOL: The View of a Recent Convert to Denotational Semantics (Invited Paper)

• 
  Albert R. Meyer: Understanding ALGOL: The View of a Recent Convert to Denotational Semantics. 951-961