Paradigm Lost: Discovering the Intersection of Assertion-Guided Program Construction and Constraint-Driven Reevaluation
S. S. Yau · The Computer Journal · 1993
In this paper, it is point out that the Assertion-Guided Program Construction and the Constraint-Driven Reevaluation paradigms overlap, and an enhancement to the programming language Eiffel that fits into their intersection is presented.