25 citations · 49 across the 4 of their papers we have counts for
1 paper · 1 filter
Dipak L. Chaudhari, Om Damani
In this paper, we describe an IDE called CAPS (Calculational Assistant for Programming from Specifications) for the interactive, calculational derivation of imperative programs. In…