Data-oriented specification of exception handling.
by Cheng Kar Wai. === Thesis (M.Phil.)--Chinese University of Hong Kong, 1990. === Bibliography: leaves [195-199] === ABSTRACT === Chapter CHAPTER 1 --- INTRODUCTION --- p.1 === Chapter 1.1 --- Problem --- p.2 === Chapter 1 .2 --- Approach --- p.3 === Chapter 1.2.1 --- Programming Approach --- p...
| Other Authors: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
Chinese University of Hong Kong
1990
|
| Subjects: | |
| Online Access: | http://library.cuhk.edu.hk/record=b5886601 http://repository.lib.cuhk.edu.hk/en/item/cuhk-318583 |
| Summary: | by Cheng Kar Wai. === Thesis (M.Phil.)--Chinese University of Hong Kong, 1990. === Bibliography: leaves [195-199] === ABSTRACT === Chapter CHAPTER 1 --- INTRODUCTION --- p.1 === Chapter 1.1 --- Problem --- p.2 === Chapter 1 .2 --- Approach --- p.3 === Chapter 1.2.1 --- Programming Approach --- p.4 === Chapter 1.2.2 --- Specification Approach --- p.5 === Chapter 1.3 --- Thesis Organization --- p.11 === Chapter CHAPTER 2 --- MODEL SPECIFICATION APPROACH --- p.12 === Chapter 2 .1 --- Overview --- p.14 === Chapter 2.2 --- Compilation Phases --- p.17 === Chapter 2.3 --- Array Graph --- p.22 === Chapter 2.4 --- Scheduling --- p.25 === Chapter CHAPTER 3 --- SURVEY --- p.31 === Chapter 3.1 --- Goodenough's Proposal --- p.31 === Chapter 3.2 --- Exception Handling Models --- p.34 === Chapter 3.3 --- Programming Languages --- p.40 === Chapter 3.4 --- Data-Oriented Exception Handling --- p.49 === Chapter 3.5 --- Specification Languages --- p.50 === Chapter CHAPTER 4 --- EXCEPTION HANDLING SPECIFICATION --- p.55 === Chapter 4.1 --- Data-Oriented Exceptions Specification --- p.55 === Chapter 4.2 --- Assertions for Exception Handling --- p.59 === Chapter 4.2.1 --- User-defined Exception Condition Assertion --- p.61 === Chapter 4.2.2 --- Fatal Condition Assertion --- p.62 === Chapter 4.2.3 --- Replacement Assertion --- p.64 === Chapter 4.2.3.1 --- Scenario 1: Immediate Replacement --- p.68 === Chapter 4.2.3.2 --- Scenario 2: Direct Dependency --- p.71 === Chapter 4.2.3.3 --- Scenario 3: Indirect Dependency --- p.72 === Chapter 4.2.3.4 --- Scenario 4: Lower Dimensionality --- p.74 === Chapter 4.2.4 --- Message Vector Assertion --- p.76 === Chapter CHAPTER 5 --- ARRAY GRAPH FOR EXCEPTION HANDLING --- p.78 === Chapter 5.1 --- Subgraph Embedding --- p.78 === Chapter 5.1.1 --- User-Defined Exception Conditions --- p.80 === Chapter 5.1.2 --- Fatal Conditions --- p.82 === Chapter 5.1.3 --- Pre-Defined Exception Conditions --- p.83 === Chapter 5.1.4 --- Replacement Assertions --- p.85 === Chapter 5.1.5 --- Message Vector Assertions --- p.89 === Chapter 5.2 --- Data Dependency Interpretation --- p.91 === Chapter 5.2.1 --- Immediate Replacement --- p.92 === Chapter 5.2.2 --- Direct Dependency --- p.92 === Chapter 5.2.3 --- Indirect Dependency --- p.93 === Chapter 5.2.4 --- Shared Data Variable --- p.99 === Chapter CHAPTER 6 --- SCHEDULING FOR EXCEPTION HANDLING --- p.104 === Chapter 6.1 --- Backward Path Tracing --- p.106 === Chapter 6.1.1 --- Forward Versus Backward Tracing --- p.106 === Chapter 6.1.2 --- Assertion-Marking Strategy --- p.113 === Chapter 6.2 --- Grain Scheduling --- p.116 === Chapter 6.2.1 --- New Constraints --- p.120 === Chapter 6.3 --- Delayed Exception Raise Event --- p.125 === Chapter 6.4 --- Enhancement of Scheduling Algorithm --- p.126 === Chapter 6.5 --- Control Flow Issues --- p.128 === Chapter 6.5.1 --- Immediate Replacement --- p.130 === Chapter 6.5.2 --- Direct Dependency --- p.131 === Chapter 6.5.3 --- Indirect Dependency --- p.132 === Chapter 6.5.4 --- Lower Dimensionality --- p.133 === Chapter CHAPTER 7 --- MORE COMPLICATED SCHEDULING --- p.135 === Chapter 7.1 --- Multiple Exception Handling Assertions --- p.137 === Chapter 7.1.1 --- Overlapped Scopes of Exception Grain --- p.138 === Chapter 7.1.2 --- Priorities in Scheduling --- p.156 === Chapter 7.2 --- Single Replacement Assertion --- p.160 === Chapter 7.2.1 --- Multiple Exception Conditions --- p.160 === Chapter 7.2.2 --- Conditional Replacement --- p.163 === Chapter 7 .3 --- Loop Optimization --- p.164 === Chapter 7.4 --- Modifications to the Scheduling Algorithm --- p.177 === Chapter 7.5 --- Implementation --- p.180 === Chapter 7.5.1 --- Syntax Checking --- p.180 === Chapter 7.5.2 --- Array Graph Construction --- p.182 === Chapter 7.5.3 --- Array Graph Analysis --- p.185 === Chapter 7.5.4 --- Generation of Schedule with Exception Handling Subgraph --- p.186 === Chapter CHAPTER 8 --- CONCLUSIONS --- p.187 === Chapter 8 .1 --- Future Work --- p.188 === APPENDIX === Chapter 1. --- Backward Tracing/Assertion Marking Strategy === REFERENCE |
|---|