A Discipline of Multiprogramming: Programming Theory for Distributed Applications - Rilegato

Libro 5 di 16: Monographs in Computer Science

Misra, Jayadev

 
9780387952062: A Discipline of Multiprogramming: Programming Theory for Distributed Applications

Sinossi

In this book, a programming model is developed that addresses the fundamental issues of "large-scale programming," unifying several concepts from database theory, object-oriented programming and designs of reactive systems. The model and the associated theory have been christened "Seuss. " The major goal of Seuss is to simplify multiprogramming. To this end, we separate the concern of concurrent implementation from the core program design problem. A program execution is understood as a single thread of control - sequential executions of actions that are chosen according to some scheduling policy - yet program implementation permits concurrent executions of multiple threads. As a consequence, it is possible to reason about the properties of a program from its single execution thread, whereas an implementation may exploit the inherent concurrency for efficient execution.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Recensione

From the reviews:

"Jayadev Misras ‘Discipline of Multiprogramming – Programming Theory for Distributed Applications’ wants to contribute theories and design principles to enhance productivity in specification, abstraction and modularization. ... Most chapters have a large number of examples, contain bibliographic notes and a lot of exercises with solutions. The book concludes with an appendix about elementary logic and algebra, a reference list and an index." (Christoph Meinel, Zentralblatt MATH, Vol. 999, 2002)

Contenuti

1.A discipline of multiprogramming; 2.Action systems; 3.An object-oriented view of action systems; 4.Small examples; 5.Safety properties; 6.Progress properties; 7.Maximality properties; 8.Asynchronous compositions of programs; 9.Conditional, closure properties; 10.Reduction theorem; 11.Distributed implementation; 12.Logic of Seuss programs; 13.Epilog

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

9781461264279: A Discipline of Multiprogramming: Programming Theory for Distributed Applications

Edizione in evidenza

ISBN 10:  1461264278 ISBN 13:  9781461264279
Casa editrice: Springer, 2012
Brossura