LEADER 04977nam 22007095 450 001 996465794003316 005 20200630024359.0 010 $a3-540-48356-X 024 7 $a10.1007/3-540-57840-4 035 $a(CKB)1000000000234091 035 $a(SSID)ssj0000325917 035 $a(PQKBManifestationID)11246863 035 $a(PQKBTitleCode)TC0000325917 035 $a(PQKBWorkID)10264890 035 $a(PQKB)11346454 035 $a(DE-He213)978-3-540-48356-4 035 $a(PPN)155164821 035 $a(EXLCZ)991000000000234091 100 $a20121227d1994 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aProgramming Languages and System Architectures$b[electronic resource] $eInternational Conference, Zurich, Switzerland, March 2 - 4, 1994. Proceedings /$fedited by Jürg Gutknecht 205 $a1st ed. 1994. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1994. 215 $a1 online resource (CCCLX, 348 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v782 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-57840-4 327 $aInterconnecting 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. 330 $aProgramming 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. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v782 606 $aArchitecture, Computer 606 $aElectronic circuits 606 $aSoftware engineering 606 $aComputer programming 606 $aProgramming languages (Electronic computers) 606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 606 $aCircuits and Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/T24068 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 615 0$aArchitecture, Computer. 615 0$aElectronic circuits. 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aProgramming languages (Electronic computers). 615 14$aComputer System Implementation. 615 24$aCircuits and Systems. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 676 $a005.13 702 $aGutknecht$b Jürg$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465794003316 996 $aProgramming languages and system architectures$91381953 997 $aUNISA