Stem fixedpoint$ (all stems)

3 papers:

CAV-2008-PlatzerC #difference #hybrid #invariant

Computing Differential Invariants of Hybrid Systems as Fixedpoints (AP, EMC), pp. 176–189.

CADE-1994-Paulson #approach #implementation #induction

A Fixedpoint Approach to Implementing (Co)Inductive Definitions (LCP), pp. 148–161.

STOC-1975-MannaS #recursion #source code

The Optimal Fixedpoint of Recursive Programs (ZM, AS), pp. 194–206.