TY - BOOK AU - Gutknecht,Jürg ED - SpringerLink (Online service) TI - Programming Languages and System Architectures: International Conference Zurich, Switzerland, March 2–4,1994 Proceedings T2 - Lecture Notes in Computer Science, SN - 9783540483564 AV - QA76.6-76.66 U1 - 005.11 23 PY - 1994/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Memory management (Computer science) KW - Software engineering KW - Operating systems (Computers) KW - Electronics KW - Computer Science KW - Programming Techniques KW - Software Engineering KW - Programming Languages, Compilers, Interpreters KW - Operating Systems KW - Memory Structures KW - Electronics and Microelectronics, Instrumentation N1 - 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 N2 - 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 UR - http://dx.doi.org/10.1007/3-540-57840-4 ER -