文件名称:Wisconsin
- 所属分类：
- 其他小程序
- 资源属性：
- [Windows] [Visual C] [源码]
- 上传时间：
- 2012-11-26
- 文件大小：
- 537kb
- 下载次数：
- 0次
- 提 供 者：
- lin***
- 相关连接：
- 无
- 下载说明：
- 别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容均来自于网络，请自行研究使用
一个原型切片工具，可以用来使用程序切片静态地评估C源代码-A prototype slicing tool that can be used to assess the use of program slicing is a static C source code
(系统自动生成,下载前可以参看下载内容)
下载文件列表
wpds++-1.4\wpds++-1.4\.cvsignore
..........\..........\CA.h
..........\..........\COPYRIGHT
..........\..........\Doxyfile
..........\..........\Doxyfile.grammatech
..........\..........\HashMap.h
..........\..........\Makefile
..........\..........\Makefile.grammatech
..........\..........\Rule.h
..........\..........\RuleExtender.h
..........\..........\SaturationProcess.h
..........\..........\Schema.h
..........\..........\Traits.h
..........\..........\WPDS.h
..........\..........\Witness.h
..........\..........\catransition.h
..........\..........\common.cpp
..........\..........\common.h
..........\..........\dictionary.cpp
..........\..........\dictionary.h
..........\..........\hm_hash.h
..........\..........\inst_counter.h
..........\..........\key_source.cpp
..........\..........\key_source.h
..........\..........\keys.cpp
..........\..........\keys.h
..........\..........\myallocator.h
..........\..........\ref_ptr.h
..........\..........\semiring.h
..........\..........\zero_alloc.h
..........\..........\util\CA.intersect.h
..........\..........\....\KeyPair.h
..........\..........\....\RuleActionFunctor.h
..........\..........\....\SchemaActionFunctor.h
..........\..........\....\TransActionFunctor.h
..........\..........\....\Triple.h
..........\..........\....\UTIL.h
..........\..........\ewpds\ERule.h
..........\..........\.....\ERuleExtender.h
..........\..........\.....\ESaturationProcess.h
..........\..........\.....\EWPDS.h
..........\..........\.....\confluence_functions.h
..........\..........\Win32\.cvsignore
..........\..........\.....\WPDS.dsp
..........\..........\.....\WPDS.dsw
..........\..........\.....\top-defines.txt
..........\..........\Examples\Makefile
..........\..........\........\tfa\.cvsignore
..........\..........\........\...\Makefile
..........\..........\........\...\stringwrapper.cpp
..........\..........\........\...\stringwrapper.h
..........\..........\........\...\tfa.cpp
..........\..........\........\...\baselines\tfa.txt
..........\..........\........\substrings\.cvsignore
..........\..........\........\..........\Makefile
..........\..........\........\..........\int_post.cpp
..........\..........\........\..........\stringwrapper.cpp
..........\..........\........\..........\stringwrapper.h
..........\..........\........\..........\test_extender.cpp
..........\..........\........\..........\test_post.cpp
..........\..........\........\..........\test_post_witness.cpp
..........\..........\........\..........\test_pre.cpp
..........\..........\........\..........\tpostpre.cpp
..........\..........\........\..........\baselines\.cvsignore
..........\..........\........\..........\.........\int_post.txt
..........\..........\........\..........\.........\test_extender.txt
..........\..........\........\..........\.........\test_post.txt
..........\..........\........\..........\.........\test_pre.txt
..........\..........\........\..........\.........\tpostpre.txt
..........\..........\........\interrupt\.cvsignore
..........\..........\........\.........\Makefile
..........\..........\........\.........\chkint.cc
..........\..........\........\.........\elem.cc
..........\..........\........\.........\elem.h
..........\..........\........\.........\baselines\chkint.txt
..........\..........\........\csurf\.cvsignore
..........\..........\........\.....\Makefile
..........\..........\........\.....\pa.cpp
..........\..........\........\.....\baselines\.cvsignore
..........\..........\........\.....\.........\pa.txt
..........\..........\........\Reach\.cvsignore
..........\..........\........\.....\ExReach.cpp
..........\..........\........\.....\Makefile
..........\..........\........\.....\Reach.cpp
..........\..........\........\.....\Reach.h
..........\..........\........\.....\baselines\ExReach.txt
..........\..........\........\GenKill\.cvsignore
..........\..........\........\.......\Makefile
..........\..........\........\.......\dictionary_t.cpp
..........\..........\........\.......\dictionary_t.h
..........\..........\........\.......\genkill.cpp
..........\..
..........\..........\CA.h
..........\..........\COPYRIGHT
..........\..........\Doxyfile
..........\..........\Doxyfile.grammatech
..........\..........\HashMap.h
..........\..........\Makefile
..........\..........\Makefile.grammatech
..........\..........\Rule.h
..........\..........\RuleExtender.h
..........\..........\SaturationProcess.h
..........\..........\Schema.h
..........\..........\Traits.h
..........\..........\WPDS.h
..........\..........\Witness.h
..........\..........\catransition.h
..........\..........\common.cpp
..........\..........\common.h
..........\..........\dictionary.cpp
..........\..........\dictionary.h
..........\..........\hm_hash.h
..........\..........\inst_counter.h
..........\..........\key_source.cpp
..........\..........\key_source.h
..........\..........\keys.cpp
..........\..........\keys.h
..........\..........\myallocator.h
..........\..........\ref_ptr.h
..........\..........\semiring.h
..........\..........\zero_alloc.h
..........\..........\util\CA.intersect.h
..........\..........\....\KeyPair.h
..........\..........\....\RuleActionFunctor.h
..........\..........\....\SchemaActionFunctor.h
..........\..........\....\TransActionFunctor.h
..........\..........\....\Triple.h
..........\..........\....\UTIL.h
..........\..........\ewpds\ERule.h
..........\..........\.....\ERuleExtender.h
..........\..........\.....\ESaturationProcess.h
..........\..........\.....\EWPDS.h
..........\..........\.....\confluence_functions.h
..........\..........\Win32\.cvsignore
..........\..........\.....\WPDS.dsp
..........\..........\.....\WPDS.dsw
..........\..........\.....\top-defines.txt
..........\..........\Examples\Makefile
..........\..........\........\tfa\.cvsignore
..........\..........\........\...\Makefile
..........\..........\........\...\stringwrapper.cpp
..........\..........\........\...\stringwrapper.h
..........\..........\........\...\tfa.cpp
..........\..........\........\...\baselines\tfa.txt
..........\..........\........\substrings\.cvsignore
..........\..........\........\..........\Makefile
..........\..........\........\..........\int_post.cpp
..........\..........\........\..........\stringwrapper.cpp
..........\..........\........\..........\stringwrapper.h
..........\..........\........\..........\test_extender.cpp
..........\..........\........\..........\test_post.cpp
..........\..........\........\..........\test_post_witness.cpp
..........\..........\........\..........\test_pre.cpp
..........\..........\........\..........\tpostpre.cpp
..........\..........\........\..........\baselines\.cvsignore
..........\..........\........\..........\.........\int_post.txt
..........\..........\........\..........\.........\test_extender.txt
..........\..........\........\..........\.........\test_post.txt
..........\..........\........\..........\.........\test_pre.txt
..........\..........\........\..........\.........\tpostpre.txt
..........\..........\........\interrupt\.cvsignore
..........\..........\........\.........\Makefile
..........\..........\........\.........\chkint.cc
..........\..........\........\.........\elem.cc
..........\..........\........\.........\elem.h
..........\..........\........\.........\baselines\chkint.txt
..........\..........\........\csurf\.cvsignore
..........\..........\........\.....\Makefile
..........\..........\........\.....\pa.cpp
..........\..........\........\.....\baselines\.cvsignore
..........\..........\........\.....\.........\pa.txt
..........\..........\........\Reach\.cvsignore
..........\..........\........\.....\ExReach.cpp
..........\..........\........\.....\Makefile
..........\..........\........\.....\Reach.cpp
..........\..........\........\.....\Reach.h
..........\..........\........\.....\baselines\ExReach.txt
..........\..........\........\GenKill\.cvsignore
..........\..........\........\.......\Makefile
..........\..........\........\.......\dictionary_t.cpp
..........\..........\........\.......\dictionary_t.h
..........\..........\........\.......\genkill.cpp
..........\..