Mercurial > hg > Papers > 2016 > atton-ipsjpro
changeset 1:10e66dfc382c
Update abstract
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Fri, 13 May 2016 11:26:23 +0900 |
parents | bcc24c3e3eb4 |
children | 7a531c5d88b2 |
files | note.txt |
diffstat | 1 files changed, 6 insertions(+), 6 deletions(-) [+] |
line wrap: on
line diff
--- a/note.txt Tue May 10 20:04:09 2016 +0900 +++ b/note.txt Fri May 13 11:26:23 2016 +0900 @@ -1,6 +1,6 @@ # 論文タイトル -和文: Verification method of programs using Continuation based C -英文: Continuation based C を用いたプログラムの検証手法 +和文: Continuation based C を用いたプログラムの検証手法 +英文: Verification method of programs using Continuation based C # 和文アブスト(600文字程度) Continuation based C 言語によって記述されたプログラムのデータ構造の性質を検証する手法を提案する。 @@ -14,9 +14,9 @@ # 英文アブスト(200 words) (ちょっと足りてない) We propose a verification method for programs using Continuation based C language. Our laboratory develops Continuation based C language which supports programming unit called Code Segment, Data Segment. -Code segments that the calculation unit has input/output data segment that data unit. -Programs are represented by connections between code segment and code segment. -The output data segment of some code segment is converts to the input data segment of connected one. -Programming paradigm using Code segments splits main computations and complicated computations such as memory control, error handling and more to meta computations. +Code segments are calculation units which have input/output data segments that data unit. +Programs are represented by connections among with code segments and code segments. +The output data segment of some code segment is converted to the input data segment of connected one. +We introduce meta computations which split main computations and complicated computations such as memory control, error handling and more. Meta computations represented to meta code segment and meta data segment, which saves main computations. In this paper, We define a meta computation which connects code segments with verifications and verify properties of data structures such as Red-Black Tree and Synchironized Queue.