ArchiveOctober 2019

Cocoa / KidSim

Cocoa (initially called KidSim) is a rules-based LPV, in which the programmer specifies rules for demonstrating a postcondition starting from a precondition....

Categories