| A novel formal approach to program slicing |
| |
| 作者姓名： | ZHANG YingZhou College of Computer Nanjing University of Posts and Telecommunications Nanjing China Institute of Computer Technology Nanjing University of Posts and Telecommunications Nanjing China |
| |
| 作者单位： | ZHANG YingZhou1，2 1 College of Computer，Nanjing University of Posts and Telecommunications，Nanjing 210003，China 2 Institute of Computer Technology，Nanjing University of Posts and Telecommunications，Nanjing 210003，China |
| |
| 基金项目： | Supported by the Natural Science Research Plan for High School of Jiangsu Province (Grant No. 05KJD520151) |
| |
| 摘 要： |
|
| 收稿时间： | 17 January 2007 |
| 修稿时间： | 13 April 2007 |
A novel formal approach to program slicing |
| |
| ZHANG YingZhou, College of Computer,Nanjing University of Posts and Telecommunications,Nanjing ,China Institute of Computer Technology,Nanjing University of Posts and Telecommunications,Nanjing ,China.A novel formal approach to program slicing[J].Science in China(Information Sciences),2007,50(5):657-670. |
| |
| Authors: | Zhang YingZhou |
| |
| Affiliation: | (1) College of Computer, Nanjing University of Posts and Telecommunications, Nanjing, 210003, China;(2) Institute of Computer Technology, Nanjing University of Posts and Telecommunications, Nanjing, 210003, China |
| |
| Abstract: | |
| |
| Keywords: | program slicing monads modularity slice monad transformer formal semantics |
| 本文献已被 CNKI 万方数据 SpringerLink 等数据库收录！ |
