Cited By
View all- Rao XRadziuk SWatt CGardner P(2025)Progressful Interpreters for Efficient WebAssembly MechanisationProceedings of the ACM on Programming Languages10.1145/37048589:POPL(627-655)Online publication date: 9-Jan-2025
- Bevilacqua JChiodini LMoreno Santos IHauswirth M(2024)Assessing the Understanding of Expressions: A Qualitative Study of Notional-Machine-Based Exam QuestionsProceedings of the 24th Koli Calling International Conference on Computing Education Research10.1145/3699538.3699554(1-12)Online publication date: 12-Nov-2024
- Zhao JZhao YYao PZeng FZhan BRen K(2024)KBX: Verified Model Synchronization via Formal Bidirectional TransformationACM Transactions on Software Engineering and Methodology10.1145/369600034:2(1-40)Online publication date: 13-Sep-2024
- Show More Cited By