Programming Languages and System Architectures: International Conference, Zurich, Switzerland, March 2 - 4, 1994. Proceedings

Pirmais vāks
Springer Science & Business Media, 1994. gada 22. febr. - 344 lappuses
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.

No grāmatas satura

Saturs

Architecture Technology and Economics
1
Languages and Interactive Software Development
21
Mechanized Support for Stepwise Refinement
35
The Closing Gap
49
On Computing Power
69
Increasing Memory Bandwidth for Vector Computations
87
The Advantages of MachineDependent Global Optimization
105
DependenceConscious Global Register Allocation
125
A Unified Approach Towards Multiparadigm Programming
191
The Type and Class System of Sather
208
Design And Implementation of an Algebraic Programming Language
228
Architectural Issues in Spreadsheet Languages
245
Technological Steps toward a Software Component Industry
259
Distributed HighLevel Module Binding for Flexible Encapsulation and Fast InterModular Optimization
282
Is Oberon as Simple as Possible? A Smaller ObjectOriented Language Based on the Concept of Module Type
298
On the Essence of Oberon
313

Type Test Elimination using Typeflow Analysis
137
Where Concurrent Processes Originate
151
HighLevel Abstractions for Efficient Concurrent Systems
171
Adding Concurrency to the Oberon System
328
Autortiesības

Citi izdevumi - Skatīt visu

Bieži izmantoti vārdi un frāzes

Bibliogrāfiskā informācija