Poster Presentations at PPL 2024
The following poster presentations were presented at The 26th JSSST Workshop on Programming and Programming Language 2024 held in Niigata, 5-7 March 2024.
- Satsuki Kasuya, Hidehiko Masuhara, Tomoyuki Aotani, Yudai Tanabe, Luthfan Anshar Lubis. 複数バージョンのクラス定義を使用できる動的型付け言語の設計とその互換性機構の提案
- Akane Taniguchi, Youyou Cong, Hidehiko Masuhara. 限定継続演算子を持つオブジェクト指向言語の形式化
- Hironori Kawazoe, Youyou Cong, Hidehiko Masuhara. 依存型付き言語におけるA-正規形から継続渡し形式への型保存変換
- Taiga Sakai, Hidehiko Masuhara, Youyou Cong. A Proposal on Purpose-Statements Transformation and Presentation Mechanism that Support Problem Solving in Block-Based Programming Learning Environment
- Jessica Belicia Cahyono, Youyou Cong, Hidehiko Masuhara. A Block-Based Environment for Learning Data Modeling
- Jacob Lindahl, Hidehiko Masuhara, Youyou Cong. Preventing Metadata Leakage in Communication over Public Channels
- Ayumu Saito, Reynald Affeldt. Towards equational reasoning for probabilistic programs in Coq