Index file section O for toplas.bib
Last update: Thu Apr 11 02:12:53 MDT 2024
Return to index directory
O
-
O'Donnell, Michael J., 4(1)83--112
-
O'Donnell, Michael J., see Hoffman, Christoph M.
-
O'Hearn, Peter W., 31(3)11--11
-
O'Keefe, Patrick, 17(4)576--599
-
O'Keefe, Patrick, see Palsberg, Jens
-
O, Alma-, 20(5)1014--1066
-
O-Saffire, 30(4)18--18
-
O1, 28(4)715--746
-
O3, 30(3)17--17
-
OAG, 18(1)73--108
-
Oberon, 22(3)490--505
-
obey, 20(6)1297--1322, 32(4)14--14
-
obfuscate, 38(4)15--15
-
obfuscation, 29(6)35--35, 30(5)25--25
-
Object-Based, 14(2)201--264
-
object-based, 22(3)506--539, 40(2)6--6, 44(4)25--25
-
object-file, 16(6)1699--1718
-
Object-Oriented, 18(4)355--400, 38(3)8--8, 44(4)21--21
-
object-oriented, 15(3)494--534, 16(4)1279--1318, 16(6)1811--1841,
17(2)264--292, 17(3)431--447, 17(6)805--843, 18(1)1--15,
18(4)355--400, 18(4)401--423, 18(5)519--527, 18(6)711--729,
19(1)153--187, 19(5)804--851, 20(1)116--165, 21(2)370--416,
21(3)569--626, 22(3)506--539, 23(1)30--72, 25(2)225--290,
28(2)331--388, 28(3)476--516, 28(3)517--575, 28(5)795--847,
29(2)13--13, 30(6)33--33, 31(1)1--1, 31(2)7--7, 31(3)9--9, 34(1)4--4,
34(3)12--12, 35(3)11--11, 36(4)12--12, 37(2)6--6, 37(4)13--13,
38(3)8--8, 40(3)12--12, 44(4)21--21, 46(1)1--1
-
object-oriented/multi-paradigm, 42(3)15--15
-
object-sensitive, 41(3)18--18
-
objective, 16(6)1675--1683, 17(2)366--393, 37(1)2--2, 38(4)15--15,
41(3)16--16, 41(3)18--18
-
objective, dual-, 38(3)11--11
-
objects., 28(1)1--69
-
obligations, 21(3)677--701, 30(2)8--8, 33(1)4--4
-
obms, 12(1)1--25
-
obscures, 34(1)6--6
-
obscuring, 44(4)22--22
-
Observability, 5(3)318--354
-
observable, 21(2)370--416
-
observation, 4(2)196--225, 11(4)633--649, 16(5)1613--1647,
17(1)157--179, 20(6)1265--1296, 27(6)1049--1096, 38(2)7--7,
41(1)6--6, 42(4)16--16
-
observational, 33(5)16--16, 41(2)11--11, 43(1)1--1
-
observationally, 40(2)6--6
-
observe, 18(4)454--476, 38(4)16--16, 42(2)6--6, 44(2)7--7
-
observed, 28(1)70--105, 31(3)10--10, 32(5)17--17, 34(2)7--7, 35(1)3--3,
42(2)10--10
-
observer, 37(1)3--3
-
observer-independent, 17(1)157--179
-
observing, 21(5)1028--1075, 42(3)14--14
-
Obsidian, 42(3)14--14
-
obstacles, 30(4)22--22
-
obstructed, 20(5)917--979
-
obtain, 13(2)237--268, 14(3)417--461, 14(4)589--616, 15(1)133--181,
16(2)175--204, 16(3)370--386, 16(4)1156--1214, 17(2)197--216,
17(3)431--447, 17(4)561--575, 17(4)576--599, 17(5)777--803,
18(6)659--682, 19(6)1031--1052, 20(3)635--678, 22(1)87--128,
22(6)1002--1036, 23(1)73--103, 23(2)105--186, 28(4)696--714,
28(5)908--941, 30(1)4--4, 32(1)2--2, 32(6)24--24, 33(3)11--11,
36(2)5--5, 36(4)11--11, 39(1)2--2, 40(3)12--12, 41(1)3--3,
41(3)14--14, 41(4)20--20
-
obtainable, 19(6)853--898, 31(6)23--23
-
obtained, 4(2)283--294, 7(1)62--79, 7(4)560--599, 13(1)150--178,
15(1)1--35, 16(2)205--258, 16(2)259--303, 16(3)370--386,
16(4)1156--1214, 16(5)1399--1410, 17(1)28--44, 18(6)730--751,
19(1)188--222, 19(4)568--585, 19(5)751--803, 20(1)166--207,
20(2)302--343, 21(2)189--239, 21(3)430--501, 21(5)895--913,
22(2)187--223, 23(2)105--186, 27(6)1097--1146, 31(5)17--17,
31(5)19--19, 34(3)14--14, 35(1)3--3, 36(2)7--7, 36(4)14--14,
38(3)11--11, 40(4)17--17, 41(1)5--5
-
obtaining, 17(2)366--393, 19(5)751--803, 28(4)696--714, 33(1)5--5,
34(1)5--5, 36(4)11--11, 37(2)5--5, 41(4)20--20
-
obviate, 16(6)1768--1810, 20(1)51--115
-
obviating, 16(3)775--797
-
obvious, 18(3)268--299, 34(1)6--6
-
obviously, 19(3)444--461, 21(1)90--137, 32(4)14--14
-
OCaml, 30(4)18--18, 41(2)9--9
-
OCaml-to-C, 30(4)18--18
-
OCCAM, 15(4)681--705
-
occam, 15(4)681--705, 32(4)14--14
-
occam-like, 16(5)1613--1647
-
occam-pi, 32(4)14--14
-
occupied, 16(2)205--258
-
occupies, 22(3)431--470
-
occur, 9(2)164--197, 13(2)211--236, 14(4)589--616, 15(4)632--658,
16(4)1248--1278, 16(5)1648--1659, 18(2)139--174, 20(3)635--678,
21(5)1028--1075, 28(5)908--941, 30(6)34--34, 32(3)9--9, 32(5)17--17,
35(4)13--13, 39(3)11--11
-
occur-check, 16(3)687--726
-
Occur-Check-Free, 16(3)687--726
-
occurred, 16(3)387--427, 29(6)35--35
-
occurrence, 38(2)7--7, 38(3)8--8, 41(1)1--1
-
octagons, 33(3)11--11, 43(3)11--11
-
odering, 6(4)527--545
-
Odersky, Martin, 15(3)535--562, 16(5)1411--1430, 26(5)767--768,
45(4)21--21
-
Odersky, Martin, see Boruch-Gruszecki, Aleksander,
see Läufer, Konstantin
-
Odersky:1993:DCD, 15(3)535--562
-
Odersky:2004:GE, 26(5)767--768
-
odin, 12(1)1--25
-
Odlyzko, Andrew M., 10(2)313--337
-
Odlyzko, Andrew M., see Greenberg, Albert G.
-
Oei, Reed, 42(3)14--14
-
Oei, Reed, see Coblenz, Michael
-
of\, stacks-, 4(4)711--732
-
of, address-, 28(3)429--475
-
of-\, set-, 4(4)711--732
-
of-d, finite-sets-, 4(4)711--732
-
of-meets, join-, 17(5)777--803
-
of-order, out-, 36(2)6--6
-
of-service, denial-, 40(1)1--1
-
of-the, State-, 17(4)561--575
-
of-the-art, state-, 20(4)869--916, 33(3)10--10, 35(1)4--4,
40(3)13--13, 41(2)13--13, 41(3)16--16, 41(3)17--17
-
of-time, Ahead-, 45(4)20--20
-
of-time, ahead-, 34(2)7--7
-
off, 30(3)17--17, 38(2)6--6
-
Off, Round-, 41(1)2--2
-
off, round-, 41(1)2--2
-
off, trade-, 16(3)798--842, 16(5)1449--1466, 20(6)1195--1222,
21(1)138--173, 21(5)1028--1075, 30(1)4--4, 44(2)7--7
-
off-line, 21(3)569--626, 27(6)1147--1215
-
off-the-shelf, 29(1)3--3, 31(2)7--7, 31(5)17--17, 37(1)3--3, 42(1)3--3
-
off-trace, 16(4)1156--1214
-
offending, 18(2)139--174
-
offer, 9(2)277--295, 14(4)574--588, 16(3)607--648, 18(4)355--400,
20(3)483--545, 20(3)586--634, 21(2)189--239, 21(3)502--526,
21(4)703--746, 23(2)105--186, 27(6)1344--1395, 32(4)13--13,
32(4)14--14, 33(6)19--19, 34(4)17--17, 36(2)7--7, 36(3)10--10,
37(1)2--2, 37(4)12--12, 39(4)15--15, 41(3)15--15, 42(3)15--15,
43(2)6--6
-
offered, 4(2)283--294, 22(5)861--931
-
offering, 32(1)3--3, 39(3)11--11, 44(4)22--22
-
Office, 7(4)600--621
-
offline, 22(2)224--264, 26(1)191--220, 27(6)1147--1215, 31(5)17--17
-
offloads, 34(1)4--4
-
offs, trade-, 21(2)189--239, 21(3)569--626, 23(2)105--186,
33(1)2--2, 33(1)3--3, 38(3)12--12, 43(2)6--6
-
offset, 21(4)703--746, 30(4)18--18, 32(4)11--11
-
oft-discovered, 4(4)615--649
-
oft-requested, 10(2)189--203
-
often, 13(1)52--98, 13(2)237--268, 16(4)1248--1278, 16(5)1648--1659,
16(6)1768--1810, 17(1)16--27, 17(1)28--44, 18(4)355--400,
19(3)525--555, 19(4)557--567, 20(2)302--343, 20(6)1171--1194,
21(1)46--89, 21(2)240--285, 21(4)703--746, 21(5)1028--1075,
21(6)1137--1195, 22(1)129--161, 22(1)162--186, 22(6)1037--1080,
23(1)30--72, 27(6)1270--1343, 28(1)134--174, 28(3)476--516,
28(4)715--746, 28(4)747--793, 30(2)8--8, 30(3)12--12, 30(4)18--18,
30(6)31--31, 31(5)17--17, 34(1)2--2, 34(2)7--7, 34(3)11--11,
36(4)13--13, 38(3)8--8, 38(3)10--10, 39(1)2--2, 39(1)5--5, 39(2)7--7,
40(2)6--6, 40(2)8--8, 40(3)13--13, 40(4)16--16, 41(1)2--2, 41(1)3--3,
41(3)15--15, 42(3)12--12, 42(4)17--17, 43(1)1--1, 43(3)12--12,
44(1)4--4, 45(2)12--12
-
Ogasawara, Takeshi, 28(1)70--105
-
Ogasawara:2006:EED, 28(1)70--105
-
Ogden, William F., 2(4)522--543
-
Ogden, William F., see Ernst, George W.
-
Oh, Hakjoo, 36(3)8--8, 38(2)6--6, 39(4)16--16, 40(4)14--14, 41(2)13--13,
45(3)16--16
-
Oh, Hakjoo, see Heo, Kihong,
see Jeon, Minseok, \see{Lee, Dongkwon,
see Lee, Woosuk
-
Oh:2014:GSA, 36(3)8--8
-
Oh:2016:SXS, 38(2)6--6
-
OHearn:2009:SIH, 31(3)11--11
-
Ohori, Atsushi, 17(6)844--895, 29(1)4--4, 29(6)36--36
-
Ohori, Atsushi, see Higuchi, Tomoyuki
-
Ohori:1995:PRC, 17(6)844--895
-
Ohori:2007:PTM, 29(6)36--36
-
old, 9(2)277--295, 14(3)339--395, 16(3)775--797, 17(1)28--44,
17(3)431--447, 20(3)546--585, 20(3)635--678, 22(2)224--264,
27(6)1049--1096, 44(4)25--25
-
Old-Fashioned, 16(5)1543--1571
-
old-version, 36(4)13--13
-
Oldehoeft, R. R., 16(6)1675--1683
-
Oldehoeft, R. R., see Böhm, A. P. W.
-
Olden, 17(2)233--263
-
older, 29(1)2--2
-
Olderog, Ernst-{Rüdiger}, 10(3)420--455
-
Olderog:1988:FPP, 10(3)420--455
-
Olesen, Mads {\O}sterby, 29(4)21--21,
see M{\o}ller, Anders
-
olit-oopl, 5(3)381--404, 8(4)419--490
-
Oliveira, Bruno C. D. S., 42(1)2--2, 43(3)9--9, 44(4)24--24
-
Oliveira, Bruno C. D. S., see Xie, Ningning,
see Zhang, Weixin, \see{Zhou, Yaoda
-
Olivier, P. A., 24(4)334--368
-
Olivier, P. A., see Van Den Brand, M. G. J.
-
Olm, Markus, Müller-, 29(5)29--29
-
olm, Markus, Müller-, 33(6)21--21
-
Olmash, Müller-, 36(4)11--11
-
Olmedo, Federico, 35(3)9--9, 40(1)4--4, 45(2)8--8
-
Olmedo, Federico, see Barthe, Gilles,
see Toro, Matías
-
Olmedo:2018:CPP, 40(1)4--4
-
Olsson, Ronald A., 10(1)51--86, 26(3)578--608
-
Olsson, Ronald A., see Andrews, Gregory R.,
see Keen, Aaron W.
-
Ombres, Denise, 16(3)370--386
-
Ombres, Denise, see Gupta, Rajiv
-
omega, 31(3)10--10
-
omission, 16(3)687--726, 18(5)528--563
-
omits, 19(1)48--86
-
omitted, 3(2)126--143, 16(3)687--726, 39(4)18--18
-
omni-big-step, 45(1)5--5
-
omni-small-step, 45(1)5--5
-
Omnisemantics, 45(1)5--5
-
Omohundro, Stephen, 18(1)1--15
-
Omohundro, Stephen, see Murer, Stephan
-
On, 19(6)1085--1087
-
On, Ilan, Bar-, 7(2)348--357
-
on-demand, 41(4)23--23
-
On-Line, 16(5)1399--1410
-
on-line, 16(5)1399--1410, 20(1)208--258, 21(1)138--173, 21(3)569--626,
31(6)20--20
-
on-stack, 28(1)134--174
-
On-The-Fly, 17(3)487--506
-
on-the-fly, 6(3)333--344, 17(3)461--486, 22(2)224--264, 28(1)1--69,
29(4)20--20, 40(4)15--15
-
on-write-miss, allocate-, 14(2)265--297
-
once, 16(1)151--174, 16(3)924--938, 22(2)187--223, 22(5)816--860,
31(6)21--21, 33(1)4--4
-
One-Pass, 4(4)601--614
-
one-shot, 31(2)6--6
-
one-third, 4(3)382--401
-
one-time, 40(3)9--9, 41(4)23--23
-
one-way, 18(1)30--72, 23(6)776--796, 37(1)3--3
-
Ong, C.-H. Luke, 41(2)11--11
-
Ong, C.-H. Luke, see Cotton-Barratt, Conrad
-
online, 21(3)569--626, 26(1)191--220, 27(6)1049--1096, 28(2)256--289,
29(2)11--11
-
only, application-, 29(1)2--2
-
only, read-, 27(1)126--162, 32(6)22--22
-
onto, 14(2)265--297, 20(3)483--545, 21(2)240--285, 22(3)490--505,
22(5)816--860
-
OO, 31(2)7--7, 45(1)3--3
-
Ooi, Chong-Liang, 28(5)942--965
-
Ooi, Chong-Liang, see Kim, Seon Wook
-
oopl, olit-, 5(3)381--404, 8(4)419--490
-
Opacity, 17(1)180--180
-
opaque, 31(3)12--12
-
open, 8(4)419--490, 11(2)284--329, 16(3)872--923, 17(1)47--62,
17(2)181--196, 17(4)576--599, 18(5)528--563, 21(1)11--45,
21(5)948--976, 28(3)517--575, 28(4)696--714, 31(5)19--19, 34(1)5--5,
35(3)9--9, 36(1)4--4, 37(2)5--5, 38(1)3--3, 39(4)17--17, 40(1)2--2,
40(4)16--16, 41(1)6--6, 41(3)17--17, 42(1)2--2, 42(3)15--15
-
open-source, 36(4)13--13, 38(3)8--8, 38(4)13--13, 41(3)18--18,
41(3)19--19
-
OpenCL, 37(3)10--10
-
OpenJDK, 41(3)16--16, 44(4)22--22
-
OpenMP, 35(1)3--3
-
openness, 42(1)4--4
-
OpenSSL, 37(2)7--7
-
operands, 4(1)44--82, 13(2)181--210
-
operate, 4(4)601--614, 9(3)319--349, 15(5)745--770, 16(3)577--604,
16(3)1010--1023, 16(4)1215--1247, 18(5)615--647, 30(6)32--32,
43(1)3--3
-
operating, 4(3)382--401, 4(4)678--686, 6(2)175--191, 8(4)419--490,
9(2)235--256, 10(1)51--86, 11(1)90--114, 13(1)52--98, 15(1)1--35,
18(5)615--647, 19(2)292--333, 21(1)46--89, 21(1)90--137,
21(3)430--501, 22(4)673--700, 22(4)701--771, 29(6)33--33,
30(4)22--22, 31(1)3--3, 31(6)22--22, 37(1)4--4, 37(2)6--6, 38(3)9--9,
45(1)2--2
-
operation-level, 17(4)600--634
-
operational, 4(2)283--294, 4(2)295--322, 4(4)668--677, 9(4)473--490,
10(1)118--155, 11(4)598--632, 13(1)99--123, 13(2)237--268,
13(2)269--290, 14(4)589--616, 15(2)211--252, 15(4)681--705,
16(3)649--686, 16(4)1081--1096, 16(4)1215--1247, 16(4)1279--1318,
17(1)47--62, 18(6)711--729, 18(6)730--751, 19(1)48--86,
19(2)334--385, 19(5)804--851, 20(4)768--844, 20(5)1014--1066,
21(1)90--137, 21(3)527--568, 22(2)340--377, 22(4)701--771,
22(6)1037--1080, 27(6)1147--1215, 28(2)256--289, 28(2)290--330,
28(4)619--695, 30(5)26--26, 31(2)6--6, 31(2)8--8, 31(3)12--12,
32(5)19--19, 34(2)10--10, 35(1)2--2, 35(1)4--4, 35(4)12--12,
36(2)7--7, 37(2)7--7, 37(3)10--10, 38(2)7--7, 40(1)4--4, 40(2)6--6,
44(4)25--25, 45(1)5--5
-
operations--as, 22(5)861--931
-
operations., 30(4)19--19
-
operator, 1(2)161--176, 3(1)83--103, 4(1)44--82, 5(1)122--122,
7(1)159--175, 10(2)189--203, 11(4)598--632, 13(4)531--557,
14(4)589--616, 15(1)133--181, 15(5)876--895, 16(3)456--492,
16(3)577--604, 16(3)924--938, 17(2)366--393, 17(5)777--803,
20(2)302--343, 20(4)845--868, 21(3)677--701, 23(5)603--625,
27(6)1147--1215, 28(3)429--475, 28(5)848--907, 30(3)12--12,
39(1)5--5, 41(2)8--8, 43(1)4--4, 44(3)16--16, 45(3)19--19
-
operator, operator-by-, 36(4)11--11
-
operator-by-operator, 36(4)11--11
-
operator., 14(2)147--172
-
opinion, 41(4)21--21
-
Oppen, Dereck C., 2(4)465--483
-
Oppen, Derek C., 1(2)245--257
-
Oppen, Derek C., see Nelson, Greg
-
Oppen:1980:P, 2(4)465--483
-
opportunity, 17(2)181--196, 20(4)768--844, 28(1)70--105, 28(3)517--575,
31(4)16--16, 32(4)11--11, 34(1)5--5, 35(2)8--8, 40(3)10--10,
40(3)13--13, 41(2)12--12, 41(3)17--17, 41(3)19--19
-
opposed, 18(2)139--174, 27(6)1270--1343
-
opposing, 17(3)431--447
-
optimal, 6(4)527--545, 7(1)62--79, 7(2)348--357, 9(3)367--389,
9(3)408--440, 15(4)632--658, 16(3)370--386, 16(4)1117--1155,
16(4)1319--1360, 17(1)1--15, 17(1)123--156, 17(2)394--429,
17(4)561--575, 17(5)740--776, 18(1)16--29, 18(3)235--253,
18(3)268--299, 18(5)528--563, 19(3)462--491, 19(6)1031--1052,
20(4)869--916, 20(5)980--1013, 21(3)430--501, 21(4)703--746,
22(5)773--815, 22(6)973--1001, 23(1)73--103, 28(2)256--289,
28(2)331--388, 28(6)967--989, 30(5)28--28, 31(6)21--21, 32(4)11--11,
34(3)14--14, 36(2)5--5, 38(3)11--11, 40(1)3--3, 41(1)3--3
-
optimal, Cost-, 20(6)1297--1322
-
optimal, cost-, 20(6)1297--1322
-
optimal, near-, 17(4)561--575
-
optimal, non-space-, 30(5)28--28
-
optimality, 17(1)1--15, 18(1)16--29, 18(3)268--299, 20(3)546--585,
21(3)627--676, 28(2)256--289, 37(1)2--2, 40(3)9--9
-
optimally, 16(4)1319--1360, 17(1)123--156, 41(3)17--17
-
optimisation, 39(4)17--17, 41(2)12--12
-
optimised, 41(2)12--12
-
optimistic, 16(3)428--455, 26(4)735--765, 33(1)2--2, 35(1)5--5
-
OPTIMIX, 22(4)583--637
-
optimization, post/pre-, 32(4)11--11
-
Optimization-Aware, 45(2)10--10
-
optimize, 16(4)1319--1360, 18(5)528--563, 21(5)977--1027, 22(1)129--161,
23(1)30--72, 26(2)263--300, 28(1)70--105, 32(4)13--13
-
optimized, 4(3)323--344, 7(1)176--181, 13(1)52--98, 14(2)173--200,
15(2)357--365, 16(1)3--34, 16(3)387--427, 16(5)1431--1448,
17(2)217--227, 17(4)635--671, 20(6)1111--1130, 22(3)431--470,
24(4)299--333, 27(6)1344--1395, 30(3)17--17, 30(5)28--28,
30(6)33--33, 34(1)3--3, 38(2)7--7, 39(1)4--4
-
optimized, well-, 27(6)1097--1146
-
optimizer, 2(2)191--202, 3(1)110--110, 4(1)21--36, 5(1)26--45,
5(3)478--498, 6(4)505--526, 14(3)299--338, 16(5)1648--1659,
17(2)293--330, 22(4)583--637, 36(1)4--4, 45(3)18--18
-
optimizing, 2(2)239--262, 9(2)257--276, 14(2)173--200, 16(3)387--427,
16(4)1117--1155, 16(6)1768--1810, 17(1)63--84, 17(2)181--196,
17(2)217--227, 17(2)293--330, 17(4)561--575, 17(4)600--634,
18(4)355--400, 18(6)659--682, 19(3)492--524, 19(3)525--555,
19(5)639--684, 20(6)1223--1250, 22(2)265--295, 22(5)773--815,
27(1)91--125, 28(1)70--105, 29(6)37--37, 30(6)32--32, 31(4)14--14,
31(5)18--18, 32(4)11--11, 34(2)9--9, 35(1)3--3, 37(2)7--7,
41(3)19--19, 45(3)16--16
-
optimizing, space-, 22(3)540--582
-
optimum, 7(1)62--79, 19(6)1031--1052
-
option, 22(5)816--860
-
optional, 31(1)3--3
-
optional-waits, 41(1)1--1
-
options, 18(2)139--174, 30(3)17--17, 36(4)11--11, 41(1)2--2
-
oq, 39(3)11--11
-
or, statement-, 17(4)600--634
-
Or-Parallel, 15(4)659--680
-
or-parallel, 15(4)659--680
-
Or-parallelism, 15(4)659--680
-
Oracle, 43(3)10--10
-
oral, 4(3)382--401
-
orbit, 39(4)17--17
-
orbit, in-, 32(4)13--13
-
ORC, 30(4)23--23
-
Orchestrating, 30(3)17--17
-
orchestration, 30(3)17--17
-
order, 4(2)179--195, 6(2)159--174, 9(4)491--542, 13(1)1--20,
13(2)269--290, 14(2)173--200, 14(2)265--297, 14(4)574--588,
16(3)328--369, 16(3)986--1009, 16(4)1117--1155, 16(4)1248--1278,
16(6)1875--1903, 17(2)197--216, 17(2)394--429, 18(4)477--518,
19(6)899--915, 19(6)942--991, 20(1)116--165, 20(1)208--258,
20(2)436--482, 20(3)586--634, 21(2)324--369, 21(2)370--416,
21(4)703--746, 21(5)948--976, 21(6)1137--1195, 21(6)1196--1250,
22(2)296--339, 22(2)416--430, 22(4)701--771, 22(5)932--972,
23(1)1--29, 23(1)73--103, 23(2)105--186, 28(2)207--255,
28(2)290--330, 28(3)476--516, 28(5)908--941, 30(6)32--32,
31(6)20--20, 32(1)3--3, 32(2)4--4, 34(2)7--7, 35(2)7--7, 36(2)6--6,
36(2)7--7, 36(3)10--10, 36(4)14--14, 38(1)3--3, 38(2)7--7,
39(4)15--15, 40(1)3--3, 40(3)10--10, 41(1)6--6, 41(3)17--17,
43(1)4--4, 43(3)10--10, 45(1)6--6, 45(4)20--20, 45(4)22--22
-
Order, First-, 13(4)577--625, 16(3)954--985, 19(4)568--585
-
order, First-, 45(2)7--7
-
order, first-, 4(2)258--282, 13(2)269--290, 16(3)954--985,
16(4)1279--1318, 17(2)293--330, 19(4)568--585, 30(5)26--26,
31(3)10--10, 33(5)16--16, 34(1)2--2, 34(3)14--14, 37(2)6--6,
40(2)6--6, 41(3)14--14, 44(4)25--25, 45(2)7--7
-
Order, Fixed-, 20(3)586--634
-
order, fixed-, 20(3)586--634
-
Order, Higher-, 16(5)1431--1448, 17(5)704--739, 20(4)845--868,
33(1)5--5, 38(2)4--4
-
order, Higher-, 41(3)14--14, 41(4)22--22
-
order, higher-, 14(2)147--172, 16(5)1411--1430,
16(5)1431--1448, 17(1)47--62, 17(1)63--84, 17(4)576--599,
17(5)704--739, 18(2)175--234, 18(4)401--423, 19(2)334--385,
19(5)751--803, 20(1)166--207, 20(4)845--868, 21(5)914--947,
28(4)715--746, 29(5)24--24, 31(3)12--12, 32(3)7--7, 33(1)5--5,
33(5)16--16, 35(1)2--2, 35(2)6--6, 35(3)11--11, 38(1)2--2, 38(1)3--3,
38(2)4--4, 40(4)16--16, 41(2)10--10, 41(3)14--14, 41(4)22--22
-
order, out-of-, 36(2)6--6
-
order, second-, 18(2)109--138, 40(2)5--5
-
order, third-, 18(4)401--423
-
order, zeroth-, 19(4)568--585
-
ordered, 22(3)490--505, 30(6)34--34, 35(4)14--14
-
ordered, well-, 31(3)10--10, 36(4)14--14
-
ordering, 2(2)234--238, 5(2)223--235, 6(4)527--545, 15(4)575--631,
16(3)524--576, 16(3)924--938, 21(5)977--1027, 22(1)45--86,
22(3)490--505, 22(6)1002--1036, 27(6)1097--1146, 32(4)14--14,
32(5)17--17, 40(3)12--12, 41(2)12--12, 45(1)6--6
-
ordering, phase-, 17(2)181--196
-
ordering, re-, 32(5)17--17
-
ordering, temporal-, 21(5)977--1027
-
ordering, well-, 31(3)10--10
-
ordinarily, 9(2)164--197
-
ordinary, 17(1)1--15, 34(3)12--12, 37(1)3--3
-
organization, 3(4)508--532, 7(1)80--112, 7(2)183--213, 7(2)270--298,
7(3)404--425, 7(4)501--538, 8(1)154--182, 8(4)419--490,
9(2)235--256, 9(4)599--617, 9(4)618--645, 10(1)51--86,
10(2)282--312, 10(2)313--337, 10(3)374--402, 10(4)513--554,
10(4)579--601, 11(1)1--32, 11(1)57--66, 11(1)90--114, 11(2)249--283,
11(2)284--329, 11(2)330--344, 11(3)404--417, 12(1)102--122,
12(2)303--339, 12(4)501--536, 12(4)537--565, 13(4)558--576,
14(1)28--53, 14(2)265--297, 14(3)299--338, 14(3)417--461,
14(4)521--573, 15(1)1--35, 15(1)36--72, 15(3)400--462,
15(3)563--573, 15(4)632--658, 15(4)659--680, 15(4)706--734,
15(4)735--742, 16(1)151--174, 16(2)259--303, 16(3)370--386,
16(3)775--797, 16(3)954--985, 16(3)986--1009, 16(4)1319--1360,
16(5)1399--1410, 17(1)123--156, 17(1)157--179, 17(3)535--559,
17(4)561--575, 17(5)691--703, 18(4)355--400, 18(4)424--453,
18(5)615--647, 18(6)659--682, 19(1)188--222, 19(2)292--333,
19(3)492--524, 19(3)525--555, 20(1)51--115, 20(2)274--301,
20(4)869--916, 20(6)1195--1222, 21(1)46--89, 21(4)703--746,
21(5)1028--1075, 22(5)773--815, 28(5)848--907
-
organized, 4(1)44--82, 8(4)419--490
-
organizing, 7(3)404--425
-
orientation, 32(4)14--14
-
oriented, 6(4)468--486, 7(4)501--538, 17(5)691--703
-
oriented'', ``server-, 27(6)1097--1146
-
oriented, Aspect-, 34(3)12--12
-
oriented, aspect-, 26(5)890--910, 30(3)14--14
-
oriented, compilation-, 16(4)1361--1398
-
Oriented, Constraint-, 3(4)353--387
-
oriented, constraint-, 16(6)1661--1674
-
Oriented, Expression-, 3(1)49--59, 9(3)390--407, 10(3)503--504
-
oriented, Feature-, 32(5)19--19
-
oriented, feature-, 32(5)19--19
-
Oriented, Goal-, 12(2)224--252
-
oriented, graph-, 9(4)473--490
-
oriented, implementation-, 16(4)1117--1155
-
oriented, loop-, 21(4)703--746
-
Oriented, Object-, 18(4)355--400, 38(3)8--8, 44(4)21--21
-
oriented, Object-, 15(3)494--534, 16(6)1811--1841,
17(2)264--292, 17(3)431--447, 17(6)805--843, 18(1)1--15,
18(4)355--400, 18(4)401--423, 18(6)711--729, 19(1)153--187,
23(1)30--72, 46(1)1--1
-
oriented, object-, 16(4)1279--1318, 16(6)1811--1841,
17(2)264--292, 17(3)431--447, 18(1)1--15, 18(4)355--400,
18(5)519--527, 19(5)804--851, 20(1)116--165, 21(2)370--416,
21(3)569--626, 22(3)506--539, 23(1)30--72, 25(2)225--290,
28(2)331--388, 28(3)476--516, 28(3)517--575, 28(5)795--847,
29(2)13--13, 30(6)33--33, 31(1)1--1, 31(2)7--7, 31(3)9--9, 34(1)4--4,
34(3)12--12, 35(3)11--11, 36(4)12--12, 37(2)6--6, 37(4)13--13,
38(3)8--8, 40(3)12--12, 44(4)21--21
-
Oriented, Patient-, 40(3)10--10
-
oriented, process-, 32(4)14--14
-
Oriented, Statement-, 3(1)1--10, 4(1)120--122
-
Oriented, Structure-, 16(3)727--774
-
oriented, structure-, 16(3)727--774
-
Oriented, Tree-, 18(6)752--779
-
Oriented, Typestate-, 36(4)12--12
-
oriented, typestate-, 36(4)12--12
-
oriented, user-, 4(4)615--649
-
oriented/multi-paradigm, object-, 42(3)15--15
-
origin, 22(4)673--700, 31(4)15--15, 34(2)10--10, 38(3)9--9, 41(3)18--18
-
origin, cross-, 38(3)9--9
-
origin, same-, 38(3)9--9
-
original, 4(3)323--344, 8(1)109--139, 9(4)491--542, 11(4)491--516,
13(1)21--51, 14(4)490--520, 14(4)589--616, 16(3)1051--1077,
16(4)1117--1155, 16(5)1512--1542, 17(2)217--227, 17(2)366--393,
18(2)175--234, 18(4)424--453, 19(3)525--555, 19(6)899--915,
19(6)916--941, 20(3)483--545, 20(3)546--585, 21(2)370--416,
21(3)430--501, 22(3)471--489, 22(3)540--582, 27(6)1097--1146,
28(1)1--69, 30(6)30--30, 35(1)5--5, 35(2)8--8, 36(1)3--3,
36(4)14--14, 38(2)7--7, 39(4)14--14, 41(4)21--21, 42(1)2--2,
42(1)3--3, 43(2)8--8, 43(4)14--14
-
originality, 38(1)3--3
-
originally, 16(1)35--101, 18(4)401--423, 33(3)9--9, 36(2)5--5
-
originates, 34(2)8--8
-
Orleans, Doug, 26(2)370--412
-
Orleans, Doug, see Lieberherr, Karl
-
orthogonal, 32(3)7--7, 35(1)2--2, 39(4)16--16
-
OS, 22(4)673--700, 30(4)22--22, 32(4)12--12, 37(1)4--4, 41(3)18--18,
45(1)2--2
-
OSI, 11(2)284--329
-
Ossefort, Marty, 5(4)620--640
-
Ossefort:1983:CPC, 5(4)620--640
-
Ossia, Yoav, 27(6)1097--1146
-
Ossia, Yoav, see Barabash, Katherine
-
Osterweil, Leon, 12(1)1--25
-
Osterweil, Leon, see Clemm, Geoffrey
-
OTHER, 19(3)525--555
-
otherwise, 16(3)524--576, 18(1)73--108, 19(3)525--555, 21(4)813--847,
28(5)795--847, 34(1)5--5, 35(1)5--5, 43(3)10--10
-
Ottenstein, Karl J., 9(3)319--349
-
Ottenstein, Karl J., see Ferrante, Jeanne
-
ought, 18(2)139--174
-
ours, 32(3)8--8, 35(2)8--8, 41(3)18--18
-
ourselves, 37(4)12--12
-
out, last-in/first-, 21(1)90--137
-
out-of-order, 36(2)6--6
-
outcome, 21(3)677--701, 21(5)1028--1075, 45(1)5--5
-
outline, 4(4)687--710, 19(1)153--187, 28(2)331--388, 28(4)747--793,
29(2)13--13, 31(5)18--18, 31(5)19--19, 32(5)19--19
-
outlined, 17(1)1--15
-
outperform, 16(3)305--327, 17(5)740--776, 36(2)7--7, 36(3)10--10,
36(4)14--14, 37(1)2--2
-
output, 2(2)234--238, 5(2)223--235, 13(2)211--236, 14(3)339--395,
16(2)259--303, 16(3)1010--1023, 16(5)1648--1659, 16(6)1661--1674,
18(1)30--72, 19(6)899--915, 20(1)1--50, 29(6)33--33, 32(4)15--15,
33(4)14--14, 36(2)5--5, 37(3)8--8, 45(2)11--11
-
Output, Input-, 5(2)223--235
-
output, input-, 32(6)21--21
-
outset, 34(1)3--3
-
outside, 16(5)1449--1466, 18(2)139--174, 37(3)8--8, 41(3)18--18
-
outstanding, 30(2)8--8
-
outtree, 23(1)73--103
-
outweigh, 18(6)752--779
-
over-approximating, 40(1)1--1
-
over-approximation, 40(1)3--3
-
overall, 8(4)419--490, 8(4)491--523, 16(1)35--101, 19(3)525--555,
20(3)546--585, 20(4)869--916, 21(4)703--746, 21(5)977--1027,
27(6)1147--1215, 30(6)32--32, 35(1)3--3, 35(4)14--14, 38(3)12--12,
44(4)22--22
-
overapproximating, 36(4)11--11
-
overapproximation, 31(6)23--23, 32(2)5--5, 35(4)14--14
-
overcome, 16(6)1768--1810, 18(4)424--453, 28(2)331--388, 30(4)22--22,
32(1)3--3, 35(1)5--5, 38(1)1--1, 41(2)13--13, 43(2)6--6
-
overcoming, 4(1)1--20
-
overestimated, 34(3)14--14
-
overestimates, 41(1)2--2
-
overflow, 13(1)1--20, 18(2)139--174, 28(5)942--965, 37(1)1--1
-
overflow, buffer-, 39(4)16--16
-
overhead, 9(2)164--197, 14(1)1--27, 14(1)28--53, 16(3)370--386,
16(4)1319--1360, 16(5)1431--1448, 17(4)635--671, 18(4)355--400,
18(6)659--682, 19(6)853--898, 20(3)586--634, 20(5)980--1013,
20(6)1111--1130, 20(6)1195--1222, 20(6)1223--1250, 20(6)1265--1296,
21(1)138--173, 21(2)324--369, 21(6)1251--1297, 22(3)431--470,
22(5)932--972, 27(6)1049--1096, 28(1)1--69, 28(1)70--105,
28(1)106--133, 28(1)134--174, 28(5)908--941, 30(4)22--22,
31(4)13--13, 31(5)17--17, 32(4)15--15, 32(5)17--17, 34(1)4--4,
34(2)7--7, 34(3)13--13, 35(1)3--3, 36(3)10--10, 36(4)13--13,
37(1)4--4, 37(2)6--6, 38(4)16--16, 41(1)1--1, 41(3)15--15,
41(3)19--19, 43(3)10--10
-
overhead, low-, 27(6)1097--1146, 29(1)3--3
-
overlapped, 30(4)23--23
-
overlapping, 30(4)23--23, 32(3)9--9
-
overlay, 32(4)12--12
-
Overload, 4(4)601--614
-
overloaded, 19(3)525--555, 27(6)1216--1269
-
overloading, 4(4)601--614, 10(2)189--203, 18(2)109--138, 21(3)502--526,
27(6)1216--1269
-
overloading-based, 17(3)431--447
-
overlook, 20(3)635--678
-
overlooked, 21(3)502--526
-
overpruning, 21(5)1028--1075
-
override, 27(6)1270--1343
-
overriding, 31(2)7--7
-
overrun-tolerant, 4(4)733--757
-
overview, 8(4)419--490, 8(4)491--523, 10(1)51--86, 13(2)211--236,
20(3)483--545, 38(4)14--14
-
OWASP, 41(3)18--18
-
Owicki, Susan, 4(3)455--495
-
Owicki:1982:PLP, 4(3)455--495
-
owing, 6(2)159--174
-
own, 15(4)706--734, 16(3)607--648, 19(3)413--426, 38(4)15--15, 40(2)6--6,
40(3)12--12, 41(2)8--8, 43(1)4--4
-
owner, 33(6)20--20
-
owner-as-modifier, 33(6)20--20
-
ownership, 18(6)659--682, 31(1)1--1, 31(3)11--11, 32(6)22--22,
33(6)20--20, 38(4)14--14, 42(3)14--14, 43(1)3--3
-
ownership., 29(6)35--35
-
Owshanko, Avi, 27(6)1097--1146
-
Owshanko, Avi, see Barabash, Katherine
-
Oyabu, Yuichiro, 43(2)5--5
-
Oyabu, Yuichiro, see Takisaka, Toru
-
Oz, 19(5)804--851, 21(3)569--626
-
oz.org, http://www/mozart-, 21(3)569--626