LINK is an experimental lightweight framework which aims to increase the likelyhood of producing correct applications. This is achieved by forming computation chains, inspired by Floyd-Hoare and Propositional Logic, which can be viewed as formalized state machines. LINK supports "Throwable" execution flow, Recursion, Computation refinement,  Computation retries for timing and intermittent issues.