以語意為基礎的邏輯程式分析

完整後設資料紀錄

DC 欄位	值	語言
dc.contributor.author	蘇元良	en_US
dc.contributor.author	SU, YUAN-LIANG	en_US
dc.contributor.author	曾建超	en_US
dc.contributor.author	ZENG, JIAN-CHAO	en_US
dc.date.accessioned	2014-12-12T02:09:13Z	-
dc.date.available	2014-12-12T02:09:13Z	-
dc.date.issued	1991	en_US
dc.identifier.uri	http://140.113.39.130/cdrfb3/record/nctu/#NT802393026	en_US
dc.identifier.uri	http://hdl.handle.net/11536/55859	-
dc.description.abstract	在本篇論文中，我們為邏輯程式發展了一套外延語意(denotational semantics)。這套語意的風格並非宣告式(declarative) 也不是程序式(procedural)，而是在此兩者之間。除此之外，我們所提出的語意很適合實作平行邏輯程式。根據這套語意，我們又發展一個抽象解釋 (Abstract Inter-pretation) 的方法來做輸出入模式推理 (Mode Inference) 這個抽象解釋的方法可以直接處理同名 ( aliasing) 的問題而不需其它額外的工作。這套方法可以從原始程式碼取出執行時期(runtime) 的資訊，而這資訊可用來改善邏輯程式的執行效率。	zh_TW
dc.language.iso	zh_TW	en_US
dc.subject	語意為基礎	zh_TW
dc.subject	邏輯程式分析	zh_TW
dc.title	以語意為基礎的邏輯程式分析	zh_TW
dc.title	A semantics-based analysis for logic programs	en_US
dc.type	Thesis	en_US
dc.contributor.department	資訊科學與工程研究所	zh_TW
顯示於類別：	畢業論文