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

種類:

電子ブック

責任表示:

edited by Jürg Gutknecht

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994

著者名:

• Gutknecht, Jürg.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 782

ISBN:

9783540483564 [354048356X]    

注記:

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
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.

ローカル注記:

学内専用E-BOOKS (local access only)