generating algorithms plus loop invariants by formal derivation

	generating algorithms plus loop invariants by formal derivation
	Shi Haihe; Du Dawei; Xue Jinyun
	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
页码	496-501
会议日期	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.
摘要	We advocate a mechanical derivation approach for developing provably correct algorithmic programs. The paper presents our new formal methods and techniques for generating algorithms plus loop invariants. Through our methods and techniques, the
关键词	Mergesort Algorithm Formal Development Process Formal Specification Insertion Sort Loop Invariant Nonrecursive Algorithmic Solution Provably Correct Algorithmic Program Program Control Structures Program Verification Sorting
主办者	IEEE Comp Soc, Int Assoc Comp & Informat Sci
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/10694
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Shi Haihe,Du Dawei,Xue Jinyun. generating algorithms plus loop invariants by formal derivation[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:496-501.

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