Tag
A specification language that provides automated feedback when specifications are incorrect, helping developers catch errors early.
This paper presents six dimensions to characterize live feedback in interactive programming systems: granularity, reactivity, velocity, moldability, bidirectionality, and materiality, aiming to map the design space.