Skip to main content
SpringerLink
Log in
Book cover

Programming Languages and System Architectures

International Conference, Zurich, Switzerland, March 2 - 4, 1994. Proceedings

  • Conference proceedings
  • © 1994

Overview

Editors:
  1. Jürg Gutknecht
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 782)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (20 papers)

  1. Front Matter

    Download chapter PDF

  2. Interconnecting computers: Architecture, technology, and economics

    • Butler W. Lampson
    Pages 1-20

  3. Languages and interactive software development

    • Susan L. Graham
    Pages 21-34

  4. Mechanized support for stepwise refinement

    • Jan L. A. van de Snepscheut
    Pages 35-48

  5. Hardware and software: The closing gap

    • C. A. R. Hoare, I. Page
    Pages 49-68

  6. On computing power

    • Jean E. Vuillemin
    Pages 69-86

  7. Increasing memory bandwidth for vector computations

    • Sally A. McKee, Steven A. Moyer, Wm. A. Wulf, Charles Hitchcock
    Pages 87-104

  8. The advantages of machine-dependent global optimization

    • Manuel E. Benitez, Jack W. Davidson
    Pages 105-124

  9. Dependence-conscious global register allocation

    • Wolfgang Ambrosch, M. Anton Ertl, Felix Beer, Andreas Krall
    Pages 125-136

  10. Type test elimination using typeflow analysis

    • Diane Corney, John Gough
    Pages 137-150

  11. Where concurrent processes originate

    • Stanislaw Chrobot
    Pages 151-170

  12. High-level abstractions for efficient concurrent systems

    • Suresh Jagannathan, James Philbin
    Pages 171-190

  13. Language and architecture paradigms as object classes: A unified approach towards multiparadigm programming

    • Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach
    Pages 191-207

  14. Engineering a programming language: The type and class system of Sather

    • Clemens Szyperski, Stephen Omohundro, Stephan Murer
    Pages 208-227

  15. OPAL: Design and implementation of an algebraic programming language

    • Klaus Didrich, Andreas Fett, Carola Gerke, Wolfgang Grieskamp, Peter Pepper
    Pages 228-244

  16. Architectural issues in spreadsheet languages

    • Alan G. Yoder, David L. Cohn
    Pages 245-258

  17. Technological steps toward a software component industry

    • Michael Franz
    Pages 259-281

  18. Distributed high-level module binding for flexible encapsulation and fast inter-modular optimization

    • Christian S. Collberg
    Pages 282-297

  19. Is Oberon as simple as possible? A smaller object-oriented language based on the concept of module type

    • Atanas Radenski
    Pages 298-312

  20. On the essence of Oberon

    • David A. Naumann
    Pages 313-327
Back to top

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation