A Study of High-Level Program Analyses for Object-Oriented Software
博士 === 國立交通大學 === 資訊工程學系 === 86 === High-level program analysis techniques have been applied in various fields of software engineering,such as debugging, testing,and proof of correctness properties.Recently,the object-oriented (OO) paradigm introduc...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
1998
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/77305928029857429402 |