ECI Conference 1976
Proceedings of the 1st Conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976
Published on 1. July 1976
Book
Paperback/Softback
X, 334 pages
978-3-540-07804-3 (ISBN)
Description
Names and objects in heterogeneous computer networks.- Trends in computer system structure and architecture.- Aspects of the communication within a multisuppliers computer network.- Communication and synchronization tools in a distributed environment.- Multiprogrammed memory management for random-sized programs.- Integrity, concurrency, and recovery in databases.- An architecture for high-level language database extensions.- Data structures and graph grammars.- Selecting an optimal set of secondary indices.- A model for data structures.- Fast access sequential structures.- Database systems analysis and design.- Formal techniques and sizeable programs.- Constructive methods of program design.- Team organisation in integrated on-line computer projects.- A case study of structured programming with correctness proofs.- Program optimization using invariants.- The GEM COBOL monitor system.
More details
Series
Edition
1976 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
X, 334 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 19 mm
Weight
522 gr
ISBN-13
978-3-540-07804-3 (9783540078043)
DOI
10.1007/3-540-07804-5
Schweitzer Classification
Content
Names and objects in heterogeneous computer networks.- Trends in computer system structure and architecture.- Aspects of the communication within a multisuppliers computer network.- Communication and synchronization tools in a distributed environment.- Multiprogrammed memory management for random-sized programs.- Integrity, concurrency, and recovery in databases.- An architecture for high-level language database extensions.- Data structures and graph grammars.- Selecting an optimal set of secondary indices.- A model for data structures.- Fast access sequential structures.- Database systems analysis and design.- Formal techniques and sizeable programs.- Constructive methods of program design.- Team organisation in integrated on-line computer projects.- A case study of structured programming with correctness proofs.- Program optimization using invariants.- The GEM COBOL monitor system.