Research Catalog

Programming languages and system architectures : international conference, Zürich, Switzerland, March 2-4, 1994 : proceedings

Title: Programming languages and system architectures : international conference, Zürich, Switzerland, March 2-4, 1994 : proceedings / Jürg Gutknecht, ed.
Publication: Berlin ; New York : Springer-Verlag, ©1994.

Items in the Library & Off-site

Filter by

1 Item

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Book/Text	Use in library	QA76.7 .P79 1994	Off-site

Details

Additional Authors

Gutknecht, Jürg.

Description

x, 344 pages : illustrations; 24 cm.

Summary

"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."--PUBLISHER'S WEBSITE.

Series Statement

Lecture notes in computer science ; 782

Uniform Title

Lecture notes in computer science ; 782.

Subject

Genre/Form

Conference papers and proceedings.
Zürich (1994)

Bibliography (note)

Includes bibliographical references.

Contents

Interconnecting Computers: Architecture, Technology, and Economics / Butler W. Lampson -- Languages and Interactive Software Development / Susan Graham -- Mechanized Support for Stepwise Refinement / Jan L.A. van de Snepscheut -- Hardware and Software: The Closing Gap / C.A.R. Hoare and Innes Page -- On Computing Power / Jean E. Vuillemin -- Increasing Memory Bandwidth for Vector Computations / Sally A. McKee, Steven A. Moyer, William A. Wulf and Charles Hitchcock -- The Advantages of Machine-Dependent Global Optimization / Manuel E. Benitez and Jack W. Davidson -- Dependence-Conscious Global Register Allocation / Wolfgang Ambrosch, M. Anton Ertl, Felix Beer and Andreas Krall -- Type Test Elimination Using Typeflow Analysis / Diane Corney and John Gough -- Where Concurrent Processes Originate / Stanislaw Chrobot -- High-Level Abstractions for Efficient Concurrent Systems / Suresh Jagannathan and James Philbin -- Language and Architecture Paradigms as Object Classes: A Unified Approach Towards Multiparadigm Programming / Diomidis Spinellis, Sophia Drossopoulou and Susan Eisenbach -- Engineering a Programming Language: The Type and Class System of Sather / Clemens A. Szyperski, Stephen Omohundro and Stephan Murer -- OPAL: Design and Implementation of an Algebraic Programming Language / Klaus Didrich, Andreas Fett, Carola Gerke, Wolfgang Grieskamp and Peter Pepper -- Architectural Issues in Spreadsheet Languages / Alan G. Yoder and David L. Cohn -- Technological Steps toward a Software Component Industry / Michael Franz -- Distributed High-Level Module Binding for Flexible Encapsulation and Fast Inter-Modular Optimization / Christian S. Collberg -- Is Oberon as Simple as Possible? A Smaller Object-Oriented Language Based on the Concept of Module Type / Atanas Radenski -- On the Essence of Oberon / David A. Naumann -- Adding Concurrency to the Oberon System / Spiros Lalis and Beverly A. Sanders.

ISBN

3540578404
9783540578406
0387578404
9780387578408

LCCN

94004694

OCLC

ocm29878076
29878076
SCSB-2009164

Owning Institutions

Princeton University Library