—The benefits of collaborative manufacturing are widely recognized both by the industry and the academic world. However, the engagement of collaborative manufacturing for Small a...
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
Adam J. Chlipala, J. Gregory Malecha, Greg Morrise...
Timetabling problems have been frequently studied due to their wide range of applications. However, they are often solved manually because of the lack of appropriate computer tools...
We use the ρ-calculus as an intermediate language to compile functional languages with pattern-matching features, and give an interaction net encoding of the ρ-terms arising fro...
The design and implementation of a novel visual interactive execution environment for Java is described. This system displays both the run-time object structure as well as the int...