Poster Presentations at PPL 2024
The following posters 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. Design of a dynamically typed language which can use multiple versions of class definitions and proposal of its compatibility mechanism
- Akane Taniguchi, Youyou Cong, Hidehiko Masuhara. Formalizing an object-oriented programming language with delimited control
- Hironori Kawazoe, Youyou Cong, Hidehiko Masuhara. Type-Preservation CPS Transformation from ANF in Dependent Typed Language
- 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