Index file section U for toplas.bib
Last update: Thu Apr 11 02:12:53 MDT 2024
Return to index directory
U
-
u, 29(5)29--29
-
UAV, 32(4)13--13
-
ubiquitous, 34(1)6--6, 34(3)13--13
-
Ugawa, Tomoharu, 40(4)15--15
-
Ugawa:2018:TSL, 40(4)15--15
-
ugly, 38(2)4--4
-
Uh, Gang-Ryung, 24(6)667--697
-
Uh, Gang-Ryung, see Yang, Minghui
-
uilit, 3(3)224--250
-
ultimate, 30(2)7--7, 41(1)3--3
-
ultimately, 7(4)501--538
-
Ultracomputers, 2(4)484--521
-
UML, 32(4)13--13
-
unable, 15(5)745--770, 18(4)477--518, 41(2)13--13
-
unabstracted, 16(5)1512--1542
-
unacceptably, 22(5)773--815
-
unaccounted, 41(4)21--21
-
unaffected, 32(1)3--3
-
unaffectedness, 21(5)948--976
-
unambiguous, 7(2)183--213, 27(6)1216--1269
-
unanchored, 27(6)1147--1215
-
unary, 34(3)14--14
-
Unassigned, 6(4)449--467
-
unattended, 36(3)8--8
-
unattractive, 33(5)15--15
-
unauthorized, 45(1)3--3
-
unavailability, 41(3)16--16
-
unavoidable, 16(3)428--455
-
unblocked, 34(2)9--9
-
unbounded, 4(4)668--677, 15(4)659--680, 21(4)747--789, 27(6)1147--1215,
31(4)16--16, 32(5)18--18, 34(1)6--6, 39(2)8--8
-
Unbounded, Context-, 42(4)16--16
-
Unbounded-action, 12(1)84--101, 13(3)399--442
-
unboundedly, 4(4)668--677
-
uncaught, 22(2)340--377
-
uncertainty, 23(1)1--29, 39(2)8--8
-
unclear, 18(5)519--527
-
uncolorable, 18(3)300--324
-
uncommon, 21(3)569--626
-
uncomputable, 22(2)416--430
-
unconditional, 6(4)527--545
-
unconstrained, 41(3)18--18
-
uncorrupted, 21(3)430--501
-
uncover, 9(4)491--542, 28(5)942--965, 41(4)21--21
-
uncoverable, 36(4)14--14
-
uncovered, 31(3)12--12, 39(1)5--5, 41(4)21--21
-
uncurried, 19(1)87--152
-
undecidability, 16(5)1467--1471, 22(1)162--186, 24(5)554--565,
34(1)6--6, 34(4)16--16
-
undecidable, 21(4)747--789, 22(1)162--186, 22(2)416--430, 32(3)8--8,
34(4)16--16, 35(3)10--10, 36(3)9--9
-
under-approximating, 40(1)1--1, 43(2)5--5
-
underflow, 18(2)139--174
-
undergoing, 29(2)13--13
-
undergone, 29(2)13--13
-
underlie, 15(4)659--680, 31(5)19--19
-
underlying, 14(3)339--395, 14(4)521--573, 16(2)205--258, 16(3)524--576,
18(3)325--353, 18(5)615--647, 19(1)87--152, 30(4)19--19, 31(1)1--1,
31(3)9--9, 32(4)11--11, 34(1)6--6, 35(1)2--2, 36(1)1--1, 36(2)6--6,
36(3)8--8, 39(2)7--7, 40(1)2--2
-
undermine, 41(4)21--21
-
underpin, 31(4)15--15
-
Underpinned, 41(1)6--6
-
underpinning, 30(6)34--34, 37(4)11--11
-
understand, 4(2)149--178, 13(1)52--98, 20(2)274--301, 21(2)240--285,
21(6)1196--1250, 36(4)13--13, 37(3)8--8, 38(4)16--16, 40(3)10--10
-
understand, easy-to-, 37(3)8--8
-
understandability, 17(2)264--292, 39(4)17--17
-
understandable, 7(4)501--538, 38(4)16--16
-
understanding, 16(4)1097--1113, 16(6)1811--1841, 18(4)477--518,
18(6)711--729, 21(2)240--285, 21(5)948--976, 22(3)540--582,
28(3)476--516, 28(5)908--941, 31(6)20--20, 31(6)21--21, 32(6)23--23,
41(3)19--19, 42(3)15--15, 43(1)4--4
-
understood, 19(3)413--426, 19(6)1053--1084, 31(2)6--6, 33(5)16--16,
35(1)2--2, 43(1)3--3, 43(3)11--11, 44(3)19--19
-
understood, well-, 16(4)1248--1278, 31(2)8--8, 38(2)4--4
-
undertaken, 41(4)21--21
-
undesired, 39(2)6--6, 41(3)18--18
-
undo, 8(1)50--87, 9(2)277--295, 17(4)635--671
-
unexpectedly, 31(3)10--10
-
unexploited, 16(4)1248--1278, 32(3)9--9
-
unexplored, 40(1)1--1, 42(3)15--15
-
unfair, 7(4)501--538
-
unfold, 20(6)1251--1264, 34(1)2--2
-
unfold-fold, 18(2)175--234
-
unfoldash, 26(3)464--509
-
Unfold/Fold, 16(4)1081--1096
-
unfold/fold, 16(4)1081--1096
-
unfolding, 20(4)768--844, 28(2)256--289, 39(2)7--7
-
unforgeable, 4(3)382--401
-
unfortunate, 14(2)127--144, 19(3)413--426
-
Unfortunately, 13(1)52--98, 14(4)589--616, 16(3)727--774,
16(4)1248--1278, 16(4)1319--1360, 18(2)175--234, 21(4)703--746,
27(6)1270--1343, 28(2)331--388, 30(4)23--23, 31(2)7--7, 31(3)9--9,
34(2)9--9, 37(2)6--6, 38(2)5--5, 40(4)16--16, 41(1)2--2, 42(3)14--14,
44(3)19--19
-
Ungar, David, 14(1)1--27, 18(4)355--400
-
Ungar, David, see Hölzle, Urs
-
Ungar:1992:ATP, 14(1)1--27
-
Unger, Sebastian, 24(4)299--333
-
Unger:2002:HIL, 24(4)299--333
-
unguarded, 30(4)20--20
-
unidirectional, 4(4)758--762, 16(5)1472--1511, 18(3)268--299
-
unification, 4(2)258--282, 7(2)183--213, 8(4)547--576, 9(2)125--163,
16(3)687--726, 18(5)528--563, 20(4)768--844, 21(3)569--626,
22(1)1--44, 36(1)1--1
-
unification, semi-, 15(2)253--289
-
unification-based, 8(4)547--576, 20(4)768--844, 22(2)340--377,
30(4)18--18, 42(3)15--15
-
unified, 4(4)585--600, 7(2)183--213, 16(6)1842--1874, 18(4)477--518,
18(6)730--751, 20(2)344--387, 21(1)46--89, 22(5)773--815,
28(4)619--695, 31(6)20--20, 33(5)15--15, 37(1)4--4, 39(2)8--8,
40(2)5--5, 41(3)18--18
-
unifies, 20(4)845--868, 23(1)73--103, 31(2)7--7, 35(1)2--2
-
uniform, 2(1)122--128, 9(2)277--295, 9(3)319--349, 11(2)330--344,
15(3)563--573, 16(3)577--604, 16(5)1572--1612, 17(3)431--447,
18(4)454--476, 18(6)730--751, 19(5)751--803, 20(1)51--115,
20(5)1067--1109, 20(6)1131--1170, 22(4)583--637, 29(6)31--31,
32(5)19--19, 45(1)4--4
-
uniformity, 32(5)19--19
-
uniformly, 7(1)137--158, 14(3)339--395, 16(5)1472--1511
-
unifying, 28(4)747--793, 29(6)34--34
-
unintended, 16(3)649--686
-
uninterpreted, 14(3)339--395, 20(3)635--678
-
unintuitive, 16(3)798--842, 28(4)747--793
-
union, 4(4)615--649, 19(1)87--152, 20(6)1171--1194, 30(5)29--29,
38(1)3--3, 42(3)15--15
-
unique, 4(4)687--710, 17(4)600--634, 28(3)389--428, 41(3)14--14
-
uniquely, 4(4)758--762, 13(1)150--178, 14(4)574--588, 15(4)575--631
-
uniqueness, 32(6)22--22, 34(4)17--17
-
Unison, 41(3)17--17
-
unit, 10(2)189--203, 14(2)201--264, 16(1)151--174, 16(5)1572--1612,
18(4)355--400, 21(2)240--285, 28(1)134--174, 28(2)331--388,
31(1)4--4, 32(4)11--11, 34(1)4--4, 35(4)13--13, 38(3)10--10
-
unitary, 36(1)1--1
-
UNITY, 16(3)798--842, 17(1)16--27, 23(5)626--656
-
UNITY-like, 17(1)16--27
-
Univ, 3(2)126--143
-
universal, 13(1)124--149, 18(5)519--527, 28(3)429--475, 41(1)5--5,
44(4)23--23
-
universe, 22(5)861--931, 33(6)20--20, 45(2)7--7
-
University, 5(3)405--421, 8(4)491--523, 8(4)547--576, 9(2)235--256,
11(4)598--632, 20(4)869--916
-
UNIX, 13(1)1--20, 28(3)389--428
-
unknowingly, 41(1)4--4
-
unknown, 20(6)1171--1194, 28(5)848--907, 28(5)942--965, 30(1)4--4,
36(4)14--14, 38(2)5--5, 39(2)7--7
-
unless, 4(3)382--401, 17(2)197--216, 41(2)8--8
-
unlike, 4(4)601--614, 6(4)527--545, 7(4)501--538, 16(3)939--953,
18(4)401--423, 22(1)129--161, 22(4)701--771, 28(5)848--907,
30(6)32--32, 32(6)23--23, 33(5)15--15, 34(1)2--2, 34(3)11--11,
34(4)15--15, 35(2)8--8, 36(3)10--10, 38(2)4--4, 43(1)3--3
-
Unmanned, 32(4)13--13
-
unmodified, 31(5)17--17
-
unnecessarily, 20(5)980--1013, 20(6)1171--1194, 20(6)1297--1322,
40(4)14--14
-
unnecessary, 9(2)125--163, 14(2)173--200, 15(3)367--399,
16(4)1117--1155, 16(5)1648--1659, 17(2)293--330, 19(1)87--152,
21(3)430--501, 21(4)703--746, 28(5)908--941, 41(1)2--2
-
unobservable, 19(3)525--555
-
unoptimized, 16(3)387--427, 16(5)1431--1448, 28(1)70--105
-
unordered, 16(5)1572--1612
-
unpermissive, 38(3)8--8
-
unpredictably, 21(3)677--701
-
unprocessed, 15(5)771--794
-
unproductivity, 11(4)633--649
-
unpublished, 21(6)1196--1250
-
unreachability, 35(4)14--14
-
unreachable, 28(1)1--69
-
unreachable-code, 17(2)181--196
-
unrelated, 21(4)813--847, 33(4)12--12
-
unreliable, 14(3)417--461, 20(2)436--482, 38(2)4--4, 46(1)2--2
-
unresolved, 16(4)1248--1278
-
unrestricted, 36(3)9--9
-
unrolled, 20(6)1111--1130, 36(2)5--5
-
unrolling, 9(3)319--349, 16(4)1156--1214, 22(5)932--972, 37(4)12--12
-
unsafe, 17(2)217--227, 28(5)795--847
-
unsafe, type-, 28(3)517--575
-
unsatisfiability, 39(4)18--18
-
unsatisfiable, 39(4)18--18
-
unseen, 40(4)14--14
-
unsound, 38(2)7--7, 38(4)15--15
-
unsoundness, 28(3)429--475
-
unstructured, 17(4)600--634, 32(3)7--7
-
unsuitability, 18(1)16--29
-
unsuitable, 20(3)635--678, 28(1)1--69
-
unsuited, 22(2)265--295
-
until, 13(1)150--178, 14(4)490--520, 17(2)181--196, 17(4)576--599,
18(5)519--527, 31(3)9--9, 32(2)6--6, 32(5)17--17, 34(1)3--3,
35(1)3--3, 38(3)9--9, 43(3)10--10
-
untrusted, 21(3)527--568, 22(4)701--771, 39(2)7--7, 39(3)10--10
-
untyped, 13(2)269--290, 14(2)147--172, 17(1)47--62, 19(5)639--684,
21(3)502--526, 37(2)6--6, 45(1)4--4
-
Untyped, Typed-, 45(1)4--4
-
unused, 20(3)546--585
-
unusual, 17(4)561--575, 20(6)1251--1264
-
unusual., 16(5)1613--1647
-
unverified, 39(3)11--11
-
unwanted, 36(2)5--5
-
unwinding, 28(1)70--105
-
unworthy, 38(4)15--15
-
Unyapoth, Asis, 32(4)12--12
-
Unyapoth, Asis, see Sewell, Peter
-
Up, Bottom-, 15(1)133--181
-
up, Bottom-, 33(5)17--17, 42(2)8--8
-
up, bottom-, 4(4)601--614, 9(2)125--163, 15(1)133--181,
17(3)461--486, 20(4)707--723, 22(6)973--1001, 28(2)256--289,
33(5)17--17
-
up, clean-, 30(2)8--8
-
up, speed-, 14(1)54--106
-
up-to, 33(1)5--5, 41(4)22--22
-
updatable, 32(3)7--7
-
update, 11(4)598--632, 13(1)1--20, 13(3)315--341, 14(2)265--297,
16(3)328--369, 17(2)394--429, 20(1)1--50, 21(3)430--501, 28(1)1--69,
32(1)3--3, 32(5)18--18, 33(1)2--2, 34(4)16--16, 35(1)5--5,
36(4)13--13, 41(3)18--18
-
update, view-, 29(3)17--17
-
update-in-place, 21(3)430--501
-
updateable, 27(6)1049--1096
-
updated, 14(2)173--200, 27(6)1049--1096, 34(1)4--4
-
updating, 8(4)577--608, 16(2)259--303, 16(3)328--369, 20(1)1--50,
27(6)1049--1096, 29(4)22--22, 32(2)5--5, 36(4)13--13, 40(1)4--4,
46(1)4--4
-
upfront, 35(1)5--5
-
upgrade, 27(6)1049--1096
-
upgrade, no-sensitive-, 39(3)10--10
-
upon, 4(2)149--178, 4(3)382--401, 20(1)208--258, 22(2)296--339,
28(2)290--330, 31(2)7--7, 35(4)14--14, 36(3)8--8, 38(3)9--9,
41(1)6--6, 45(2)7--7
-
upper, 16(4)1248--1278, 20(6)1171--1194, 32(6)21--21, 34(1)2--2,
34(3)13--13, 38(4)13--13, 44(3)17--17
-
upstreamed, 43(2)8--8
-
Urabe, Natsuki, 43(2)5--5
-
Urabe, Natsuki, see Takisaka, Toru
-
Urban, Christian, 30(5)26--26
-
Urban, Christian, see Cheney, James
-
Urzyczyn, P., 15(2)290--311
-
Urzyczyn, P., see Kfoury, A. J.
-
usability, 40(3)10--10, 41(3)16--16, 43(1)2--2
-
usable, 21(6)1077--1136, 34(3)12--12, 38(3)8--8
-
usage, 5(2)236--264, 9(2)125--163, 14(2)127--144, 17(5)691--703,
20(2)436--482, 21(1)138--173, 21(4)790--812, 22(1)129--161,
22(3)540--582, 22(5)773--815, 23(2)105--186, 27(2)264--313,
30(2)8--8, 31(5)19--19, 31(6)21--21, 31(6)23--23, 32(2)4--4,
34(3)14--14, 35(2)8--8, 39(3)11--11, 40(3)9--9, 41(4)23--23
-
Use, Definition-, 16(2)175--204
-
use, definition-, 16(2)175--204, 18(3)268--299
-
Use-Def, 17(1)85--122
-
use-def, 30(6)32--32
-
use-definition, 16(2)175--204
-
useful, 4(4)527--551, 4(4)668--677, 4(4)678--686, 4(4)687--710,
6(4)527--545, 9(2)125--163, 9(3)297--318, 9(4)473--490,
14(2)127--144, 14(3)299--338, 15(4)659--680, 16(3)649--686,
16(3)798--842, 16(6)1699--1718, 17(1)63--84, 17(4)561--575,
17(4)600--634, 17(5)777--803, 18(1)73--108, 18(5)564--614,
19(3)462--491, 19(4)617--638, 19(6)853--898, 20(3)546--585,
20(6)1223--1250, 21(3)677--701, 21(4)790--812, 21(5)914--947,
22(2)296--339, 22(3)540--582, 30(4)18--18, 30(4)21--21, 31(2)7--7,
31(3)9--9, 31(6)21--21, 32(1)2--2, 32(3)7--7, 32(3)8--8, 32(3)9--9,
32(4)11--11, 32(6)23--23, 34(1)3--3, 34(3)14--14, 34(4)17--17,
35(1)3--3, 35(3)9--9, 35(4)13--13, 37(4)12--12, 38(1)3--3, 38(3)8--8,
38(3)12--12, 39(1)4--4, 40(2)6--6, 41(1)3--3, 43(1)1--1, 43(1)4--4,
43(2)6--6, 44(4)22--22
-
usefulness, 4(1)44--82, 4(1)83--112, 8(4)419--490, 11(4)633--649,
14(2)173--200, 16(3)687--726, 18(5)528--563, 19(6)853--898,
19(6)1053--1084, 24(6)593--624, 32(6)23--23, 41(1)4--4, 41(3)15--15
-
user, 4(1)1--20, 4(4)585--600, 4(4)711--732, 5(3)405--421, 5(4)513--531,
6(1)1--19, 7(2)183--213, 8(4)419--490, 8(4)524--546, 9(2)164--197,
9(2)277--295, 10(2)215--247, 12(2)143--177, 12(4)566--609,
14(1)54--106, 14(4)471--489, 16(3)387--427, 16(3)456--492,
16(3)727--774, 16(3)1024--1050, 16(4)1248--1278, 18(1)30--72,
19(1)153--187, 19(3)492--524, 20(4)869--916, 21(1)138--173,
21(2)240--285, 21(4)790--812, 21(6)1077--1136, 28(2)207--255,
28(3)517--575, 29(1)2--2, 32(2)4--4, 32(3)8--8, 36(2)7--7,
37(4)12--12, 38(3)9--9, 39(2)8--8, 41(3)18--18, 44(1)4--4, 46(1)2--2
-
user, single-, 28(5)908--941
-
user-adjustable, 21(1)138--173
-
user-annotation, 30(5)28--28
-
User-centered, 21(6)1077--1136
-
User-Defined, 2(2)137--152, 3(1)111--111
-
user-defined, 21(3)527--568, 30(4)18--18
-
user-directed, 37(4)12--12
-
user-generated, 17(1)63--84
-
user-oriented, 4(4)615--649
-
user-provided, 41(3)18--18
-
user-specified, 17(5)704--739, 41(3)18--18
-
User/Machine, 10(2)215--247, 12(2)143--177
-
ushered, 45(1)2--2
-
usual, 9(3)319--349, 14(4)589--616, 19(3)462--491, 21(6)1077--1136,
30(6)30--30, 30(6)33--33, 31(4)13--13, 32(1)2--2, 41(2)10--10,
41(3)17--17
-
usually, 6(4)632--646, 9(4)491--542, 16(3)524--576, 16(3)1010--1023,
17(1)47--62, 17(1)85--122, 18(3)235--253, 18(5)615--647,
19(3)444--461, 19(3)525--555, 21(1)46--89, 29(6)35--35, 30(5)29--29,
35(3)11--11, 36(1)1--1, 36(1)3--3, 39(2)7--7
-
utility, 7(2)183--213, 13(1)1--20, 16(6)1699--1718, 19(6)853--898,
20(2)274--301, 31(2)7--7
-
utilization, 7(4)501--538, 18(4)477--518, 20(6)1195--1222,
21(4)703--746, 27(6)1097--1146, 29(6)33--33, 32(3)9--9, 37(1)2--2
-
utilize, 14(1)1--27, 20(3)546--585, 40(2)7--7, 40(3)13--13, 41(3)19--19,
45(4)20--20
-
utilized, 9(2)125--163, 32(4)11--11
-
utilizing, 19(4)617--638, 22(5)932--972, 37(1)2--2