Last update: Thu Jun 29 02:43:11 MDT 2023
Return to index directory
O
-
O'Halloran, C., 9(4)349--358
-
O'Halloran, Colin, 23(4)465--512, 26(4)795--823
-
O'Halloran, Colin, see Cavalcanti, Ana
-
O'Hearn, Peter, 22(5)547--583
-
O'Hearn, Peter, see Filipovi{\'c}, Ivana
-
O'Hearn, Peter W., 26(3)435--439
-
O'Hearn, Peter W., see Brookes, Stephen
-
O'Keefe, Patrick, 9(1)49--67
-
O'Keefe, Patrick, see Palsberg, Jens
-
O'Leary, John, 8(2)209--237, 9(5)537--559
-
O'Leary, John, see Brown, Geoffrey
-
O'Regan, 32(1)147--148
-
obfuscation, 29(1)3--31, 29(1)33--55, 30(6)685--711
-
Obituary, 2(1)299--300, 14(4)340--341, 29(2)173--173
-
object, 7(6)620--651, 8(3)347--368, 8(6)706--715, 10(4)405--434,
12(1)18--40, 19(2)205--224, 25(2)189--218, 26(1)37--62,
27(3)551--572
-
Object-extending, 6(4)391--416
-
Object-Oriented, 13(3)214--232
-
object-oriented, 1(1)366--411, 4(4)376--408, 5(3)181--207, 16(1)51--79,
19(2)159--189, 21(1)103--131, 22(5)489--535, 26(3)491--535
-
Object-Z, 7(3)289--313, 13(2)111--127, 13(2)128--141, 13(2)142--160,
15(1)1--27
-
obligations, 2(1)312--330, 23(1)133--150
-
observable, 4_1S_612_637
-
observational, 3(3)284--307, 27(5)789--804
-
Ochsenschläger, P., 10(4)381--404
-
Ochsenschlager:1998:SVT, 10(4)381--404
-
OCL, 20(1)79--100
-
Ode, 13(3)194--194
-
Ofer, 30(6)759--759
-
Ogata, Kazuhiro, 29(2)309--334
-
Ogata, Kazuhiro, see Riesco, Adrián
-
OHalloran:1997:UFS, 9(4)349--358
-
Ohsaki, Hitoshi, 26(5)943--962
-
Ohsaki, Hitoshi, see Yamagata, Yoriyuki
-
OLAP, 27(2)283--307
-
Olderog, E.-R., 6_1S_741_742
-
Olderog, E.-R., see Boer, F. S. de
-
Olderog, Ernst-Rüdiger, 20(2)161--204, 24(4)477--496,
27(4)727--750, 29(4)583--600, 31(6)751--807,
see Apt, Krzysztof R.,
see Bochmann, Gregor V.,
see Möller, Michael,
see Swaminathan, Mani
-
Olderog:2015:STD, 27(4)727--750
-
OLeary:1997:VCC, 9(5)537--559
-
Oliet, Narciso, Martí-, 14(3)228--246
-
Oliva, Paulo, 25(3)345--363
-
Oliva, Paulo, see Arthan, Rob
-
Oliveira, J. N., 2(1)1--23
-
Oliveira, José, 12(4)211--215, 21(3)225--225, 31(6)661--661,
see Boca, Paul, \see{Denvir, Tim,
see Jones, Cliff
-
Oliveira, José N., 24(4)433--458
-
Oliveira, José Nuno, 27(2)283--307,
see Macedo, Hugo Daniel
-
Oliveira, M. V. M., 28(6)937--1004
-
Oliveira, Marcel, 15(1)28--47, 21(1)3--32, 24(1)127--160, 25(1)133--158
-
Oliveira, Marcel, see Zeyda, Frank
-
Oliveira:1990:RCM, 2(1)1--23
-
Oliveira:2003:ATL, 15(1)28--47
-
Oliveira:2009:USC, 21(1)3--32
-
Oliveira:2012:TLA, 24(4)433--458
-
Oliveira:2013:UTP, 25(1)133--158
-
Oliveira:2016:RDC, 28(6)937--1004
-
Oliver, 31(5)641--642
-
Oliver, Rachel, Cardell-, 12(5)350--371
-
Ölveczky, Peter Csaba, 31(5)503--540, see Liu, Si
-
one-combinator, 4_1S_776_780
-
Online, 16(1)4--4
-
onto, 6(4)417--439
-
Ontologies, 33(6)885--921
-
opacity, 30(5)597--625
-
operating, Co-, 10(4)381--404
-
operation, 7(2)169--182, 10(2)125--159, 21(1)65--102, 24(3)355--374,
26(2)305--317, 29(3)423--452
-
operational, 26(3)491--535, 29(3)453--474
-
operators, 6(4)466--470, 28(3)409--440
-
optical, 28(5)881--907, 31(3)321--351
-
optimal, 17(4)443--460, 25(2)319--341, 33(1)3--25
-
Optimality, 18(2)231--243
-
Optimising, 28(2)295--323
-
Optimized, 6(6)643--658
-
Optimizing, 29(3)559--579
-
Orava, Fredrik, 4(6)497--543
-
Orava:1992:AVM, 4(6)497--543
-
orbit, 31(2)261--285
-
orchestration, 25(6)833--846, 26(4)729--759
-
order, 2(1)123--138, 2(1)226--246, 2(1)247--272, 3(1)2--20,
4_1S_649_672, 6(6)696--715, 7(6)652--662, 8(3)247--293,
9(4)425--445, 17(1)38--57, 23(3)307--332, 25(6)971--991,
28(2)295--323
-
Order, First-, 12(3)199--209
-
order, Higher-, 33(2)151--183
-
order, Partial-, 10(5)469--482
-
order-sorted, 8(5)539--564, 29(3)423--452
-
Orejas, Fernando, 22(3)385--422
-
Orejas:2010:RGC, 22(3)385--422
-
oriented, 8(6)706--715
-
oriented, feature-, 30(1)45--75
-
oriented, model-, 2(1)1--23
-
Oriented?, Object-, 13(3)214--232
-
oriented, object-, 1(1)366--411, 4(4)376--408, 5(3)181--207,
16(1)51--79, 19(2)159--189, 21(1)103--131, 22(5)489--535,
26(3)491--535
-
oriented, Practice-, 21(3)245--257
-
oriented, Refinement-, 8(6)617--647
-
oriented, service-, 26(5)865--918
-
orthogonal, 19(4)475--485
-
Ortí, Enrique S., Quintana-, 25(6)933--945
-
Orwellian, 7(6)704--727
-
OS, 32(1)113--145
-
OSEKash, 32(1)113--145
-
Ostroff, Jonathan S., 16(1)51--79, 21(4)305--318, 21(4)319--346
-
Ostroff, Jonathan S., see Nienaltowski, Piotr,
see Paige, Richard F.
-
Ostroff:2009:BCC, 21(4)319--346
-
other, 28(3)381--407, 29(6)1121--1122
-
Ouaknine, Joël, 17(4)461--483, 24(4)595--607, 24(4)671--678,
see Bouyer, Patricia, \see{Chaki, Sagar,
see Kiefer, Stefan
-
Ouarbya, Lahcen, 18(2)103--119
-
Ouarbya, Lahcen, see Binkley, David W.
-
out, fold-, 24(3)307--330
-
output, 12(6)473--484, 21(1)65--102, 28(1)65--78
-
Ouyang, Chun, 27(5)753--788
-
Ouyang, Chun, see Polyvyanyy, Artem
-
Overtaking, 11(5)567--590
-
Overview, 13(2)94--110
-
Owe, Olaf, 3(1)2--20, 4(4)323--340, 5(3)208--223, 27(3)551--572
-
Owe, Olaf, see Din, Crystal Chang
-
Owe:1991:GIO, 3(1)2--20
-
Owe:1992:ATP, 4(4)323--340
-
Owe:1993:PLR, 5(3)208--223
-
Owens, R., 7(5)533--549
-
Owens, R., see Barringer, H.
-
Owens, Scott, 19(3)343--362
-
Owens, Scott, see Slind, Konrad
-
Oxford, 29(6)1121--1122
-
OZ, CSP-, 12(3)147--164