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

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...

Celý popis

Uloženo v:
Podrobná bibliografie
Hlavní autor: Gutknecht, Jürg, 1949-
Médium: Livre numérique
Jazyk:Anglais
Vydáno: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Edice:Lecture notes in computer science 782
Témata:
On-line přístup:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Poznámka: Actes d'une conférence tenue à Zurich du 2 au 4 mars 1994, d'après l écran-titre
Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Programming languages and system architectures, international conference, Zürich, Switzerland, March 2-4, 1994, proceedings, Jürg Gutknecht, ed, Berlin, Springer-Verlag, 1994, 1 vol. (X-344 p.), Lecture notes in computer science, 3-540-57840-4
• Programming Languages and System Architectures, Texte imprimé, 9783662214275
LEADER 04475nam a22004337a 4500
001 943820
008 110927q2000 xxe ||| |||| 00| 0 eng d
009 PPN155164821
020 |a 9783540483564 (PDF) 
041 0 |a eng 
082 |a 004 
100 1 |a Gutknecht, Jürg,  |d 1949- 
245 1 0 |a Programming languages and system architectures :  |b international conference, Zürich, Switzerland, March 2-4, 1994 : proceedings   |c [edited by] Jürg Gutknecht. 
260 |a Berlin [etc.] :  |b Springer. 
260 |a Cham :  |b Springer Nature,  |c [20..]. 
490 0 |a Lecture notes in computer science  |v 782  |x 1611-3349 
500 |a Actes d'une conférence tenue à Zurich du 2 au 4 mars 1994, d'après l écran-titre 
500 |a Archives Springer e-books (Licence nationale) 
500 |a Archives Springer e-books (Licence nationale) 
505 0 |a 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. 
506 |a Accès en ligne pour les établissements français bénéficiaires des licences nationales 
506 |a Accès soumis à abonnement pour tout autre établissement 
506 |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 
520 |a 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. 
650 |a Génie logiciel 
650 |a Informatique 
650 |a Langages de programmation 
650 |a Systèmes d'exploitation (ordinateurs) 
650 |a Ordinateurs 
650 |a Ordinateurs  |x Mémoires 
650 |a Architecture des ordinateurs 
650 |a Actes de congrès 
776 0 |0 018306640  |t Programming languages and system architectures  |o international conference, Zürich, Switzerland, March 2-4, 1994  |o proceedings  |f Jürg Gutknecht, ed  |c Berlin  |n Springer-Verlag  |d 1994  |p 1 vol. (X-344 p.)  |s Lecture notes in computer science  |z 3-540-57840-4 
776 0 |t Programming Languages and System Architectures  |b Texte imprimé  |z 9783662214275 
856 4 |q PDF  |u https://doi.org/10.1007/3-540-57840-4  |z Accès sur la plateforme de l'éditeur 
856 4 |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-1W4SJS3N-D  |z Accès sur la plateforme Istex 
856 4 |5 452349901:747925356  |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-57840-4  |z Accès Université d'Orléans 
856 4 |5 180339901:750937483  |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-57840-4  |z Accès INSA CVL 
997 |0 943820  |1 Livre numérique  |a Ressource numérique  |b INSA  |b ENSA  |c 0/Bibliothèque numérique/  |c 1/Bibliothèque numérique/Autre ressource numérique/