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

Abstract

在本篇論文中，我們為邏輯程式發展了一套外延語意(denotational semantics)。 這套語意的風格並非宣告式(declarative) 也不是程序式(procedural)，而是在此 兩者之間。除此之外，我們所提出的語意很適合實作平行邏輯程式。 根據這套語意，我們又發展一個抽象解釋 (Abstract Inter-pretation) 的方法來 做輸出入模式推理 (Mode Inference) 這個抽象解釋的方法可以直接處理同名 ( aliasing) 的問題而不需其它額外的工作。這套方法可以從原始程式碼取出執行時 期(runtime) 的資訊，而這資訊可用來改善邏輯程式的執行效率。