Programming Languages and System Architectures International Conference Zurich, Switzerland, March 2–4,1994 Proceedings / [electronic resource] :
edited by Jürg Gutknecht.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 1994.
- CCCLX, 348 p. online resource.
- Lecture Notes in Computer Science, 782 0302-9743 ; .
- Lecture Notes in Computer Science, 782 .
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.
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.
9783540483564
10.1007/3-540-57840-4 doi
Computer science.
Memory management (Computer science).
Software engineering.
Operating systems (Computers).
Electronics.
Computer Science.
Programming Techniques.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Operating Systems.
Memory Structures.
Electronics and Microelectronics, Instrumentation.
QA76.6-76.66
005.11
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.
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.
9783540483564
10.1007/3-540-57840-4 doi
Computer science.
Memory management (Computer science).
Software engineering.
Operating systems (Computers).
Electronics.
Computer Science.
Programming Techniques.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Operating Systems.
Memory Structures.
Electronics and Microelectronics, Instrumentation.
QA76.6-76.66
005.11