Cited By
View all- Asai KAkiyama HAllais GLiu Y(2025)Algebraic Stepper for Simple ModulesProceedings of the 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation10.1145/3704253.3706137(13-29)Online publication date: 10-Jan-2025
- Gerakios PFourtounis GSmaragdakis YMonahan R(2015)FᴏᴏProceedings of the 17th Workshop on Formal Techniques for Java-like Programs10.1145/2786536.2786540(1-4)Online publication date: 7-Jul-2015
- Chugh R(2015)IsoLATEProceedings of the 24th European Symposium on Programming on Programming Languages and Systems - Volume 903210.1007/978-3-662-46669-8_11(257-282)Online publication date: 11-Apr-2015
- Show More Cited By