In this book, a programming model is developed that addresses the fundamental issues of 'large-scale programming'. The approach unifies several concepts from database theory, object-oriented programming and designs of reactive systems. The model and the associated theory has been christened "Seuss." The major goal of Seuss is to simplify multiprogramming. To this end, the concern of concurrent implementation is separated 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. As a consequence, it is possible to reason about the properties of a program from its single execution thread.
A Discipline of Multiprogramming
and over one million other books are available for Amazon Kindle.
Learn more
FREE Two-Day Shipping for students on millions of items. Learn more |
| |||||||||||||||
Book Description
Editorial Reviews
Review
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)
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
Share your thoughts with other customers:
|
||||||||||||||||||||||
|
Most Helpful Customer Reviews
1 of 1 people found the following review helpful:
5.0 out of 5 stars
Good book!,
By
This review is from: A Discipline of Multiprogramming: Programming Theory for Distributed Applications (Monographs in Computer Science) (Hardcover)
A very good book. It describes a formal approach called Seuss to design and reason about distributed programs. As a formalism Seuss is abstract, hence allows us to focus reasoning at the important issues in distributed programming. It features OO-like structures so that one has the mechanism to construct large systems from smaller components.
Share your thoughts with other customers: Create your own review
|
|
Inside This Book
(learn more)
First Sentence:
The main software challenge in developing application programs during the 1960s and the 1970s was that the programs had to operate within limited resources, i.e., slow processors, small memories, and limited disk capacities. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
strong semaphore, loop noncritical section, loose execution, transient predicates, unordered channel, augmenting guard, union theorem, weak semaphore, global enum, common meeting time, execution correspondence, stable conjunction, partial procedure, tight execution, remaining proof obligation, strong fairness condition, strongest invariant, expanded execution, substitution axiom, semaphore value, weak fairness, weakest predicate, hungry process, locality axiom, local bag Key Phrases - Capitalized Phrases (CAPs): (learn more)
Start Write, Bibliographic Notes, Write Wait, End Write, Rajeev Joshi, Read Wait, World Wide Web, Actions of Program, Design of the Scheduler, Elsevier Science New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
The main software challenge in developing application programs during the 1960s and the 1970s was that the programs had to operate within limited resources, i.e., slow processors, small memories, and limited disk capacities. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
strong semaphore, loop noncritical section, loose execution, transient predicates, unordered channel, augmenting guard, union theorem, weak semaphore, global enum, common meeting time, execution correspondence, stable conjunction, partial procedure, tight execution, remaining proof obligation, strong fairness condition, strongest invariant, expanded execution, substitution axiom, semaphore value, weak fairness, weakest predicate, hungry process, locality axiom, local bag Key Phrases - Capitalized Phrases (CAPs): (learn more)
Start Write, Bibliographic Notes, Write Wait, End Write, Rajeev Joshi, Read Wait, World Wide Web, Actions of Program, Design of the Scheduler, Elsevier Science New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 29
books:
See all 29 books this book cites
10
books
cite this book:
See all 10 books citing this book
- A Theory of Objects (Monographs in Computer Science) by Martin Abadi in Front Matter, and Back Matter
- Digital Systems: Hardware Organization and Design by Frederick J. Hill in Back Matter
- Software Engineering by Gregory W. Jones in Back Matter
- Panoramic Vision by Ryad Benosman in Front Matter
- The Science of Programming (Monographs in Computer Science) by David Gries in Back Matter
See all 29 books this book cites
- Software Configuration Management Using Vesta (Monographs in Computer Science) by Clark Allan Heydon in Front Matter
- High Performance Discovery in Time Series: Techniques and Case Studies (Monographs in Computer Science) by New York University in Front Matter
- Super-Recursive Algorithms (Monographs in Computer Science) by Mark Burgin in Front Matter
- Adapting Proofs-as-Programs : The Curry-Howard Protocol (Monographs in Computer Science) by Iman Poernomo in Front Matter
- Programming Methodology by Annabelle Mclver in Front Matter
See all 10 books citing this book
Books on Related Topics
(learn more)
|
|
Tags Customers Associate with This Product(What's this?)Click on a tag to find related items, discussions, and people.
|
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Hardware > Internet & Networking
- Books > Computers & Technology > Hardware > Microprocessors & System Design
- Books > Computers & Technology > Networking > Networks, Protocols & APIs
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Object-Oriented Design
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Software Development
- Books > New & Used Textbooks > Computer Science > Networking
- Books > New & Used Textbooks > Computer Science > Programming Languages
- Books > New & Used Textbooks > Computer Science > Software Design & Engineering
