9. IFIP Congress 1983: Paris, France

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. IFIP Congress 1983: 1-10

Formal and Informal Models of Office Activity (Invited Paper)

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

Models of Communication Architectures

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

VLSI

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

Net Theory of Systems and Processes

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

Applications I

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

Trends in Office Workstations Design

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

Computing in High Energy Physics (Invited Paper)

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

Image Manipulation in the Office

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

Programming Methodology

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

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

• 
  André Bisseret:
  Physiology for Man Computer Cooperation in Knowledge Processing. IFIP Congress 1983: 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. IFIP Congress 1983: 121-125
• 
  U. Bussolati, Maria Grazia Fugini, Giancarlo Martella:
  A Conceptual Framework for Security Systems: The Action-Entity Model. IFIP Congress 1983: 127-132

Logic Programming (Invited Paper)

• 
  Robert A. Kowalski:
  Logic Programming. IFIP Congress 1983: 133-145

Database System Design for High Performance (Invited Paper)

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

The Power of Computational Automata

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

Microprocessor Applications

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

Elements of Distributed Systems

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

Computer Science Education

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

First Steps Towards Inferential Programming (Invited Paper)

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

Future Microprocessor Trends (Invited Paper)

• 
  Tomihiro Matsumura:
  Future Microprocessor Trends. IFIP Congress 1983: 213-217

Program Environments

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

Query Evaluation

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

Universal Relation Interfaces for Database Systems (Invited Paper)

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

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

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

Functional Programming

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

VLSI and the Foundations of Computation (Invited Paper)

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

Computer Art

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

On Protocol Engineering (Invited Paper)

• 
  Hubert Zimmermann:
  On Protocol Engineering. IFIP Congress 1983: 283-292

Logic Programming - I

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

Program Transformations and Optimization

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

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

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

Program Synthesis and Verification

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

Naive Denotational Semantics (Invited Paper)

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

Database Machines

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

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

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

Expectations of Standardization (Invited Paper)

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

Multi-Processing

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

Studys of Communications Protocols

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

Abstraction Complexity

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

Logics and Programming

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

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

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

Computing in the Developing Countries of Asia (Invited Paper)

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

Semantics of Parallel Programs

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

Compiler Development - I

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

Computers in Developing and Developed Countries - A Contrast

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

Distributed Programs

• 
  Mathai Joseph, Abha Moitra:
  Co-Operative Recovery From Faults in Distributed Programs. IFIP Congress 1983: 481-486
• 
  Isabel Gouveia Lima, David Mundy, Philip C. Treleaven:
  Decentralised Control Flow Programming. IFIP Congress 1983: 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. IFIP Congress 1983: 493-499

CAD Techniques

• 
  Laurence Cholvy, Jack Foisseau:
  ROSALIE: A C.A.D. Object-Oriented and Rule-Based System. IFIP Congress 1983: 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. IFIP Congress 1983: 507-512

Types, Abstraction and Parametric Polymorphism (Invited Paper)

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

Local Networking of Personal Computers (Invited Paper)

• 
  Robert Metcalfe:
  Local Networking of Personal Computers. IFIP Congress 1983: 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. IFIP Congress 1983: 533-537
• 
  Yutaka Ohsawa, Masao Sakauchi:
  The BD-Tree - A New N-Dimensional Data Structure with Highly Efficient Dynamic Characteristics. IFIP Congress 1983: 539-544

Dataflow Machines

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

Office Work Suuport

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

Microprocessors in System Design

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

Nineteen Eighty Four?

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

The Architectures in the Fifth Generation Computers (Invited Paper)

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

Data Base Applications

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

Programming Environments

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

Prolog in Practice (Invited Paper)

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

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

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

Viewing Computing Systems Within a Social Context (Invited Paper)

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

What Good is Temporal Logic? (Invited Paper)

• 
  Leslie Lamport:
  What Good is Temporal Logic? IFIP Congress 1983: 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. IFIP Congress 1983: 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. IFIP Congress 1983: 673-679

Facsimile Processing and Communications

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

Computer Architecture - I

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

Database Models

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

Rencontres: Getting Together With Computers.

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

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

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

On Real-Time Distributed Computing (Invited Paper)

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

Information Retrival

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

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

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

Computers and National Development

• 
  Frederic E. Lamond:
  Microprocessors as Agents of De-Industrialization. IFIP Congress 1983: 775-780
• 
  Judith H. Hammond:
  The Challenge of Change: Information Technology and the Community - An Australian Innovative Project. IFIP Congress 1983: 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. IFIP Congress 1983: 787-792
• 
  David Beech:
  A Reference Model for Command and Response Languages. IFIP Congress 1983: 793-797

Recovery Algorithms for Database Systems (Invited Paper)

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

Specification Languages

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

Computer Architecture - II

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

Applications - II

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

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

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

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

• 
  Alexander A. Letichevsky:
  Algebra of Algorithms, Data Structures and Parallel Computation. IFIP Congress 1983: 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. IFIP Congress 1983: 865-876

Educating the Information Generation (Invited Paper)

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

Process in Computer Networks (Invited Paper)

• 
  Edward H. Sussenguth Jr.:
  Process in Computer Networks. IFIP Congress 1983: 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. IFIP Congress 1983: 891-896
• 
  Gérard A. Langlet:
  LPA Programming, a New Tool for Education. IFIP Congress 1983: 897-899

Advances in the Exploitation of Sparsity (Invited Paper)

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

Logic Programming - II

• 
  Jacques Corbin, Michel Bidoit:
  A Rehabilitation of Robinson's Unification Algorithm. IFIP Congress 1983: 909-914
• 
  Bengt Nordström, Kent Petersson:
  Types and Specifications. IFIP Congress 1983: 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. IFIP Congress 1983: 921-930

Compiler Development - II

• 
  Gordon A. Rose, Tim Roper:
  Generation of Program-Preparation Systems for Formatted Programming Languages. IFIP Congress 1983: 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. IFIP Congress 1983: 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. IFIP Congress 1983: 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. IFIP Congress 1983: 951-961