An integrated C programming environment for reversible execution and logic-based software visualization developed at the University of Rome "La Sapienza".
A workshop on approximation algorithms for combinatorial optimization problems focussing on algorithmic and complexity aspects arising in the development of efficient approximate solutions to computationally difficult problems. It aims, in particular,...
An integrated environment for the development, reversible execution, logic-based animation and visual debugging of C programs. Snapshots, animations, online manual, download and related links too.