Morris J. M., Bunkenburg A. (1998); Partiality and Nondeterminacy in Program Proofs. Form. Asp. Comp. 10, 76-96. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Engineering and Theoretical Underpinnings of Retrenchment - Banach, Poppleton (2001) (1 citation) (Correct)
....Woodcock and Davies (1996) Jones (1990) Nielsen et al. 1989) also have their perspectives on these issues. Of course the preceding citations are by no means exhaustive. Among other works which are relevant we mention [Doornbos (1994) Strulo (1996) Derrick et al. 1996) Dunne et al. 1998) Morris and Bunkenburg (1998), Morris and Bunkenburg (2000) Miarka et al. 2000) Although not universally true, in most of the formalisms mentioned, whenever both the trm and fis criteria are present, a refinement step has the potential to weaken the trm criterion and to strengthen the fis criterion. In fact one can often ....
Morris J. M., Bunkenburg A. (1998); Partiality and Nondeterminacy in Program Proofs. Form. Asp. Comp. 10, 76-96.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC