Programming Languages and System Architectures: International Conference, Zurich, Switzerland, March 2 - 4, 1994. ProceedingsSpringer 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
1.–5. rezultāts no 57.
. lappuse
Atvainojiet, šīs lappuses saturs ir ierobežots..
Atvainojiet, šīs lappuses saturs ir ierobežots..
9. lappuse
Atvainojiet, šīs lappuses saturs ir ierobežots..
Atvainojiet, šīs lappuses saturs ir ierobežots..
19. lappuse
Atvainojiet, šīs lappuses saturs ir ierobežots..
Atvainojiet, šīs lappuses saturs ir ierobežots..
20. lappuse
Atvainojiet, šīs lappuses saturs ir ierobežots..
Atvainojiet, šīs lappuses saturs ir ierobežots..
48. lappuse
Atvainojiet, šīs lappuses saturs ir ierobežots..
Atvainojiet, šīs lappuses saturs ir ierobežots..
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 |
Citi izdevumi - Skatīt visu
Bieži izmantoti vārdi un frāzes
abstract abstract machine algebraic algorithm analysis application assignment bandwidth basic block C.A.R. Hoare cache calorimeter cell CGLoader code improvements compiler components Computer Science Concurrent constant propagation coroutine declared defined dependence graph dependence-conscious colouring dynamic example execution expression exprocedure FIFO Figure FPGA function Gbops global hardware implementation inheritance inline input instruction INTEGER interface live ranges load loop machine-independent manifest type memory messages method Modula-2 module type mss.n multiparadigm multiplexed Niklaus Wirth node Oberon Oberon thread Oberon-2 object object-oriented Object-Oriented Programming OPAL operating system optimization paradigm parallel parameters performance pointer predicate transformers primitives problem programming language provides queue reference register allocation result routine run-time Sather scheduling SDE-files Section semantics sequence shared heap SIGPLAN specification stack static structure subclassing subtyping target machine type extension type guard typeflow vector virtual processors