跳到主要內容

臺灣博碩士論文加值系統

(44.210.83.132) 您好!臺灣時間:2024/05/25 04:43
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果 :::

詳目顯示

我願授權國圖
: 
twitterline
研究生:陳日昌
研究生(外文):Chen, Jih-Chang
論文名稱:邏輯程式最佳化之研究
論文名稱(外文):Precise and Efficient Dataflow Analysis of Logic Programs
指導教授:林一鵬林一鵬引用關係
指導教授(外文):Lin, I-Peng
學位類別:博士
校院名稱:國立臺灣大學
系所名稱:資訊工程研究所
學門:工程學門
學類:電資工程學類
論文種類:學術論文
論文出版年:1993
畢業學年度:81
語文別:中文
中文關鍵詞:邏輯程式資料流分析最佳化
外文關鍵詞:Logic ProgramsDataflow AnalysisOptimization
相關次數:
  • 被引用被引用:0
  • 點閱點閱:213
  • 評分評分:
  • 下載下載:0
  • 收藏至我的研究室書目清單書目收藏:0
本論文研究的目的在於提供邏輯程式資料流分析(dataflow analysis)的
一套準確而且有效率的實用架構。基於此一架構所發展出來的程式分析器
可以準確而且有效率地估計程式實際執行時的資訊,而其結果可以用來產
生原程式高效率執行所需要的最佳化目的碼。此一研究結果包含了以下的
三項方法:一、邏輯程式資料流分析的編譯法在抽象解釋法(abstract
interpretation)的概念下,資料流分析可以視為程式在抽象域(
abstract domain)上的執行。正如程式在實際域上的執行一般,在抽象域
上的執行也可以先加以編譯。藉著對Warren 抽象機(WAM)在抽象域上的重
新解釋,邏輯程式分析的速度可以得到百倍以上的加速效果。也就是說,
此一方法在實際上是非常有效的。二、廣義的資料型式合成法所謂的資料
型式合成法(type synthesis),是一種高效率資料型式推導的架構。而且
對一般遞迴資料型式的分析而言,它所推導出的資訊也是非常準確的。經
由「方向性」(directionality)的概念,原來的資料型式合成法的適用範
圍可以由Ground Prolog 推廣到一般的邏輯程式。同時原來架構所需的模
態宣告(mode declarations)也可以用自動推導取得合乎方向性的模態資
訊。三、遞迴模態的概念與分析遞迴模態(recursive modes)是遞迴資料
型式(recursive data types)的一種良好估計(sound approximation)。
一般而言,經由非變數項的細化分區,此一概念可以增進模態推導的準確
度,同時也可以增進廣義資料型式合成與解參攷資訊(dereferencing
information)分析的準確度。實際上來說,遞迴模態的分析加上廣義資料
型式合成法可以取代準確但昂貴的整合式資料型式分析法。
Contents
摘要
英文摘要
參考書目
1.Introduction
1.1 Logic Programmung and Prolog
1.2 Compilation and Optimization of Prolog
1.3 Related Work
1.4 Motivation
1.5 The Thesis
1.6 Contributions
1.7 Organization
2.Prolog Compilation and the Warren Abstract Machune
2.1 Compiling Unifications
2.2 Compiling the Control Scheme
2.3 Toward Global Analysis and Optimization
3.Compiling Dataflow Analysis and the Abstract WAM
3.1 Introduction
3.2 Preliminaries
3.3 An Abstract Domain for Global Dataflow Analysis
3.4 Compiling Abstract Unifications
3.5 Compiling the Control Scheme
3.6 Implementation and Performance Evaluation
3.7 Conclusions
4.Type Synthesis for Logic Programs
4.1 Introduction
4.2 The Problem with the Term-Depth Restriction Technique
4.3 Preliminaries
4.4 A Generalized Framework of Type Synthesis
4.5 Analysis of the Generalized Framework
4.6 Efficient Implementation by the Abstract WAM Approach
4.7 Preliminary Evaluation
4.8 Discussions
4.9 Conclusions
5.Recursive Modes for Precise Dataflow Analysis
5.1 Introduction
5.2 Descriptions for Recursive Modes
5.3 Abstract Unification for Recursive Modes
5.4 Improving the Analysis of Reference-Chain Patterns
5.5 Improving the Precision of Type Synthesis
5.6 Preliminary Evaluation
5.7 Conclusions
6.Conclusions
6.1 A Summary of Contributions
6.2 Limitations and Future Work
A Technical Summary for the Prototype Analyzer
QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top