Programming Languages and System Architectures: International Conference, Zürich, Switzerland, March 2-4, 1994 : ProceedingsJürg Gutknecht Springer-Verlag, 1994 - 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."--PUBLISHER'S WEBSITE. |
No grāmatas satura
1.–3. rezultāts no 66.
28. lappuse
... function f on the spectrum of A. For other operators on Hilbert spaces or Banach spaces , a functional calculus is a way of converting one operator ( often unbounded ) into a coherent collection of associated bounded operators . Many ...
... function f on the spectrum of A. For other operators on Hilbert spaces or Banach spaces , a functional calculus is a way of converting one operator ( often unbounded ) into a coherent collection of associated bounded operators . Many ...
98. lappuse
... function are the applications of that function and the components of function application are the argument and result. In the original HOOD implementation this is done via an ad-hoc implementation of the observer method. With TH we ...
... function are the applications of that function and the components of function application are the argument and result. In the original HOOD implementation this is done via an ad-hoc implementation of the observer method. With TH we ...
100. lappuse
... FUNCTION GRAPHS The above function manipulations can be illustrated nicely by drawing pictures. Such pictures are helpful in understanding the ... function. Figure 8.2 Function composition B D C A2 A function 100 CHAPTER 8 Function graphs.
... FUNCTION GRAPHS The above function manipulations can be illustrated nicely by drawing pictures. Such pictures are helpful in understanding the ... function. Figure 8.2 Function composition B D C A2 A function 100 CHAPTER 8 Function graphs.
Saturs
Invited Papers | 1 |
Languages and Interactive Software Development | 21 |
Mechanized Support for Stepwise Refinement | 35 |
Autortiesības | |
14 citas sadaļas nav parādītas.
Citi izdevumi - Skatīt visu
Programming Languages and System Architectures: International Conference ... Jürg Gutknecht Ierobežota priekšskatīšana - 1994 |
Bieži izmantoti vārdi un frāzes
abstract abstract machine algebraic algorithm analysis application architecture assignment bandwidth basic block cache calorimeter cell CGLoader code improvements compiler components Computer Science Concurrent constant propagation coroutine declared defined dependence graph dependence-conscious colouring dynamic ETH Zürich 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 primitives problem programming language properties provides queue reference register allocation representation result routine run-time Sather scheduling Section semantics sequence shared heap SIGPLAN specification stack static structure subclassing subtyping target machine type extension type guard vector virtual processors