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)

Formal and Informal Models of Office Activity (Invited Paper)

Models of Communication Architectures

VLSI

Net Theory of Systems and Processes

Applications I

Trends in Office Workstations Design

Computing in High Energy Physics (Invited Paper)

Image Manipulation in the Office

Programming Methodology

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

Applications - II

Logic Programming (Invited Paper)

Database System Design for High Performance (Invited Paper)

The Power of Computational Automata

Microprocessor Applications

Elements of Distributed Systems

Computer Science Education

First Steps Towards Inferential Programming (Invited Paper)

Future Microprocessor Trends (Invited Paper)

Program Environments

Query Evaluation

Universal Relation Interfaces for Database Systems (Invited Paper)

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

Functional Programming

VLSI and the Foundations of Computation (Invited Paper)

Computer Art

On Protocol Engineering (Invited Paper)

Logic Programming - I

Program Transformations and Optimization

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

Program Synthesis and Verification

Naive Denotational Semantics (Invited Paper)

Database Machines

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

Expectations of Standardization (Invited Paper)

Multi-Processing

Studys of Communications Protocols

Abstraction Complexity

Logics and Programming

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

Computing in the Developing Countries of Asia (Invited Paper)

Semantics of Parallel Programs

Compiler Development - I

Computers in Developing and Developed Countries - A Contrast

Distributed Programs

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

CAD Techniques

Types, Abstraction and Parametric Polymorphism (Invited Paper)

Local Networking of Personal Computers (Invited Paper)

Physical Database Organization

Dataflow Machines

Office Work Suuport

Microprocessors in System Design

Nineteen Eighty Four?

The Architectures in the Fifth Generation Computers (Invited Paper)

Data Base Applications

Programming Environments

Prolog in Practice (Invited Paper)

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

Viewing Computing Systems Within a Social Context (Invited Paper)

What Good is Temporal Logic? (Invited Paper)

Man-Machine Speech Communications

Facsimile Processing and Communications

Computer Architecture - I

Database Models

Rencontres: Getting Together With Computers.

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

On Real-Time Distributed Computing (Invited Paper)

Information Retrival

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

Computers and National Development

Models for Systems and Organizations

Recovery Algorithms for Database Systems (Invited Paper)

Specification Languages

Computer Architecture - II

Applications - II

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

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

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

Educating the Information Generation (Invited Paper)

Process in Computer Networks (Invited Paper)

Impact of Computers on the Young and the Naive

Advances in the Exploitation of Sparsity (Invited Paper)

Logic Programming - II

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

Compiler Development - II

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

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