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.
Author(s): Butler W. Lampson (auth.), Jürg Gutknecht (eds.)
Series: Lecture Notes in Computer Science 782
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1994
Language: English
Pages: 348
Tags: Programming Techniques; Software Engineering; Programming Languages, Compilers, Interpreters; Operating Systems; Memory Structures; Electronics and Microelectronics, Instrumentation
Interconnecting computers: Architecture, technology, and economics....Pages 1-20
Languages and interactive software development....Pages 21-34
Mechanized support for stepwise refinement....Pages 35-48
Hardware and software: The closing gap....Pages 49-68
On computing power....Pages 69-86
Increasing memory bandwidth for vector computations....Pages 87-104
The advantages of machine-dependent global optimization....Pages 105-124
Dependence-conscious global register allocation....Pages 125-136
Type test elimination using typeflow analysis....Pages 137-150
Where concurrent processes originate....Pages 151-170
High-level abstractions for efficient concurrent systems....Pages 171-190
Language and architecture paradigms as object classes: A unified approach towards multiparadigm programming....Pages 191-207
Engineering a programming language: The type and class system of Sather....Pages 208-227
OPAL: Design and implementation of an algebraic programming language....Pages 228-244
Architectural issues in spreadsheet languages....Pages 245-258
Technological steps toward a software component industry....Pages 259-281
Distributed high-level module binding for flexible encapsulation and fast inter-modular optimization....Pages 282-297
Is Oberon as simple as possible? A smaller object-oriented language based on the concept of module type....Pages 298-312
On the essence of Oberon....Pages 313-327
Adding concurrency to the Oberon system....Pages 328-344
