a mechanical approach for deriving algorithmic programs

	a mechanical approach for deriving algorithmic programs
	Shi Haihe; Xue Jinyun; Du Dawei
	2008
会议名称	7th IEEE/ACIS International Conference on Computer and Information Science in Conjunction with 2nd IEEE/ACIS International Workshop on e-Activity
会议录名称	Proceedings - 7th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2008, In conjunction with 2nd IEEE/ACIS Int. Workshop on e-Activity, IEEE/ACIS IWEA 2008
页码	483-487
会议日期	MAY 14-16,
会议地点	Portland, OR
出版地	10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
出版者	7TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE IN CONJUNCTION WITH 2ND IEEE/ACIS INTERNATIONAL WORKSHOP ON E-ACTIVITY, PROCEEDINGS
ISBN	978-0-7695-3131-1
部门归属	Shi, Haihe; Xue, Jinyun Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China.
摘要	Formal algorithm derivation is valuable in ensuring resultant algorithm correctness, revealing ideas behind algorithm, and studying automatic algorithm design. An approach called mechanical partition-and-recur (MPAR for short) for deriving alg
关键词	Mpar Algorithm Correctness Automatic Algorithm Design Executable Language Program Formal Algorithm Program Derivation Mechanical Partition-and-recur Approach Problem Specification Software Reliability Formal Specification Program Verification Software Rel
主办者	IEEE Comp Soc, Int Assoc Comp & Informat Sci
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/10692
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Shi Haihe,Xue Jinyun,Du Dawei. a mechanical approach for deriving algorithmic programs[C]. 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA:7TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE IN CONJUNCTION WITH 2ND IEEE/ACIS INTERNATIONAL WORKSHOP ON E-ACTIVITY, PROCEEDINGS,2008:483-487.

条目包含的文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
04529865.pdf（183KB）			开放获取	--	请求全文