セッション「PPL4」の内容を紹介します．
発表者による宣伝，ご議論などには以下のハッシュタグをご利用下さい．
#jssst2013 #jssst2013ppl
PPL4: 9月13日 9:00〜11:30，工学部2号館4階241号室
1. 永続性と減少ダイアグラム法に基づく合流性証明法（内田和真）
内田和真 (東北大学電気通信研究所)
青戸等人 (東北大学電気通信研究所)
外山芳人 (東北大学電気通信研究所)
2. 定性空間表現PLCAのモデル化と妥当性の証明について（後藤瑞貴）
後藤瑞貴 (関西学院大学理工学部)
高橋和子 (関西学院大学理工学部)
3. グラフ書換え系におけるグラフ構造の効率的な一意バイト列生成手法（宮原和大）
宮原和大 (早稲田大学大学院基幹理工学研究科情報理工学専攻)
上田和紀 (早稲田大学理工学術院情報理工学科)
4. A Parameterized Graph Transformation Calculus for Finite Graphs with Monadic Branches（浅田和之）
浅田和之 (東京大学)
日高宗一郎 (国立情報学研究所)
加藤弘之 (国立情報学研究所)
胡振江 (国立情報学研究所)
中野圭介 (電気通信大学)
特別招待講演：海野 広志
Automating Relatively Complete Verification of Higher-order Functional Programs
海野 広志（筑波大学）
POPL 2013で発表
日本ソフトウェア科学会第30回大会 