6J-07
計数セマフォを含むプログラムから論理制約付き項書換え系への変換
○小嶋美咲，西田直樹，酒井正彦（名大）
計算モデルである論理制約付き項書換え系（LCTRS）をプログラムの検証に用いる先行研究では，バイナリセマフォを含む命令型プログラムを対象とし，LCTRSへの変換手法を提案した．本論文では，先行研究で提案した変換手法を拡張し，計数セマフォを含むプログラムの変換を試みる．
