Programming Languages and System Architectures: International Conference, Zurich, Switzerland, March 2 - 4, 1994. Proceedings / Edition 1

by Jïrg Gutknecht

Overview

Programming languages and system architectures are at the frontiers of two different worlds. The conference on which this book is based was an adventure in a land where the two worlds - the formal world of algorithms and the physical world of electronic circuits - interact. The participants explored this land under the guidance of internationally renowned researchers such as Butler W. Lampson, Susan Graham, Jan L.A. van de Snepscheut, and C.A.R. Hoare, all of whom gave invited papers. The volume includes these papers together with sixteen session papers. Subjects of special interest include: programing language design and history, programming environments, programming methods, operating systems, compiler construction, and innovative system architectures.

Product Details

ISBN-13:	9783540578406
Publisher:	Springer Berlin Heidelberg
Publication date:	03/18/1994
Series:	Lecture Notes in Computer Science , #782
Edition description:	1994
Pages:	348
Product dimensions:	6.10(w) x 9.25(h) x 0.03(d)

Table of Contents

Interconnecting computers: Architecture, technology, and economics.- Languages and interactive software development.- Mechanized support for stepwise refinement.- Hardware and software: The closing gap.- On computing power.- Increasing memory bandwidth for vector computations.- The advantages of machine-dependent global optimization.- Dependence-conscious global register allocation.- Type test elimination using typeflow analysis.- Where concurrent processes originate.- High-level abstractions for efficient concurrent systems.- Language and architecture paradigms as object classes: A unified approach towards multiparadigm programming.- Engineering a programming language: The type and class system of Sather.- OPAL: Design and implementation of an algebraic programming language.- Architectural issues in spreadsheet languages.- Technological steps toward a software component industry.- Distributed high-level module binding for flexible encapsulation and fast inter-modular optimization.- Is Oberon as simple as possible? A smaller object-oriented language based on the concept of module type.- On the essence of Oberon.- Adding concurrency to the Oberon system.