6 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.SE2024
Building Call Graph of WebAssembly Programs via Abstract Semantics
Mattia Paccamiccio, Franco Raimondi, Michele Loreti
WebAssembly is a binary format for code that is gaining popularity thanks to its focus on portability and performance. Currently, the most common use case for WebAssembly is execut…
cs.CY2016★ 6 cited
Teaching Functional Patterns through Robotic Applications
J. Boender, E. Currie, M. Loomes +2
We present our approach to teaching functional programming to First Year Computer Science students at Middlesex University through projects in robotics. A holistic approach is take…