Author: F Baiardi Publisher: World Scientific ISBN: 9814505447 Category : Computers Languages : en Pages : 299
Book Description
This book contains articles on advanced topics in language architectures and programming environments. The chapters are written by distinctive leaders in their respective research fields. The original articles and reprints are enhanced by the editors' descriptions which are intended to guide the reader. The book will be of immense use to computer science students, computer system architects and designers, and designers of programming environments, requiring a deep and broad knowledge of these fields.
Author: Tadao Ichikawa Publisher: World Scientific ISBN: 9789810210120 Category : Computers Languages : en Pages : 310
Book Description
This book contains articles on advanced topics in language architectures and programming environments. The chapters are written by distinctive leaders in their respective research fields. The original articles and reprints are enhanced by the editors' descriptions which are intended to guide the reader. The book will be of immense use to computer science students, computer system architects and designers, and designers of programming environments, requiring a deep and broad knowledge of these fields.
Author: Jürg Gutknecht Publisher: Springer Science & Business Media ISBN: 9783540578406 Category : Computers Languages : en Pages : 360
Book Description
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.
Author: Malcolm P. Atkinson Publisher: Springer Science & Business Media ISBN: 3642596231 Category : Computers Languages : en Pages : 636
Book Description
This book presents the work of researchers in the Esprit Fully Integrated Data Environments (FIDE) projects which had the goal of substantially improving the quality of complex application systems while massively reducing the cost of building and maintaining them. It reports on the design and development of new integrated environments to support the construction and operation of persistent application systems, and on the principles employed to design, test, and implement such systems.
Author: Boleslaw K. Szymanski Publisher: Springer Science & Business Media ISBN: 146152315X Category : Computers Languages : en Pages : 349
Book Description
Language, Compilers and Run-time Systems for Scalable Computers contains 20 articles based on presentations given at the third workshop of the same title, and 13 extended abstracts from the poster session. Starting with new developments in classical problems of parallel compiler design, such as dependence analysis and an exploration of loop parallelism, the book goes on to address the issues of compiler strategy for specific architectures and programming environments. Several chapters investigate support for multi-threading, object orientation, irregular computation, locality enhancement, and communication optimization. Issues of the interface between language and operating system support are also discussed. Finally, the load balance issues are discussed in different contexts, including sparse matrix computation and iteratively balanced adaptive solvers for partial differential equations. Some additional topics are also discussed in the extended abstracts. Each chapter provides a bibliography of relevant papers and the book can thus be used as a reference to the most up-to-date research in parallel software engineering.
Author: Wolfgang F. E. Preiser Publisher: Routledge ISBN: 1317504011 Category : Architecture Languages : en Pages : 256
Book Description
Architectural programming – the analysis of any given environment to satisfy users’ needs – has become a given prerequisite to the design process. The programming process is often a complicated one: users’ present and future needs must be identified; space allowances, often predetermined, must be considered; equipment must be accommodated; all in the most cost-effective way possible. The variety of user groups is as wide as the variety of functions architecture can shelter; moreover, the different structures and needs of clients that fall within the same use classification differs so greatly that every program presents a new challenge. You cannot, for example, use the same program for every hospital you design. In Programming the Built Environment, first published in 1985, noted architect Wolfgang F. E. Preiser has compiled a wide range of architectural programs demonstrating applications of basic principles for different client groups. This book will be of interest to students of architecture and planning.
Author: John Hughes Publisher: Springer Science & Business Media ISBN: 9783540543961 Category : Computers Languages : en Pages : 684
Book Description
This book offers a comprehensive view of the best and the latest work in functional programming. It is the proceedings of a major international conference and contains 30 papers selected from 126 submitted. A number of themes emerge. One is a growing interest in types: powerful type systems or type checkers supporting overloading, coercion, dynamic types, and incremental inference; linear types to optimize storage, and polymorphic types to optimize semantic analysis. The hot topic of partial evaluation is well represented: techniques for higher-order binding-time analysis, assuring termination of partial evaluation, and improving the residual programs a partial evaluator generates. The thorny problem of manipulating state in functional languages is addressed: one paper even argues that parallel programs with side-effects can be "more declarative" than purely functional ones. Theoretical work covers a new model of types based on projections, parametricity, a connection between strictness analysis and logic, and a discussion of efficient implementations of the lambda-calculus. The connection with computer architecture and a variety of other topics are also addressed.
Author: Damien Watkins Publisher: Addison-Wesley Professional ISBN: 9780201770186 Category : Computers Languages : en Pages : 564
Book Description
Not only does this book describe the goals and architecture of the .NET Framework, but it also demonstrates how it implements facilities and services to meet these goals. This book shows developers how to produce generic frameworks, libraries, classes, and tools to be used in the .NET Framework.
Author: F Baiardi
Author: Tadao Ichikawa
Author: Jürg Gutknecht
Author: Malcolm P. Atkinson
Author: Boleslaw K. Szymanski
Author: Institute for Computer Applications in Science and Engineering
Author: Wolfgang F. E. Preiser
Author: Piyush Mehrotra
Author: John Hughes
Author: Damien Watkins