OBJ2


Also found in: Wikipedia.

OBJ2

Clear-like parametrised modules. A functional system based on equations. "Principles of OBJ2", K. Futatsugi et al, 12th POPL, ACM 1985, pp.52-66.
Mentioned in ?
References in periodicals archive ?
//Encrypting Data Process obj2 = ARC4.new('01234567') chipper_text2 = obj2.encrypt(xml_str) with open("warehouse/cabinet_encrypt.xhtml', 'r') as outFile2: outFile2.write(cipher_text2)
The given object denoted as obj1 and another object denoted as obj2 to be merged to obj1, [DELTA][h.sub.sp], and [DELTA][h.sub.sh] were calculated by (3) and (4):
obj2 = [summation over (m[member of]DCS)][summation over (n[member of]S)][summation over (k[member of]K)] ([c.sub.mn][x.sub.mnk]) (2)
To simultaneously acquire the Raman spectrum and the hologram of the selected sperm cell, we used a single objective lens (OBJ2 in Figure 2) for both red and green light.
(9) meli-ang 'AV.buy-APPL <agt, ben, th>' SUBJ OBJ1 OBJ2 Note that the underlying theme, being the third in the list, becomes the second object, structurally immediately following the first object.
OBJ2 = [square root of [summation][([G.sub.meas] - [G.sub.sim]).sup.2]]/[square root of [summation][G.sup.2.sub.meas]], (7)
The ditransitive and the dative constructions can be schematized as SUBJ V OBJ1 OBJ2 and SUBJ V OBJ2 'to' OBJ1, respectively.
Obj2: To measure the level of satisfaction among the flyers regarding service quality rendered by domestic airlines.