N. Boudriga, F. Elloumi, and A. Mili. On the lattice of speci cations: Applications to a speci cation methodology. Formal Aspects of Computing, 4:544571, 1992. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Sequential Scenarios Verification and Integration using Tabular.. - Khedri (1999) (Correct)
.... t 62 dom(R) t; t 0 ) 2 Qg [ f(t; t 0 ) j t 62 dom(Q) t; t 0 ) 2 Rg ; de ned if dom(Q) dom(R) dom(Q R) The name of the demonic meet comes from the fact that it is the meet operator of a re nement semi lattice used to give a so called demonic semantics to programming languages [3, 11, 14, 15]. In [11] we nd that u is called demonic meet because it is associated with the demonic join (de ned as P tQ = P [Q) f(t; t 0 ) j t 2 dom(P ) t 2 dom(Q)g) even though, the domain of P uQ being larger than that of P Q, looks more demonic than u. 1 The demonic meet is a partial ....
N. Boudriga, F. Elloumi, and A. Mili. On the lattice of speci cations: Applications to a speci cation methodology. Formal Aspects of Computing, 4:544571, 1992.
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