28 citations · 36 across the 4 of their papers we have counts for
4 papers
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…
Formalization of Quantum Protocols using Coq
Jaap Boender, Florian Kammüller, Rajagopal Nagarajan
Quantum Information Processing, which is an exciting area of research at the intersection of physics and computer science, has great potential for influencing the future developmen…
On the correctness of a branch displacement algorithm
Jaap Boender, Claudio Sacerdoti Coen
The branch displacement problem is a well-known problem in assembler design. It revolves around the feature, present in several processor families, of having different instructions…
Strong Dependencies between Software Components
Pietro Abate, Jaap Boender, Roberto Di Cosmo +1
Component-based systems often describe context requirements in terms of explicit inter-component dependencies. Studying large instances of such systems?such as free and open source…