Analysis of pointers and structures in Pascal and Fortran 90 PascalとFortran90におけるポインタと構造の解析
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
Analysis of pointers and structures in Pascal and Fortran 90
- タイトル別名
-
PascalとFortran90におけるポインタと構造の解析
- 著者名
-
韓, 東洙
- 著者別名
-
ハン, ドンスウ
- 学位授与大学
-
京都大学
- 取得学位
-
博士 (工学)
- 学位授与番号
-
甲第6405号
- 学位授与年月日
-
1996-03-23
注記・抄録
博士論文
目次
- 論文目録 / (0001.jp2)
- Contents / p3 (0005.jp2)
- Abstract / p1 (0004.jp2)
- Contents / p3 (0005.jp2)
- List of Figures / p7 (0007.jp2)
- List of Tables / p9 (0008.jp2)
- Chapter I.Introduction / p1 (0009.jp2)
- Chapter II.Alias Analysis of Pointer References / p5 (0011.jp2)
- 1.Introduction / p5 (0011.jp2)
- 2.Preliminaries / p7 (0012.jp2)
- 3.Intraprocedural Alias Analysis / p18 (0018.jp2)
- 4.Interprocedural Alias Analysis / p23 (0020.jp2)
- 5.Data Structure and Pointer Alias Analysis / p27 (0022.jp2)
- 6.Alias Analysis in Fortran 90 / p29 (0023.jp2)
- 7.Compiling Techniques with Aliasing / p30 (0024.jp2)
- 8.Complexity of the Analysis / p36 (0027.jp2)
- 9.Implementation and Evaluation / p37 (0027.jp2)
- 10.Related Works / p39 (0028.jp2)
- 11.Conclusion / p41 (0029.jp2)
- Chapter III.Automatic Data Structure Detection / p43 (0030.jp2)
- 1.Introduction / p43 (0030.jp2)
- 2.Preliminaries / p45 (0031.jp2)
- 3.Linear List Detection / p48 (0033.jp2)
- 4.Tree/Dag Structure Detection / p64 (0041.jp2)
- 5.Utilization of Data Structure Information / p72 (0045.jp2)
- 6.Complexity of the Analysis / p72 (0045.jp2)
- 7.Implementation and Evaluation / p73 (0045.jp2)
- 8.Related Works / p73 (0045.jp2)
- 9.Conclusion / p74 (0046.jp2)
- Chapter IV.Dependence Analysis and Parallelization / p77 (0047.jp2)
- 1.Introduction / p77 (0047.jp2)
- 2.Record Handling Programs / p79 (0048.jp2)
- 3.Dependence Analysis between Two Pointer References / p80 (0049.jp2)
- 4.Vectorizing List Operations / p86 (0052.jp2)
- 5.Parallizing List Operation / p93 (0055.jp2)
- 6.Related Works / p98 (0058.jp2)
- 7.Conclusion / p99 (0058.jp2)
- Chapter V.Conclusion / p101 (0059.jp2)
- Appendix A.A Program Which Handles a Tree Structure / p103 (0060.jp2)
- Appendix B.A Pascal Program / p107 (0062.jp2)
- Bibliography / p111 (0064.jp2)
- Acknowledgements / p115 (0066.jp2)