Mercurial > hg > Members > atton > seminar_slides
changeset 158:6e4a6421f168
Fix slide
| author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Tue, 13 Dec 2016 19:48:44 +0900 |
| parents | 4c1b25782208 |
| children | 4b46fdb890e3 |
| files | slides/20161213/slide.md |
| diffstat | 1 files changed, 2 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- a/slides/20161213/slide.md Tue Dec 13 18:25:50 2016 +0900 +++ b/slides/20161213/slide.md Tue Dec 13 19:48:44 2016 +0900 @@ -4,7 +4,8 @@ lang: Japanese # 研究目的 -* コードセグメントとデータセグメントという単位を用いてプログラムを記述する手法を提案する +* 動作するプログラムの信頼性を保証したい +* 検証を行ないやすい単位としてプログラムをコードセグメントとデータセグメントという単位で記述する * プログラムはコードセグメントという処理の集合として表され、相互に接続される * 型検査器を導入することでコードセグメントが接続可能かどうかを判断する * また、コードセグメントの型から推論してデータセグメントの生成を行なう