Context-Updates Analysis and Refinement in Chisel

Irina Mariuca Asavoae, Mihail Asavoae, Adrian Riesco

This paper presents the context-updates synthesis component of Chisel--a tool that synthesizes a program slicer directly from a given algebraic specification of a programming langu…