Wyniki wyszukiwania:

Overview The motivation of this text lies in what we believe is the inadequacy of current frameworks to reason about the ?ow of data in imperative programs. This inadequacy clearly shows up when dealing with the individual side effects of loop iterations. - deed, we face a paradoxical situation where, on the one hand, a typical program spends most of its execution time iterating or recursing on a few lines of codes, and, on the other hand, current optimization frameworks are clumsy when trying to capture the effects of each incarnation of these few lines frameworks we inherited from designs...

Overview The motivation of this text lies in what we believe is the inadequacy of current frameworks to reason about the ?ow of data in imperative programs. This inadequacy clearly shows up when dealing with the individual side effects of loop iterations. - deed, we face a paradoxical situation where, on the one hand, a typical program spends most of its execution time iterating or recursing on a few lines of codes, and, on the other hand, current optimization frameworks are clumsy when trying to capture the effects of each incarnation of these few lines frameworks we inherited from designs...

First published in 1982, this title started as a study of clients with marital problems and how they came to seek help. Using a sociological approach to marriage, the authors compare the medical and non-medical settings the clients attended and looks at their social networks to see how people view and conduct their marital relationships.

First published in 1979, this book presents the findings of a study into the characteristics of those who divorce. Certain childhood, adolescent, pre-marital and marital characteristics and experiences of a random sample of men and women who divorced are considered and compared with the those whose marriages were still intact.