Index file section U for pacmpl.bib
Last update: Sun Sep 1 02:29:01 MDT 2024
Return to index directory
U
-
UB, 7(z)143--143
-
ubiquitous, 3(z)144--144, 3(z)182--182, 3(z)189--189, 4(z)11--11,
4(z)148--148, 5(z)43--43, 5(z)156--156, 7(z)92--92, 7(z)109--109,
7(z)292--292, 8(z)109--109
-
ubiquity, 7(z)81--81
-
UDF, 5(z)112--112
-
UDFs, 5(z)112--112
-
Udupa, Abhishek, 3(z)143--143
-
Udupa, Abhishek, see Miltner, Anders
-
Ueno, Katsuhiro, 2(z)81--81
-
Ueno, Katsuhiro, see Ohori, Atsushi
-
Ugare, Shubham, 6(z)75--75, 6(z)161--161, 7(z)185--185
-
Ugare, Shubham, see Laurel, Jacob
-
Ugare:2022:PTF, 6(z)75--75
-
Ugare:2023:IVN, 7(z)185--185
-
Ugawa, Tomoharu, 1(z)53--53, 7(z)130--130
-
Ugawa, Tomoharu, see Yamazaki, Tetsuro
-
Ugawa:2017:MCC, 1(z)53--53
-
Ulbrich, Mattias, 5(z)143--143
-
Ulbrich, Mattias, see Lanzinger, Florian
-
Ullrich, Sebastian, 1(z)34--34, 6(z)109--109
-
Ullrich, Sebastian, see Ebner, Gabriel
-
Ullrich:2022:DUE, 6(z)109--109
-
Ulmann, Christian, 5(z)162--162
-
Ulmann, Christian, see Pitchanathan, Arjun
-
ultimate, 3(z)116--116, 7(z)197--197, 8(z)23--23
-
ultimately, 8(z)32--32
-
unacceptable, 4(z)74--74
-
unacceptably, 2(z)152--152
-
unambiguous, 4(z)201--201, 7(z)58--58
-
unaware, 3(z)170--170
-
unbiased, 3(z)137--137
-
unbounded, 3(z)179--179, 5(z)87--87, 6(z)163--163, 7(z)102--102,
7(z)106--106
-
Unbounded, Doubly-, 7(z)81--81
-
unbox, 8(z)51--51
-
Unboxed, 8(z)51--51
-
unchained, 1(z)28--28, 6(z)109--109
-
unchanged, 4(z)70--70, 7(z)263--263
-
unchecked, 7(z)284--284
-
unclear, 3(z)142--142
-
uncommon, 2(z)116--116, 5(z)46--46
-
uncountable, 6(z)178--178
-
uncovering, 4(z)34--34, 8(z)111--111
-
Undecidability, 4(z)9--9
-
undecidable, 6(z)59--59, 7(z)34--34, 8(z)141--141
-
undefined, 3(z)133--133, 4(z)41--41, 7(z)143--143, 7(z)180--180
-
under-approximate, 6(z)34--34
-
Under-Constrained, 7(z)168--168
-
under-flows, 6(z)4--4
-
under-specified, 7(z)231--231
-
underlying, 2(z)121--121, 3(z)97--97, 3(z)147--147, 3(z)156--156,
4(z)178--178, 7(z)253--253
-
undermine, 4(z)202--202
-
underpin, 4(z)173--173, 5(z)5--5, 5(z)77--77, 5(z)149--149, 8(z)21--21
-
underpinning, 8(z)21--21
-
understand, 3(z)158--158, 4(z)124--124, 7(z)68--68, 7(z)265--265,
8(z)95--95
-
understand, easy-to-, 5(z)33--33
-
understandable, 7(z)94--94
-
understanding, 1(z)85--85, 2(z)136--136, 2(z)162--162, 3(z)189--189,
4(z)49--49, 4(z)136--136, 4(z)155--155, 5(z)145--145, 5(z)154--154,
5(z)155--155, 6(z)86--86, 7(z)68--68, 7(z)121--121, 8(z)92--92,
8(z)143--143
-
understood, 3(z)20--20, 3(z)80--80, 3(z)189--189, 4(z)84--84, 5(z)43--43,
7(z)43--43
-
understudied, 5(z)155--155
-
undesired, 2(z)116--116
-
unearthing, 8(z)73--73
-
Unembedding, 7(z)189--189
-
unexpected, 3(z)147--147, 5(z)63--63, 7(z)289--289
-
unexplored, 4(z)11--11, 6(z)37--37
-
Unfolding, 7(z)24--24
-
unfortunate, 3(z)125--125
-
Unfortunately, 2(z)66--66, 2(z)99--99, 2(z)109--109, 2(z)157--157,
2(z)161--161, 2(z)162--162, 3(z)5--5, 3(z)144--144, 3(z)145--145,
4(z)137--137, 5(z)53--53, 6(z)61--61, 7(z)15--15, 7(z)48--48,
7(z)211--211, 8(z)133--133
-
Unicode, 4(z)73--73
-
unidirectional, 5(z)105--105, 7(z)191--191
-
unification, 2(z)92--92, 4(z)154--154, 5(z)110--110, 5(z)167--167,
7(z)240--240
-
unification, Anti-, 7(z)14--14
-
unified, 1(z)8--8, 1(z)102--102, 3(z)5--5, 3(z)29--29, 4(z)90--90,
4(z)161--161, 7(z)32--32
-
uniform, 2(z)71--71, 4(z)74--74, 5(z)31--31, 6(z)70--70
-
uniformity, 5(z)31--31
-
uniformly, 2(z)67--67
-
unify, 4(z)90--90, 7(z)125--125, 7(z)200--200
-
unifying, 1(z)47--47, 1(z)70--70, 2(z)13--13, 2(z)100--100, 4(z)217--217,
5(z)27--27, 7(z)51--51, 7(z)93--93, 7(z)125--125, 7(z)292--292
-
unimodular-like, 6(z)170--170
-
uninitialized, 4(z)175--175, 5(z)6--6, 6(z)151--151
-
unintended, 7(z)253--253
-
uninterpreted, 4(z)35--35, 4(z)51--51, 4(z)61--61, 5(z)73--73
-
unintuitive, 8(z)59--59
-
union, 1(z)41--41, 2(z)112--112, 2(z)134--134, 4(z)61--61, 5(z)89--89,
5(z)159--159, 6(z)13--13, 6(z)141--141, 8(z)40--40
-
unique, 3(z)133--133, 4(z)71--71, 5(z)139--139, 6(z)105--105
-
uniqueness, 6(z)95--95, 8(z)131--131
-
UniRec, 6(z)170--170
-
UniSparse, 8(z)99--99
-
unit, 2(z)82--82, 3(z)186--186, 4(z)142--142, 5(z)50--50
-
unit-wise, 4(z)142--142
-
Unitary, 8(z)59--59
-
univalence, 2(z)92--92, 3(z)1--1, 3(z)87--87, 5(z)12--12
-
univalent, 2(z)44--44, 2(z)92--92
-
universal, 2(z)38--38, 5(z)64--64, 6(z)14--14, 7(z)30--30, 8(z)19--19,
8(z)82--82
-
universe, 2(z)90--90, 3(z)22--22, 6(z)32--32, 6(z)113--113, 7(z)57--57,
7(z)220--220
-
universities, 4(z)73--73
-
University, 4(z)86--86
-
UNIX, 3(z)113--113
-
Unix, 4(z)81--81, 5(z)65--65
-
unknown, 3(z)189--189, 4(z)41--41
-
unleashing, 5(z)147--147
-
unless, 2(z)139--139
-
unlike, 2(z)116--116, 4(z)98--98, 6(z)79--79, 7(z)120--120, 7(z)134--134,
8(z)56--56
-
unloved, 2(z)79--79
-
unmanaged, 4(z)176--176
-
unmodified, 7(z)94--94
-
unnecessary, 2(z)139--139, 3(z)153--153, 4(z)91--91, 5(z)46--46,
7(z)266--266
-
Unno, Hiroshi, 2(z)12--12, 6(z)63--63, 7(z)21--21, 7(z)71--71,
7(z)72--72, 8(z)5--5
-
Unno, Hiroshi, see Gu, Yu, \see{Kawamata, Fuga,
see Sekiyama, Taro, \see{Tsukada, Takeshi
-
Unno:2018:RCR, 2(z)12--12
-
Unno:2023:MPD, 7(z)72--72
-
unnoticed, 4(z)211--211
-
unobservable, 3(z)142--142
-
unobserved, 3(z)179--179
-
unoptimized, 4(z)221--221
-
Unordered, 8(z)45--45
-
unpopular, 4(z)71--71
-
unpredictable, 3(z)189--189
-
Unrealizability, 7(z)23--23
-
unrealizable, 7(z)23--23
-
unreliable, 2(z)112--112
-
unrestricted, 2(z)109--109
-
unsafe, 2(z)66--66, 4(z)34--34, 4(z)41--41, 4(z)136--136, 5(z)121--121,
6(z)116--116, 6(z)151--151, 7(z)15--15, 7(z)94--94
-
unsafe, memory-, 7(z)15--15
-
unsatisfying, 2(z)106--106
-
unseen, 4(z)56--56
-
unsound, 4(z)208--208, 6(z)142--142
-
unsoundness, 1(z)68--68, 6(z)138--138
-
unstructured, 3(z)170--170, 6(z)90--90, 7(z)188--188
-
unsynchronized, 3(z)156--156
-
until, 3(z)85--85, 4(z)175--175
-
untrusted, 3(z)84--84, 4(z)32--32, 6(z)27--27, 6(z)154--154
-
untyped, 2(z)87--87, 2(z)133--133, 3(z)122--122, 4(z)119--119,
5(z)53--53, 5(z)127--127, 6(z)121--121, 7(z)241--241
-
unusual, 3(z)142--142, 4(z)78--78, 4(z)193--193
-
unusually, 4(z)193--193, 6(z)55--55
-
unveils, 3(z)189--189
-
Unverified, 8(z)74--74
-
unwanted, 2(z)116--116, 3(z)189--189, 4(z)133--133
-
unwinding, 3(z)146--146
-
uous, 6(z)120--120
-
Up, Bottom-, 8(z)52--52
-
up, Bottom-, 6(z)21--21
-
up, bottom-, 4(z)22--22, 4(z)227--227, 5(z)54--54, 6(z)21--21,
8(z)52--52, 8(z)92--92
-
Up-to, 2(z)43--43
-
upcoming, 3(z)128--128
-
update, 2(z)74--74, 2(z)127--127, 3(z)95--95, 4(z)160--160, 5(z)148--148
-
updated, 3(z)142--142
-
updating, 5(z)148--148, 7(z)31--31
-
uploaded, 3(z)189--189
-
upon, 1(z)74--74, 4(z)96--96, 5(z)5--5, 6(z)56--56, 7(z)181--181,
7(z)296--296, 8(z)119--119
-
upper, 4(z)110--110, 5(z)52--52
-
Upper-Bounds, 7(z)253--253
-
upper-bounds, 7(z)253--253
-
upsert, 5(z)113--113
-
Urban, Caterina, 4(z)185--185, 8(z)55--55
-
Urban, Caterina, see Campion, Marco
-
Urban:2020:PPF, 4(z)185--185
-
Urbat, Henning, 7(z)22--22
-
Urbat, Henning, see Goncharov, Sergey
-
\urlhttps://github.com/FP-Analysis/atomic-condition, 4(z)60--60
-
usability, 2(z)120--120, 3(z)151--151, 4(z)132--132
-
usable, 4(z)132--132, 5(z)155--155, 6(z)97--97, 8(z)21--21
-
usage, 1(z)83--83, 3(z)13--13, 3(z)81--81, 3(z)110--110, 4(z)24--24,
4(z)142--142, 4(z)214--214, 5(z)17--17, 5(z)50--50, 5(z)145--145,
6(z)160--160, 7(z)196--196, 7(z)253--253, 8(z)107--107
-
usage, cast-, 3(z)158--158
-
usage-aware, 5(z)50--50
-
usage-based, 1(z)83--83
-
Usage-Pattern-Based, Container-, 7(z)256--256
-
usage-sensitive, 6(z)31--31
-
use-after-free, 7(z)86--86
-
used, commonly-, 6(z)159--159
-
used, heavily-, 7(z)293--293
-
used, widely-, 3(z)147--147, 4(z)34--34, 4(z)60--60, 4(z)98--98,
6(z)67--67, 6(z)159--159, 7(z)103--103, 8(z)98--98, 8(z)116--116,
8(z)141--141
-
useful, 2(z)68--68, 2(z)106--106, 2(z)147--147, 3(z)86--86, 3(z)152--152,
3(z)168--168, 4(z)2--2, 4(z)6--6, 4(z)41--41, 4(z)43--43, 4(z)45--45,
4(z)49--49, 4(z)55--55, 4(z)76--76, 4(z)102--102, 4(z)157--157,
4(z)171--171, 4(z)229--229, 5(z)13--13, 5(z)34--34, 5(z)64--64,
5(z)72--72, 5(z)116--116, 5(z)138--138, 5(z)155--155, 6(z)4--4,
6(z)98--98, 6(z)151--151, 7(z)42--42, 7(z)65--65, 7(z)85--85,
7(z)98--98, 7(z)102--102, 7(z)104--104
-
useful, runtime-, 4(z)91--91
-
usefulness, 3(z)160--160, 4(z)84--84, 6(z)4--4, 7(z)97--97
-
Useless, 8(z)77--77
-
user, 1(z)106--106, 2(z)129--129, 2(z)162--162, 3(z)94--94, 3(z)109--109,
3(z)125--125, 3(z)143--143, 3(z)147--147, 3(z)151--151,
3(z)160--160, 4(z)73--73, 4(z)81--81, 4(z)84--84, 4(z)160--160,
4(z)191--191, 4(z)205--205, 4(z)211--211, 5(z)2--2, 5(z)30--30,
5(z)100--100, 5(z)112--112, 5(z)125--125, 5(z)134--134,
5(z)140--140, 5(z)150--150, 6(z)7--7, 6(z)11--11, 6(z)55--55,
6(z)85--85, 6(z)116--116, 6(z)164--164, 7(z)82--82, 7(z)95--95,
7(z)166--166, 7(z)200--200, 7(z)218--218, 7(z)253--253,
7(z)273--273, 8(z)103--103, 8(z)119--119
-
User-Customizable, 7(z)82--82
-
user-defined, 1(z)13--13, 5(z)33--33, 5(z)102--102, 5(z)112--112
-
user-provided, 7(z)33--33
-
user-specified, 3(z)186--186
-
user-supplied, 7(z)87--87
-
users, end-, 6(z)133--133
-
usual, 4(z)41--41, 5(z)12--12, 5(z)148--148, 6(z)66--66
-
usually, 2(z)88--88, 2(z)166--166, 3(z)146--146, 3(z)170--170,
3(z)173--173, 4(z)142--142, 4(z)171--171, 4(z)174--174,
4(z)175--175, 5(z)78--78, 6(z)60--60, 7(z)147--147
-
utensils, 6(z)125--125
-
utility, 3(z)113--113
-
utilized, 7(z)246--246
-
utilizes, 8(z)145--145
-
utilizing, 6(z)148--148, 7(z)86--86, 7(z)228--228
-
utmost, 4(z)20--20
-
Uustalu, Tarmo, 6(z)123--123
-
Uustalu, Tarmo, see Katsumata, Shin-ya