Invariant Relations: A Bridge from Programs to Equations

Wided Ghardallou, Hessamaldin Mohammadi, Elijah Brick +1

Great advances in program analysis would be enabled if it were possible to derive the function of a program from inputs to outputs (or from initial states to final states, dependin…