BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
differenti (1)
approach (1)
implement (1)
induct (1)
invari (1)

Stem fixedpoint$ (all stems)

3 papers:

CAVCAV-2008-PlatzerC #difference #hybrid #invariant
Computing Differential Invariants of Hybrid Systems as Fixedpoints (AP, EMC), pp. 176–189.
CADECADE-1994-Paulson #approach #implementation #induction
A Fixedpoint Approach to Implementing (Co)Inductive Definitions (LCP), pp. 148–161.
STOCSTOC-1975-MannaS #recursion #source code
The Optimal Fixedpoint of Recursive Programs (ZM, AS), pp. 194–206.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.