birkhäuser boston birkhäuser boston jan 1997 (6 resultados)

Buch. Condición: Neu. Neuware -by Luea Cardelli Ever since Strachey's work in the 1960's, polymorphism has been classified into the parametric and overloading varieties. Parametric polymorphism has been the subject of extensive study for over two decades. Overloading, on the other hand, has often been considered too ad hoc to deserve much attention even though it has been, in some form, an ingredient of virtually every programming lan guage (much more so than parametric polymorphism). With the introduction of object-oriented languages, and in particular with multiple-dispatch object-oriented languages, overloading has become less of a programming convenience and more of a fundamental feature in need of proper explanation. This book provides a compelling framework for the study of run-time over loading and of its interactions with subtyping and with parametric polymorphism. The book also describes applications to object-oriented programming. This new framework is motivated by the relatively recent spread of programming languages that are entirely based on run-time overloading; this fact probably explains why this subject was not investigated earlier. Once properly understood, overloading reveals itself relevant also to the study of older and more conventional (single dispatch) object-oriented languages, clarifying delicate issues of covariance and contravariance of method types, and of run-time type analysis. In the final chapters, a synthesis is made between parametric and overloading polymorphism.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 388 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The proportion of elderly people continues to increase in the western world-nearly a quarter of the population will be over 65 years by the year 2050. Since aging is accompanied by an increase in diseases and by a deterioration in well-being, finding solutions to these social, medical and psychological problems is necessarily a major goal for society. Scientists and medical practitioners are therefore faced with the urgent task of increasing basic knowledge of the biological processes that cause aging. More resources must be put into this research in order to achieve better understanding of the cellular mechanisms that underlie the differences in life span between species and to answer the difficult questions of why some individuals age more quickly than others, and why some develop liver problems, some have heart problems, and others brain problems. The results of such a wide program of research will provide important information about the causes of many life-threatening and/ or debilitating diseases of old age; it will help find ways to prevent some of the ailments that result from aging, and it may well lead to discoveries enabling the prolongation of human life.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 296 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The proportion of elderly people continues to increase in the western world-nearly a quarter of the population will be over 65 years by the year 2050. Since aging is accompanied by an increase in diseases and by a deterioration in well-being, finding solutions to these social, medical and psychological problems is necessarily a major goal for society. Scientists and medical practitioners are therefore faced with the urgent task of increasing basic knowledge of the biological processes that cause aging. More resources must be put into this research in order to achieve better understanding of the cellular mechanisms that underlie the differences in life span between species and to answer the difficult questions of why some individuals age more quickly than others, and why some develop liver problems, some have heart problems, and others brain problems. The results of such a wide program of research will provide important information about the causes of many life-threatening and/ or debilitating diseases of old age; it will help find ways to prevent some of the ailments that result from aging, and it may well lead to discoveries enabling the prolongation of human life. 296 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -by Luea Cardelli Ever since Strachey's work in the 1960's, polymorphism has been classified into the parametric and overloading varieties. Parametric polymorphism has been the subject of extensive study for over two decades. Overloading, on the other hand, has often been considered too ad hoc to deserve much attention even though it has been, in some form, an ingredient of virtually every programming lan guage (much more so than parametric polymorphism). With the introduction of object-oriented languages, and in particular with multiple-dispatch object-oriented languages, overloading has become less of a programming convenience and more of a fundamental feature in need of proper explanation. This book provides a compelling framework for the study of run-time over loading and of its interactions with subtyping and with parametric polymorphism. The book also describes applications to object-oriented programming. This new framework is motivated by the relatively recent spread of programming languages that are entirely based on run-time overloading; this fact probably explains why this subject was not investigated earlier. Once properly understood, overloading reveals itself relevant also to the study of older and more conventional (single dispatch) object-oriented languages, clarifying delicate issues of covariance and contravariance of method types, and of run-time type analysis. In the final chapters, a synthesis is made between parametric and overloading polymorphism. 388 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The articles in this volume are an outgrowth of a colloquium 'Systemes Integrables et Feuilletages,' which was held in honor of the sixtieth birthday of Pierre Molino.The topics cover the broad range of mathematical areas which were of keen interest to Molino, namely, integral systems and more generally symplectic geometry and Poisson structures, foliations and Lie transverse structures, transitive structures, and classification problems.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 228 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The articles in this volume are an outgrowth of a colloquium 'Systemes Integrables et Feuilletages,' which was held in honor of the sixtieth birthday of Pierre Molino.The topics cover the broad range of mathematical areas which were of keen interest to Molino, namely, integral systems and more generally symplectic geometry and Poisson structures, foliations and Lie transverse structures, transitive structures, and classification problems. 228 pp. Englisch.