位置：成果数据库 > 会议 > 会议详情页
Slicing Concurrent Programs Based on ProgramReachability Graphs
  • 所属机构名称：南京邮电大学
  • 会议名称：2010 10th International Conference on Quality Soft
  • 成果类型：会议
  • 会场：Zhangjiajie
  • 相关项目：基于模块单子语义的程序切片及其关键技术研究
作者： Yingzhou Zhang |Xiaoyu Zhou|Xiaofang Qi|Xiaojing Xu|
同会议论文项目
基于模块单子语义的程序切片及其关键技术研究
期刊论文 44 会议论文 15
同项目会议论文
Web Services Clustering Using SOM based on Kernel Cosine Similarity Measure
基于单子技术的服务计算形式化方法研究
Feature Distribution Based Quick Image Retrieval
Program Slicing Based Web Service Publishing and Discovery
基于Haskell和CHR的智能Agent的实现
Modular Monadic Slicing of Concurrent Programs
Modular Monadic Program Slicing
A Formal Method for Program Slicing
A Slice Monad Transformer and Its Applications in Program Slicing
Program Slicing Based Web-Service Generation and Composition
WordNet-powered Web Services Discovery Using Kernel-based Similarity Matching Mechanism
Modular Monadic Slicing in the Presence of Pointers
Contribution-Based Call Stack Abstraction and Its Application in Pointer Analysis of AspectJ Program
The Feasibility of Launching Reduction of Quality(RoQ) Attacks in 802.11 Wireless Networks