Indeholder "Preface", "1. Introduction", " 1.1 Benefits of object-orientation", " 1.2 Object-oriented programming and BETA", " 1.3 Notes", "2. Introduction to Basic Concepts", " 2.1 Perspectives on programming", " 2.1.1 Procedural programming", " 2.1.2 Functional and constraint programming", " 2.2 Object-oriented programming", " 2.2.1 Manual systems", " 2.2.2 Computerized physical models", " 2.3 Exercises", " 2.4 Notes", "3. Objects and Patterns", " 3.1 Overview", " 3.1.1 Summary", " 3.2 Reference attributes", " 3.2.1 Static references", " 3.2.2 Dynamic references", " 3.2.3 Dynamic generation of objects", " 3.2.4 Example of using dynamic references", " 3.2.5 Qualified references and remote access", " 3.3 Pattern attributes", " 3.3.1 Self-reference", " 3.3.2 Procedure, function and class patterns", " 3.3.3 Basic patterns", " 3.4 Exercises", " 3.5 Notes", "4. Repetitions", " 4.1 Reallocation, assignment and slice", " 4.2 The text pattern", " 4.3 Exercises", " 4.4 Notes", "5. Imperatives", " 5.1 Introduction to evaluations", " 5.2 For-imperative", " 5.3 If-imperative", " 5.4 Labels and jump imperatives", " 5.5 A large example", " 5.6 Assignment and equality", " 5.6.1 Equality", " 5.6.2 Basic patterns", " 5.7 Computed references and computed remote name", " 5.8 Detailed description of evaluations", " 5.8.1 Object evaluation", " 5.8.2 Evaluation list", " 5.8.3 Assignment evaluation", " 5.8.4 Value relations", " 5.9 Block structure and scope rules", " 5.10 Object kinds and construction modes", " 5.10.1 Object kinds", " 5.10.2 Construction modes and inserted objects", " 5.10.3 Summary of construction modes", " 5.11 Exercises", " 5.12 Notes", "6. Sub-patterns", " 6.1 Specialization by simple inheritance", " 6.2 Specialization of actions", " 6.3 Enter/exit-parts for sub-patterns", " 6.4 The object pattern", " 6.5 Summary", " 6.6 Qualifications and scope rules", " 6.6.1 Qualification", " 6.6.2 Scope rules", " 6.7 Exercises", " 6.8 Notes", "7. Virtual Procedure Patterns", " 7.1 Motivation", " 7.2 Declaration of virtual pattern", " 7.3 Direct qualification of virtual patterns", " 7.4 Continued extension of a virtual pattern", " 7.5 More examples of using virtual patterns", " 7.5.1 Specialization of initialization patterns", " 7.5.2 Computation of salary for different job types", " 7.5.3 Geometric figures", " 7.5.4 Defining control abstractions", " 7.5.5 Arithmetic expressions", " 7.6 Benefits of virtual patterns", " 7.7 Summary", " 7.8 Exercises", " 7.9 Notes", "8. Block Structure", " 8.1 Simple block structure", " 8.2 Class grammar", " 8.3 Flight reservation example", " 8.4 Exercises", " 8.5 Notes", "9. Virtual Class Patterns", " 9.1 Directly qualified virtual class patterns", " 9.2 General parameterized class patterns", " 9.3 Notes", "10. Part Objects and Reference Attributes", " 10.1 Part objects", " 10.1.1 Independent and dependent parts", " 10.2 Reference attributes", " 10.3 Exercises", " 10.4 Notes", "11. Pattern Variables", " 11.1 Declaration of pattern variables", " 11.2 Example", " 11.3 Exercises", " 11.4 Notes", "12. Procedural Programming", " 12.1 Functional classes", " 12.2 Higher order procedure patterns", " 12.3 Virtual classes and genericity", " 12.3.1 Pure object-oriented definition of class Ring", " 12.3.2 Functional definition of class Ring", " 12.3.3 Class attributes versus type attributes", " 12.3.4 More on extending virtual classes", " 12.4 Notes", "13. Deterministic Alternation", " 13.1 Execution stacks", " 13.1.1 Language constructs for basic coroutine sequencing", " 13.2 Generators", " 13.3 Components and recursive procedure patterns", " 13.4 Abstract super-patterns", " 13.4.1 Symmetric coroutines", " 13.4.2 Quasi-parallel systems", " 13.5 Exercises", " 13.6 Notes", "14. Concurrency", " 14.1 Concurrent execution of components", " 14.1.1 Simple synchronization", " 14.2 Monitors", " 14.2.1 Monitor conditions", " 14.3 Direct communication between components", " 14.3.1 Synchronized communication between components", " 14.3.2 Ports controlling several operations", " 14.3.3 Restricted acceptance", " 14.4 Compound systems", " 14.4.1 Indirect communication between internal systems", " 14.4.2 Communication with internal systems", " 14.5 Readers and writers problem", " 14.6 Exercises", " 14.7 Notes", "15. Nondeterministic Alternation", " 15.1 Alternating execution of components", " 15.2 A distributed calendar", " 15.3 Bounded buffer", " 15.4 A simple game", " 15.5 Notes", "16. Exception Handling", " 16.1 Simple exceptions", " 16.2 Recovery", " 16.3 Partial recovery", " 16.4 Handlers for procedure patterns", " 16.5 System exceptions", " 16.6 Language-defined exceptions", " 16.7 Advanced design of exception patterns", " 16.8 Exercises", " 16.9 Notes", "17. Modularization", " 17.1 Fragments", " 17.1.1 Forms", " 17.1.2 Slots", " 17.1.3 Fragment-form", " 17.1.4 Fragment-group", " 17.1.5 Fragment library", " 17.1.6 Origin of a fragment-group", " 17.1.7 The basic environment", " 17.1.8 Include", " 17.1.9 Body", " 17.2 Separation of interface and implementation", " 17.2.1 Abstract data types", " 17.3 Alternative implementations", " 17.4 Program variants", " 17.5 Using several libraries", " 17.6 Visibility and binding rules", " 17.7 Exercises", " 17.8 Notes", "18. Conceptual Framework", " 18.1 Physical modeling", " 18.2 Information processes", " 18.3 Concepts and abstraction", " 18.3.1 Phenomena and concepts", " 18.3.2 Aristotelian view", " 18.3.3 Prototypical view", " 18.3.4 Other views of concepts", " 18.3.5 Representing concepts in BETA", " 18.4 The abstraction process", " 18.5 Classification and composition", " 18.5.1 Classification", " 18.5.2 Composition", " 18.6 Relations", " 18.7 Representative elements of a description", " 18.8 Graphical notation", " 18.9 Elements of a method", " 18.9.1 General approach", " 18.9.2 Analysis", " 18.9.3 Design", " 18.9.4 Implementation", " 18.10 Exercises", " 18.11 Notes", "A. Grammar for BETA", "B. The Mjølner BETA System", "Bibliography", "Index".

Beskrivelse af et lidt spøjst objekt-orienteret sprog. ( )