程序抽取相关论文
Type theory was originally proposed for the development of constructivemathematics,but it also provided a framework for c......
程序定义域的确定有利于指导测试用例的选取 .虽然程序规范规定了输入变量的定义域 ,但程序实现本身也定义了其定义域 ,如果二者不......