Index file section O for pacmpl.bib
Last update: Sun May 19 02:04:08 MDT 2024
Return to index directory
O
-
O'Connor, Liam, 7(z)47--47, 8(z)3--3
-
O'Connor, Liam, see Chen, Zilin,
see Qin, Xueying
-
O'Hearn, Peter W., 2(z)144--144, 4(z)10--10, 6(z)34--34, 6(z)81--81
-
O'Hearn, Peter W., see Blackshear, Sam,
see Le, Quang Loc, \see{Raad, Azalea
-
O, big-, 4(z)97--97
-
Oancea, Cosmin E., 2(z)97--97
-
Oancea, Cosmin E., see Elsman, Martin
-
Oberhauser, Jonas, 5(z)98--98
-
Oberhauser, Jonas, see Lahav, Ori
-
obeys, 4(z)72--72
-
object, 1(z)45--45, 1(z)46--46, 1(z)89--89, 2(z)20--20, 2(z)48--48,
2(z)79--79, 2(z)99--99, 2(z)142--142, 2(z)151--151, 3(z)1--1,
3(z)3--3, 3(z)121--121, 3(z)130--130, 3(z)145--145, 4(z)9--9,
4(z)30--30, 4(z)72--72, 4(z)74--74, 4(z)81--81, 4(z)114--114,
4(z)175--175, 4(z)176--176, 4(z)197--197, 4(z)208--208,
4(z)222--222, 5(z)9--9, 5(z)69--69, 5(z)139--139, 5(z)145--145,
5(z)148--148, 5(z)149--149, 5(z)159--159, 6(z)58--58, 6(z)80--80,
6(z)151--151, 6(z)179--179, 7(z)31--31, 7(z)83--83, 7(z)189--189,
7(z)256--256, 7(z)268--268, 7(z)270--270, 8(z)109--109,
8(z)134--134, 8(z)140--140
-
object-based, 6(z)42--42
-
object-level, 4(z)88--88
-
Object-Oriented, 7(z)83--83
-
object-oriented, 2(z)130--130, 2(z)153--153, 3(z)11--11, 3(z)148--148,
4(z)174--174, 4(z)188--188, 5(z)104--104, 5(z)148--148, 6(z)58--58,
7(z)28--28, 7(z)105--105, 7(z)252--252, 7(z)268--268, 7(z)270--270,
7(z)295--295
-
Object-Sensitive, 7(z)256--256
-
object-sensitive, 3(z)148--148
-
object-sensitivity, 2(z)142--142, 3(z)148--148
-
objective, 5(z)3--3, 7(z)261--261, 8(z)16--16
-
Objective-C, 4(z)82--82
-
Obliv, 4(z)50--50
-
oblivious, 4(z)50--50, 6(z)51--51, 7(z)147--147, 8(z)144--144
-
obliviousness, 4(z)50--50
-
obscure, 3(z)146--146, 3(z)168--168
-
observability, 4(z)200--200
-
observable, 4(z)50--50, 4(z)200--200, 5(z)142--142, 7(z)175--175,
7(z)280--280
-
observable, partially-, 4(z)200--200
-
observation, 3(z)133--133, 4(z)111--111, 4(z)200--200, 5(z)17--17,
6(z)4--4, 6(z)184--184, 7(z)56--56, 7(z)138--138
-
observational, 5(z)4--4, 6(z)32--32, 7(z)74--74, 7(z)254--254, 8(z)8--8
-
observe, 3(z)153--153, 3(z)159--159, 3(z)179--179, 3(z)186--186,
4(z)121--121, 5(z)58--58, 5(z)98--98, 5(z)141--141, 7(z)9--9
-
observed, 2(z)141--141, 2(z)145--145, 4(z)132--132, 7(z)68--68
-
Observers, 8(z)43--43
-
observing, 2(z)102--102
-
Observing, Message-, 8(z)142--142
-
observing, Message-, 8(z)142--142
-
observing, message-, 8(z)142--142
-
Obsidian, 4(z)132--132
-
obstacle, 3(z)147--147, 8(z)119--119
-
obtain, 2(z)94--94, 4(z)60--60, 4(z)97--97, 4(z)128--128, 5(z)143--143,
6(z)33--33, 6(z)159--159
-
obtainable, 5(z)51--51
-
obtaining, 4(z)227--227, 5(z)32--32, 6(z)137--137, 7(z)167--167
-
obvious, 2(z)101--101, 4(z)73--73
-
obviously, 3(z)146--146, 5(z)156--156
-
OCaml, 1(z)4--4, 2(z)103--103, 3(z)112--112, 4(z)86--86, 4(z)96--96,
4(z)98--98, 4(z)113--113, 5(z)66--66, 6(z)114--114, 6(z)116--116,
7(z)209--209, 7(z)216--216, 7(z)247--247, 8(z)101--101
-
occur, 2(z)146--146, 4(z)74--74, 4(z)136--136, 5(z)36--36, 5(z)136--136,
7(z)282--282, 8(z)92--92
-
occurred, 3(z)170--170
-
occurrence, 2(z)90--90, 2(z)162--162, 4(z)131--131, 5(z)74--74,
6(z)13--13
-
odd, round-to-, 6(z)3--3
-
Oddly, 5(z)157--157
-
Odersky, Martin, 2(z)42--42, 4(z)175--175, 6(z)37--37, 8(z)136--136
-
Odersky, Martin, see Blanvillain, Olivier,
see Liu, Fengyun, \see{Xu, Yichen
-
Odersky:2018:SFA, 2(z)42--42
-
of-gas, Out-, 7(z)253--253
-
of-gas, out-, 2(z)116--116
-
of-memory, out-, 4(z)204--204
-
of-order, out-, 4(z)147--147, 8(z)21--21
-
of-the-art, state-, 2(z)83--83, 2(z)109--109, 3(z)120--120,
3(z)147--147, 3(z)151--151, 3(z)160--160, 3(z)170--170, 4(z)60--60,
6(z)4--4, 6(z)25--25, 6(z)52--52, 6(z)159--159, 7(z)233--233,
8(z)9--9, 8(z)32--32, 8(z)92--92, 8(z)112--112
-
of-thin-air'', ``out-, 2(z)136--136
-
of-thin-air, out-, 2(z)136--136
-
of-time, ahead-, 4(z)168--168
-
off, 4(z)188--188, 5(z)132--132
-
off, trade-, 4(z)30--30, 6(z)49--49, 6(z)160--160, 7(z)229--229
-
off-the-shelf, 2(z)47--47, 3(z)189--189
-
offer, 2(z)77--77, 2(z)79--79, 2(z)126--126, 3(z)5--5, 3(z)163--163,
4(z)145--145, 4(z)226--226, 4(z)230--230, 5(z)6--6, 5(z)18--18,
5(z)33--33, 5(z)92--92, 5(z)107--107, 5(z)126--126, 5(z)130--130,
6(z)23--23, 6(z)148--148, 7(z)18--18, 7(z)115--115, 7(z)178--178,
7(z)242--242, 7(z)244--244, 8(z)50--50, 8(z)101--101, 8(z)115--115
-
offering, 7(z)118--118, 7(z)238--238, 8(z)21--21
-
Offline, 7(z)227--227
-
offload, 3(z)186--186
-
offs, trade-, 4(z)7--7, 7(z)261--261
-
often, 2(z)47--47, 2(z)99--99, 2(z)100--100, 2(z)104--104, 2(z)109--109,
2(z)129--129, 2(z)150--150, 2(z)151--151, 2(z)164--164, 3(z)99--99,
3(z)125--125, 3(z)129--129, 3(z)143--143, 3(z)150--150,
3(z)152--152, 3(z)159--159, 3(z)163--163, 3(z)172--172,
3(z)180--180, 3(z)183--183, 4(z)6--6, 4(z)38--38, 4(z)103--103,
4(z)126--126, 4(z)127--127, 4(z)168--168, 4(z)169--169,
4(z)191--191, 4(z)195--195, 4(z)212--212, 4(z)220--220,
4(z)231--231, 5(z)51--51, 5(z)74--74, 5(z)75--75, 5(z)83--83,
5(z)96--96, 5(z)106--106, 5(z)108--108, 5(z)116--116, 5(z)125--125,
5(z)127--127, 5(z)135--135, 5(z)140--140, 6(z)4--4, 6(z)20--20,
6(z)52--52, 6(z)57--57, 6(z)75--75, 6(z)113--113, 6(z)143--143,
6(z)146--146, 6(z)164--164, 6(z)182--182, 7(z)89--89, 7(z)116--116,
7(z)139--139, 7(z)171--171, 7(z)200--200, 7(z)234--234,
7(z)283--283, 8(z)20--20, 8(z)73--73, 8(z)119--119, 8(z)126--126,
8(z)133--133
-
Oftentimes, 5(z)77--77, 6(z)147--147
-
OGIS, 7(z)103--103
-
Oh, Hakjoo, 1(z)100--100, 1(z)101--101, 2(z)140--140, 2(z)158--158,
3(z)188--188, 4(z)179--179, 6(z)58--58, 7(z)87--87
-
Oh, Hakjoo, see Chae, Kwonsoo,
see Jeon, Minseok, \see{Jeong, Sehun,
see Kang, Chan Gu, \see{Lee, Junho,
see Song, Dowon
-
OHearn:2020:IL, 4(z)10--10
-
Öhman, Joakim, 2(z)23--23, 6(z)33--33,
see Abel, Andreas
-
Ohman:2022:VRC, 6(z)33--33
-
Ohori, Atsushi, 2(z)81--81
-
Ohori:2018:FPO, 2(z)81--81
-
Ohrem, Christoph, 5(z)38--38, 8(z)2--2
-
Ohrem, Christoph, see Gutsfeld, Jens Oliver
-
Olausson, Theo X., 7(z)41--41
-
Olausson, Theo X., see Bowers, Matthew
-
old, 3(z)85--85, 3(z)88--88, 4(z)1--1, 5(z)148--148
-
Olimpieri, Federico, 7(z)8--8
-
Olimpieri, Federico, see Kerinec, Axel
-
Oliveira, Bruno C. d. S., 1(z)47--47, 3(z)112--112, 4(z)53--53,
4(z)206--206, 4(z)223--223, 5(z)89--89, 6(z)131--131, 7(z)18--18,
7(z)31--31, 7(z)48--48, 7(z)295--295
-
Oliveira, Bruno C. d. S., see Cui, Chen,
see Huang, Xuejing,
see Marntirosian, Koar, \see{Rioux, Nick,
see Sun, Yaozhu, \see{Xie, Ningning,
see Xu, Han, \see{Yang, Yanpeng,
see Zhao, Jinxu, \see{Zhou, Litao,
see Zhou, Yaoda
-
Olm, Markus, Müller-, 5(z)38--38, 8(z)2--2
-
Olmedo, Federico, 7(z)84--84
-
Olmedo, Federico, see Ye, Wenjia
-
Olteanu, Dan, 6(z)89--89
-
Olteanu, Dan, see Shaikhha, Amir
-
Olukotun, Kunle, 5(z)128--128, 7(z)122--122
-
Olukotun, Kunle, see Bansal, Manya,
see Henry, Rawn
-
Ölveczky, Peter Csaba, 6(z)136--136, see Liu, Si
-
Omar, Cyrus, 2(z)106--106, 3(z)14--14, 4(z)109--109, 7(z)96--96,
8(z)68--68
-
Omar, Cyrus, see Lubin, Justin,
see Yuan, Yongwei, \see{Zhao, Eric
-
Omar:2018:RPL, 2(z)106--106
-
Omar:2019:LFP, 3(z)14--14
-
omitting, 4(z)211--211
-
on-a-chip, laboratories-, 2(z)128--128
-
On-Demand, 7(z)292--292
-
on-demand, 4(z)33--33, 5(z)80--80
-
on-par, 6(z)148--148
-
On-the-Fly, 8(z)42--42
-
once, 2(z)113--113, 3(z)125--125, 3(z)184--184, 4(z)91--91, 4(z)104--104,
6(z)95--95, 6(z)113--113, 7(z)43--43, 7(z)263--263, 8(z)32--32
-
one, 2(z)68--68, 2(z)77--77, 2(z)95--95, 2(z)108--108, 2(z)113--113,
2(z)122--122, 2(z)133--133, 2(z)144--144, 2(z)148--148,
2(z)155--155, 2(z)159--159, 3(z)2--2, 3(z)84--84, 3(z)92--92,
3(z)117--117, 3(z)120--120, 3(z)158--158, 3(z)169--169,
3(z)170--170, 4(z)7--7, 4(z)22--22, 4(z)31--31, 4(z)43--43,
4(z)48--48, 4(z)50--50, 4(z)73--73, 4(z)74--74, 4(z)96--96,
4(z)99--99, 4(z)113--113, 4(z)117--117, 4(z)147--147, 4(z)207--207,
4(z)212--212, 4(z)224--224, 5(z)16--16, 5(z)34--34, 5(z)122--122,
5(z)147--147, 5(z)148--148, 5(z)153--153, 5(z)164--164, 6(z)3--3,
6(z)15--15, 6(z)24--24, 6(z)25--25, 6(z)28--28, 6(z)57--57,
6(z)64--64, 6(z)78--78, 6(z)92--92, 6(z)116--116, 6(z)120--120,
6(z)161--161, 7(z)17--17, 7(z)19--19, 7(z)39--39, 7(z)64--64,
7(z)68--68, 7(z)75--75, 7(z)76--76, 7(z)82--82, 7(z)94--94,
7(z)121--121, 7(z)128--128, 7(z)137--137, 7(z)144--144,
7(z)177--177, 7(z)187--187, 7(z)194--194, 7(z)200--200,
7(z)215--215, 7(z)239--239, 7(z)241--241, 7(z)245--245,
7(z)263--263, 7(z)281--281, 7(z)286--286, 7(z)291--291, 8(z)8--8,
8(z)21--21, 8(z)78--78, 8(z)81--81, 8(z)87--87
-
one-fit-for-all, 8(z)63--63
-
one-time, 3(z)160--160
-
Ong, 8(z)87--87
-
Ong, C.-H. Luke, 2(z)11--11
-
Ong, C.-H. Luke, see Burn, Toby Cathcart
-
ongoing, 6(z)186--186, 8(z)99--99
-
online, 2(z)48--48, 2(z)119--119, 3(z)115--115, 3(z)182--182,
3(z)189--189, 4(z)42--42, 4(z)198--198, 6(z)157--157, 8(z)97--97,
8(z)145--145
-
only, 1(z)54--54, 2(z)47--47, 2(z)106--106, 2(z)108--108, 2(z)121--121,
2(z)141--141, 3(z)14--14, 3(z)29--29, 3(z)139--139, 3(z)153--153,
3(z)160--160, 3(z)180--180, 3(z)187--187, 3(z)189--189, 4(z)32--32,
4(z)73--73, 4(z)77--77, 4(z)81--81, 4(z)129--129, 4(z)199--199,
4(z)207--207, 5(z)47--47, 5(z)96--96, 5(z)100--100, 5(z)148--148,
6(z)22--22, 6(z)34--34, 6(z)36--36, 6(z)85--85, 6(z)139--139,
6(z)154--154, 7(z)43--43, 7(z)68--68, 7(z)100--100, 7(z)134--134,
7(z)153--153, 7(z)216--216, 7(z)253--253, 7(z)268--268,
7(z)287--287, 8(z)68--68, 8(z)78--78, 8(z)109--109, 8(z)135--135
-
onto, 3(z)29--29, 4(z)113--113
-
OO, 4(z)174--174, 6(z)179--179
-
OOP, 8(z)129--129
-
OOTA, 2(z)136--136
-
op-based, 4(z)94--94, 6(z)188--188
-
open, 2(z)108--108, 2(z)136--136, 2(z)162--162, 3(z)27--27, 3(z)124--124,
3(z)125--125, 3(z)185--185, 4(z)9--9, 4(z)32--32, 4(z)73--73,
4(z)114--114, 4(z)148--148, 5(z)164--164, 6(z)174--174, 7(z)21--21,
8(z)72--72
-
open-source, 3(z)170--170, 3(z)177--177, 4(z)73--73, 4(z)84--84
-
open-sourced, 4(z)73--73
-
OpenACC, 7(z)111--111
-
OpenCL, 4(z)92--92, 4(z)226--226, 7(z)111--111
-
operate, 2(z)119--119, 3(z)153--153, 3(z)183--183, 7(z)30--30,
7(z)277--277
-
operating, 3(z)136--136, 4(z)160--160, 7(z)1--1, 7(z)266--266
-
operation, 2(z)100--100, 2(z)162--162, 3(z)22--22, 3(z)106--106,
3(z)157--157, 3(z)158--158, 4(z)26--26, 4(z)34--34, 4(z)55--55,
4(z)60--60, 4(z)61--61, 4(z)94--94, 4(z)128--128, 4(z)131--131,
4(z)144--144, 4(z)168--168, 4(z)175--175, 5(z)24--24, 5(z)32--32,
5(z)47--47, 5(z)57--57, 5(z)73--73, 5(z)148--148, 5(z)160--160,
6(z)4--4, 6(z)20--20, 6(z)38--38, 6(z)44--44, 6(z)99--99,
6(z)123--123, 6(z)146--146, 6(z)170--170, 6(z)188--188, 7(z)31--31,
7(z)114--114, 7(z)140--140, 7(z)208--208, 7(z)253--253
-
Operation-based, 4(z)94--94, 6(z)188--188
-
operation-preserving, 5(z)12--12
-
operational, 1(z)19--19, 2(z)19--19, 2(z)68--68, 3(z)21--21, 3(z)25--25,
4(z)7--7, 4(z)38--38, 4(z)41--41, 4(z)96--96, 5(z)67--67, 6(z)8--8,
6(z)117--117, 7(z)22--22, 7(z)53--53, 7(z)139--139, 7(z)154--154,
7(z)230--230, 8(z)92--92, 8(z)135--135
-
operational-semantics-based, 5(z)13--13
-
operationally, 4(z)11--11
-
operator, 3(z)139--139, 3(z)167--167, 4(z)57--57, 4(z)193--193,
5(z)20--20, 5(z)87--87, 5(z)95--95, 5(z)152--152, 6(z)45--45,
6(z)120--120, 7(z)6--6, 7(z)18--18, 7(z)31--31, 8(z)96--96
-
opinion, 3(z)120--120
-
opportunity, 2(z)118--118, 2(z)138--138
-
optics, 2(z)84--84
-
optimal, 2(z)30--30, 2(z)135--135, 3(z)150--150, 4(z)36--36, 5(z)36--36,
6(z)35--35, 6(z)49--49, 6(z)160--160, 7(z)21--21, 7(z)137--137,
8(z)16--16
-
optimal, Jones-, 2(z)14--14
-
Optimal, Near-, 7(z)4--4
-
optimality, 7(z)261--261
-
optimisation, 3(z)97--97, 4(z)98--98
-
optimised, 7(z)12--12, 8(z)36--36
-
optimisers, 4(z)98--98
-
optimistic, 6(z)174--174
-
optimization, 2(z)47--47, 2(z)49--49, 2(z)70--70, 2(z)125--125,
2(z)126--126, 3(z)96--96, 3(z)125--125, 3(z)164--164, 3(z)186--186,
4(z)22--22, 4(z)41--41, 4(z)92--92, 4(z)115--115, 4(z)131--131,
4(z)133--133, 4(z)145--145, 4(z)147--147, 4(z)167--167,
4(z)168--168, 4(z)170--170, 4(z)195--195, 4(z)207--207, 5(z)3--3,
5(z)40--40, 5(z)86--86, 5(z)123--123, 5(z)130--130, 5(z)142--142,
5(z)144--144, 5(z)154--154, 5(z)162--162, 6(z)28--28, 6(z)29--29,
6(z)52--52, 6(z)55--55, 6(z)75--75, 6(z)91--91, 6(z)145--145,
6(z)153--153, 7(z)143--143, 7(z)181--181, 7(z)184--184,
7(z)222--222, 7(z)224--224, 7(z)236--236, 7(z)249--249, 8(z)89--89,
8(z)92--92, 8(z)98--98, 8(z)120--120
-
optimization-based, 7(z)50--50
-
optimize, 1(z)55--55, 4(z)130--130, 8(z)16--16
-
optimized, 2(z)110--110, 3(z)125--125, 3(z)177--177, 4(z)195--195,
4(z)207--207, 4(z)221--221, 5(z)113--113
-
optimized, hand-, 5(z)109--109
-
optimized, highly-, 3(z)125--125
-
optimizer, 4(z)73--73, 5(z)37--37, 5(z)74--74, 5(z)144--144,
7(z)140--140, 8(z)114--114
-
optimizing, 1(z)19--19, 2(z)81--81, 4(z)7--7, 4(z)92--92, 4(z)129--129,
4(z)158--158, 4(z)170--170, 4(z)177--177, 4(z)207--207, 5(z)74--74,
6(z)55--55, 6(z)61--61, 6(z)148--148, 7(z)5--5, 7(z)114--114,
7(z)146--146, 7(z)258--258, 7(z)290--290, 8(z)114--114,
8(z)120--120
-
optionally, 5(z)148--148
-
or, equality-, 3(z)3--3
-
oracle, 3(z)133--133, 3(z)177--177, 4(z)60--60, 5(z)93--93, 6(z)146--146,
6(z)159--159, 7(z)110--110, 8(z)92--92
-
oracle-free, 6(z)159--159
-
Oracle-Guided, 7(z)103--103
-
Oracle-guided, 7(z)103--103
-
oracle-NFAs, 8(z)92--92
-
Oraee, Simin, 3(z)180--180
-
Oraee, Simin, see Ozkan, Burcu Kulahcioglu
-
Orca, 1(z)72--72
-
Orchard, Dominic, 1(z)75--75, 3(z)110--110, 8(z)131--131
-
Orchard, Dominic, see Marshall, Daniel
-
Orchard:2017:VSP, 1(z)75--75
-
Orchard:2019:QPR, 3(z)110--110
-
Orchestration, 7(z)159--159
-
order, 2(z)31--31, 2(z)66--66, 2(z)135--135, 2(z)152--152, 2(z)162--162,
3(z)11--11, 3(z)20--20, 3(z)23--23, 3(z)124--124, 3(z)125--125,
3(z)142--142, 3(z)173--173, 4(z)26--26, 4(z)38--38, 4(z)60--60,
4(z)74--74, 4(z)82--82, 4(z)147--147, 4(z)220--220, 5(z)46--46,
5(z)47--47, 5(z)65--65, 6(z)49--49, 6(z)54--54, 6(z)70--70,
6(z)150--150, 6(z)158--158, 6(z)159--159, 7(z)55--55, 7(z)57--57,
7(z)68--68, 7(z)94--94, 7(z)129--129, 7(z)183--183, 7(z)253--253,
7(z)266--266, 7(z)268--268, 8(z)21--21, 8(z)33--33, 8(z)84--84
-
order'', ``in-, 7(z)183--183
-
Order, First-, 7(z)259--259
-
order, first-, 2(z)26--26, 3(z)102--102, 4(z)64--64,
5(z)145--145, 6(z)191--191, 7(z)69--69, 7(z)72--72, 7(z)190--190,
8(z)13--13, 8(z)40--40, 8(z)45--45, 8(z)84--84
-
Order, Higher-, 7(z)22--22, 7(z)36--36, 7(z)42--42, 7(z)62--62,
7(z)69--69, 7(z)89--89, 7(z)190--190, 7(z)236--236, 8(z)9--9,
8(z)14--14, 8(z)26--26, 8(z)47--47, 8(z)87--87
-
order, Higher-, 2(z)11--11, 3(z)102--102, 4(z)102--102,
5(z)93--93, 7(z)146--146
-
order, higher-, 1(z)21--21, 1(z)35--35, 1(z)36--36, 2(z)5--5,
2(z)12--12, 2(z)39--39, 2(z)51--51, 2(z)59--59, 2(z)60--60,
2(z)84--84, 2(z)93--93, 2(z)94--94, 2(z)97--97, 2(z)105--105,
2(z)161--161, 3(z)10--10, 3(z)97--97, 3(z)105--105, 3(z)166--166,
3(z)172--172, 4(z)6--6, 4(z)22--22, 4(z)57--57, 4(z)59--59,
4(z)63--63, 4(z)65--65, 4(z)110--110, 4(z)112--112, 4(z)115--115,
4(z)119--119, 5(z)3--3, 5(z)9--9, 5(z)10--10, 5(z)27--27, 5(z)28--28,
5(z)32--32, 5(z)42--42, 5(z)51--51, 5(z)69--69, 5(z)96--96,
5(z)139--139, 5(z)145--145, 6(z)23--23, 6(z)48--48, 6(z)82--82,
6(z)94--94, 6(z)102--102, 6(z)114--114, 6(z)122--122, 6(z)161--161,
7(z)2--2, 7(z)6--6, 7(z)22--22, 7(z)24--24, 7(z)127--127, 8(z)12--12,
8(z)106--106, 8(z)135--135
-
order, out-of-, 4(z)147--147, 8(z)21--21
-
order, partial-, 3(z)150--150
-
order, second-, 1(z)22--22, 6(z)53--53, 8(z)48--48
-
order-aware, 5(z)65--65
-
Order-Theoretic, 7(z)57--57
-
ordered, 7(z)68--68, 8(z)44--44
-
ordering, 6(z)158--158, 7(z)68--68, 8(z)21--21
-
ordinary, 4(z)81--81, 4(z)109--109
-
organises, 7(z)270--270
-
organization, 3(z)171--171, 4(z)77--77, 7(z)117--117
-
organize, 5(z)148--148, 7(z)85--85
-
organizing, 2(z)97--97
-
Oriented, 8(z)117--117
-
Oriented, Aspect-, 8(z)117--117
-
Oriented, Behaviour-, 7(z)276--276
-
oriented, genomics-, 3(z)125--125
-
Oriented, Object-, 7(z)83--83
-
oriented, Object-, 2(z)130--130, 2(z)153--153, 7(z)268--268
-
oriented, object-, 2(z)130--130, 3(z)11--11, 3(z)148--148,
4(z)174--174, 4(z)188--188, 5(z)104--104, 5(z)148--148, 6(z)58--58,
7(z)28--28, 7(z)105--105, 7(z)252--252, 7(z)270--270, 7(z)295--295
-
oriented, output-, 5(z)161--161
-
oriented, performance-, 2(z)120--120
-
oriented, proof-, 5(z)85--85
-
oriented, typestate-, 4(z)132--132
-
origin, 4(z)73--73, 4(z)75--75, 4(z)82--82
-
original, 2(z)127--127, 4(z)52--52, 4(z)221--221, 5(z)148--148,
6(z)48--48, 6(z)116--116, 6(z)159--159, 8(z)32--32
-
originally, 3(z)6--6, 4(z)80--80, 5(z)23--23, 7(z)68--68
-
originating, 4(z)1--1
-
ornamentation, 2(z)21--21
-
orthogonal, 6(z)127--127, 8(z)32--32
-
ortholattices, 8(z)39--39
-
orthologic, 8(z)39--39
-
OS, 8(z)123--123
-
OSH, 4(z)43--43
-
OSPF, 5(z)90--90
-
Ostermann, Klaus, 2(z)60--60, 2(z)111--111, 4(z)30--30, 4(z)93--93,
4(z)126--126, 6(z)106--106, 7(z)104--104, 7(z)255--255,
8(z)129--129
-
Ostermann, Klaus, see Binder, David,
see Brachthäuser, Jonathan Immanuel,
see Müller, Marius,
see Schuster, Philipp,
see {\'S}cibior, Adam
-
Ostermann:2022:IEL, 6(z)106--106
-
Osvald, Leo, 3(z)79--79
-
Osvald, Leo, see Cong, Youyou
-
Oswald, Nicolai, 7(z)153--153
-
Oswald, Nicolai, see Goens, Andrés
-
other, 2(z)70--70, 2(z)106--106, 2(z)108--108, 2(z)116--116,
2(z)129--129, 2(z)146--146, 2(z)151--151, 3(z)12--12, 3(z)78--78,
3(z)93--93, 3(z)106--106, 3(z)120--120, 3(z)142--142, 3(z)165--165,
3(z)179--179, 4(z)6--6, 4(z)21--21, 4(z)43--43, 4(z)54--54,
4(z)60--60, 4(z)69--69, 4(z)72--72, 4(z)73--73, 4(z)114--114,
4(z)115--115, 4(z)117--117, 4(z)136--136, 4(z)196--196,
4(z)210--210, 4(z)232--232, 5(z)73--73, 5(z)77--77, 5(z)80--80,
5(z)110--110, 5(z)148--148, 6(z)7--7, 6(z)29--29, 6(z)50--50,
6(z)57--57, 6(z)79--79, 6(z)89--89, 6(z)127--127, 7(z)51--51,
7(z)64--64, 7(z)122--122, 7(z)153--153, 7(z)200--200, 8(z)21--21,
8(z)72--72
-
otherwise, 5(z)96--96
-
Ott, Jason, 2(z)128--128
-
Ott:2018:BPS, 2(z)128--128
-
Ottoni, Guilherme, 5(z)144--144
-
Ottoni, Guilherme, see Moreira, Angélica Aparecida
-
Ou, Peizhao, 2(z)136--136
-
Ou:2018:TUC, 2(z)136--136
-
Ouaknine, Joël, 5(z)48--48, 6(z)65--65,
see Almagor, Shaull,
see Karimov, Toghrul
-
ours, 3(z)10--10, 4(z)45--45
-
out-of-gas, 2(z)116--116, 7(z)253--253
-
out-of-memory, 4(z)204--204
-
out-of-order, 4(z)147--147, 8(z)21--21
-
out-of-thin-air, 2(z)136--136
-
Outcome, 7(z)93--93, 8(z)104--104
-
outcomes, 6(z)152--152
-
outperforms, 3(z)120--120, 3(z)177--177, 7(z)253--253
-
output, 2(z)127--127, 3(z)169--169, 4(z)25--25, 4(z)81--81, 4(z)153--153,
4(z)157--157, 4(z)169--169, 5(z)22--22, 5(z)52--52, 5(z)148--148,
6(z)7--7, 6(z)79--79, 6(z)110--110, 7(z)175--175, 8(z)41--41,
8(z)45--45
-
output, input-, 4(z)62--62, 4(z)109--109, 4(z)205--205,
5(z)134--134, 7(z)33--33, 7(z)70--70, 7(z)87--87, 7(z)254--254,
8(z)74--74
-
output-oriented, 5(z)161--161
-
outset, 5(z)122--122
-
outstanding, 7(z)186--186
-
over-approximates, 5(z)118--118
-
over-approximation, 5(z)34--34, 7(z)138--138
-
overall, 2(z)163--163, 4(z)130--130, 5(z)148--148
-
overcome, 2(z)66--66, 5(z)60--60
-
overflow, 3(z)174--174, 6(z)4--4, 6(z)78--78
-
overflows-by, 5(z)103--103
-
overhead, 2(z)108--108, 2(z)120--120, 2(z)143--143, 2(z)162--162,
3(z)184--184, 4(z)168--168, 4(z)181--181, 5(z)46--46, 5(z)94--94,
5(z)143--143
-
overhead, low-, 8(z)21--21
-
overloading, 3(z)11--11, 7(z)18--18
-
overly, 6(z)53--53
-
overseeing, 4(z)73--73
-
Overwatch, 6(z)139--139
-
ow, 2(z)162--162
-
Owens, Scott, 1(z)18--18, 7(z)152--152
-
Owens, Scott, see Sewell, Thomas
-
Owens:2017:VEF, 1(z)18--18
-
Owicki, 4(z)45--45, 4(z)151--151
-
Owing, 6(z)78--78
-
own, 4(z)43--43, 4(z)74--74, 4(z)79--79, 5(z)165--165, 7(z)264--264
-
owned, 7(z)223--223
-
ownership, 4(z)132--132, 4(z)136--136, 5(z)5--5, 5(z)139--139,
7(z)94--94, 7(z)169--169, 7(z)265--265, 8(z)131--131
-
ownership-based, 2(z)66--66
-
ownership-centric, 6(z)116--116
-
ownership-tracking, 4(z)34--34
-
Oz, 4(z)83--83
-
Ozkan, Burcu Kulahcioglu, 2(z)160--160, 3(z)180--180, 4(z)210--210,
7(z)101--101
-
Ozkan, Burcu Kulahcioglu, see Dragoi, Cezara,
see Winter, Levin N.
-
Ozkan:2018:RTD, 2(z)160--160
-
Ozkan:2019:TAR, 3(z)180--180