Index file section H for toplas.bib
Last update: Thu Jun 20 02:03:14 MDT 2024
Return to index directory
H
-
h, 4-, 14(1)1--27
-
H.0, 8(4)419--490
-
H.1.2, 10(2)215--247, 12(2)143--177
-
H.2.0, 16(3)775--797
-
H.2.1, 8(1)50--87, 8(4)577--608, 16(3)727--774, 16(3)775--797
-
H.2.3, 9(3)297--318, 15(3)494--534, 15(5)795--825
-
H.2.4, 8(4)577--608, 11(2)249--283, 12(2)178--202, 14(2)201--264,
15(5)795--825
-
H.2.5, 16(3)775--797
-
H.2.7, 8(1)50--87
-
H.3.2, 16(3)775--797
-
H.3.3, 11(1)115--146, 15(5)795--825
-
H.3.4, 15(5)795--825, 19(6)992--1030
-
H.4.1, 7(4)600--621
-
H.5.2, 21(6)1077--1136
-
Haas, Julian, 46(1)2--2
-
Haas:2024:LPM, 46(1)2--2
-
Habanero-Java, 35(1)3--3
-
hackers, 16(6)1699--1718, 42(3)14--14
-
Hacquard, Antoine, 43(2)8--8
-
Hacquard, Antoine, see Alglave, Jade
-
had, 14(3)299--338, 31(2)7--7, 32(6)23--23, 33(4)12--12, 34(1)1--1,
34(3)14--14
-
Hadzilacos, Vassos, 13(4)558--576
-
Hadzilacos, Vassos, see Lycklama, Edward A.
-
Hagemann, Robert, 8(4)419--490
-
Hagemann, Robert, see Swinehart, Daniel
-
Haghighat, Mohammad R., 18(4)477--518
-
Haghighat:1996:SAP, 18(4)477--518
-
Hague, Matthew, 41(2)12--12
-
Hague:2019:CMC, 41(2)12--12
-
Hähnle, Reiner, 46(1)3--3, see Din, Crystal Chang
-
Hailperin, Max, 20(6)1297--1322, 27(3)571--582
-
Hailperin:1998:COC, 20(6)1297--1322
-
Hailperin:2005:CCC, 27(3)571--582
-
Hailpern, Brent, 14(2)201--264
-
Hailpern, Brent, see Kaiser, Gail E.
-
Haines, N., 16(6)1719--1736
-
Haines:1994:CFC, 16(6)1719--1736
-
half, 21(3)430--501, 35(2)7--7
-
Hall, Cordelia V., 18(2)109--138
-
Hall, Mary W., 27(4)662--731
-
Hall:1996:TCH, 18(2)109--138
-
Hall:2005:IPA, 27(4)662--731
-
Halstead, Jr., Robert H., 7(4)501--538
-
Halstead:1985:MLC, 7(4)501--538
-
halt, 38(4)16--16
-
halted, 15(5)745--770
-
Halterman, Richard, 23(6)776--796
-
Halterman, Richard, see Vander Zanden, Bradley T.
-
Hamlen, Kevin W., 28(1)175--205
-
Hamlen:2006:CCE, 28(1)175--205
-
Hamlet, Richard, 3(3)211--223
-
Hamlet, Richard, see Gannon, John
-
Hammer, Christian, 34(1)4--4
-
Hammer, Christian, see Dolby, Julian
-
Hammond, Kevin, 18(2)109--138
-
Hammond, Kevin, see Hall, Cordelia V.
-
Hamouda, Sara S., 41(3)15--15
-
Hamouda, Sara S., see Grove, David
-
Han, Taisook, 29(6)39--39
-
Han, Taisook, see Seo, Sunae
-
Hancock, 26(2)301--338
-
hand, 4(2)295--322, 16(3)524--576, 16(3)1010--1023, 16(4)1215--1247,
16(6)1661--1674, 16(6)1768--1810, 18(5)615--647, 20(3)483--545,
21(3)502--526, 21(4)790--812, 21(6)1196--1250, 22(1)87--128,
22(2)265--295, 28(4)715--746, 28(5)795--847, 28(5)908--941,
34(4)17--17, 35(3)11--11, 36(1)3--3, 36(4)14--14, 41(3)19--19,
41(4)21--21
-
hand, right-, 4(2)179--195, 22(1)162--186
-
hand-annotated, 28(2)207--255
-
hand-coded, 17(5)691--703
-
hand-crafted, 16(4)1215--1247, 32(6)24--24, 41(2)13--13
-
hand-tuning, 21(4)703--746
-
hand-written, 21(2)286--323
-
Handelman, 41(4)20--20
-
handiwork, 27(6)1147--1215
-
handle, 4(2)226--238, 4(3)382--401, 4(4)668--677, 9(3)367--389,
13(2)237--268, 15(4)632--658, 16(2)175--204, 16(2)259--303,
16(3)387--427, 16(3)428--455, 17(1)123--156, 19(4)617--638,
19(6)992--1030, 20(1)208--258, 20(6)1297--1322, 21(3)569--626,
21(4)848--894, 22(2)296--339, 22(6)973--1001, 23(1)1--29,
30(4)19--19, 34(3)11--11, 35(1)3--3, 35(2)8--8, 37(1)1--1, 39(2)8--8,
40(1)3--3, 41(1)1--1
-
handled, 4(4)687--710, 9(3)319--349, 16(2)175--204, 18(2)139--174,
18(4)477--518, 18(6)752--779, 22(2)340--377, 22(6)973--1001,
30(5)25--25, 31(5)17--17, 32(3)9--9, 37(1)3--3, 38(2)5--5
-
handler, 28(1)70--105
-
handling, 2(2)225--233, 3(1)83--103, 4(2)226--238, 4(2)239--257,
4(4)585--600, 5(1)122--122, 7(2)214--243, 7(3)478--489, 8(1)50--87,
9(2)164--197, 9(3)390--407, 10(3)503--504, 17(2)217--227,
17(4)672--689, 18(2)139--174, 18(5)615--647, 20(1)208--258,
20(2)274--301, 22(2)340--377, 22(5)861--931, 24(4)299--333,
27(6)1216--1269, 28(1)70--105, 28(1)134--174, 28(4)747--793,
30(2)8--8, 30(2)9--9, 31(2)8--8, 43(2)8--8, 43(3)10--10, 45(1)5--5
-
handling, error-, 20(2)274--301
-
Handling, Exception-, 7(2)214--243
-
handling, exception-, 20(2)274--301, 30(2)8--8
-
Handling, Syntax-Error-, 5(4)656--679
-
hanging, 40(1)1--1
-
hangs, 37(3)8--8
-
Hankin, Chris, 30(1)4--4
-
Hankin, Chris, see Pearce, David J.
-
Hannan, John, 16(4)1215--1247
-
Hannan:1994:OSD, 16(4)1215--1247
-
Hansen, Wilfred J., 3(4)508--532, 14(4)471--489
-
Hansen:1981:CMI, 3(4)508--532
-
Hansen:1992:SRF, 14(4)471--489
-
Hanson, David R., 2(2)153--172, 3(2)144--161, 3(2)162--167
-
Hanson, David R., see Griswold, Ralph E.
-
Hanson:1981:APP, 3(2)162--167
-
Hanxleden, Reinhard von, 22(5)816--860
-
happens, 31(4)13--13
-
happens-before, 35(1)3--3, 41(3)15--15
-
hard, 16(3)1051--1077, 16(4)1319--1360, 16(5)1613--1647, 19(6)853--898,
21(1)46--89, 21(3)502--526, 33(1)5--5, 34(1)6--6, 40(1)2--2,
40(1)3--3, 40(2)8--8, 40(3)10--10, 40(4)15--15, 41(2)10--10,
44(1)4--4
-
hard, Ackermann-, 36(4)14--14
-
hard, EXPSPACE-, 34(4)16--16
-
hard, EXSPACE-, 22(1)87--128
-
Hard, NP-, 19(1)1--6
-
hard, NP-, 15(4)632--658, 17(4)600--634, 18(1)73--108,
19(1)1--6, 40(2)7--7, 41(2)12--12
-
hard, PSPACE-, 40(2)7--7
-
hard-to-find, 30(4)18--18
-
hard-to-verify, 40(4)16--16
-
harder, 14(3)299--338, 16(3)1051--1077
-
hardness, 29(6)35--35, 30(1)4--4
-
hardness, NP-, 40(2)7--7
-
hardware, 7(1)62--79, 7(2)270--298, 8(1)142--153, 8(1)154--182,
8(3)344--387, 9(2)257--276, 9(4)491--542, 10(4)579--601,
14(2)127--144, 14(2)265--297, 15(1)182--205, 16(3)524--576,
16(5)1512--1542, 16(6)1661--1674, 17(4)561--575, 18(3)235--253,
18(3)300--324, 18(6)659--682, 19(3)492--524, 19(4)586--616,
19(5)726--750, 21(4)703--746, 21(5)977--1027, 21(5)1028--1075,
22(4)673--700, 27(6)1097--1146, 28(5)942--965, 29(6)33--33,
31(5)17--17, 32(4)14--14, 32(5)17--17, 34(1)5--5, 37(1)4--4,
37(4)12--12, 38(2)5--5, 38(4)16--16, 40(4)15--15, 43(3)10--10,
43(3)12--12, 45(1)2--2
-
hardware-based, 18(6)659--682
-
hardware-cache, 14(2)265--297
-
Hardware/software, 11(1)1--32, 12(4)501--536, 16(3)370--386
-
Hare, 45(1)1--1
-
Hare, Dwight, 8(4)524--546
-
Hare, Dwight, see Moriconi, Mark
-
hare, tortoise-and-, 45(1)1--1
-
Harel, David, 2(1)1--17
-
Harel:1980:PNA, 2(1)1--17
-
Haridi, Seif, 19(5)804--851, 21(3)569--626
-
Haridi, Seif, see Van Roy, Peter
-
Haridi:1999:ELV, 21(3)569--626
-
Harji, Ashif S., 27(6)1270--1343
-
Harji, Ashif S., see Buhr, Peter A.
-
Harman, Mark, 30(1)3--3, 32(1)1--1, 35(2)7--7
-
Harman, Mark, see Binkley, David
-
Harman:2009:DCS, 32(1)1--1
-
harmful, 26(1)47--56, 37(3)8--8
-
harmfulness, 37(3)8--8
-
harmless, 37(3)8--8
-
harness, 41(3)15--15
-
Harper, Robert, 15(2)211--252, 28(6)990--1034, 32(1)3--3
-
Harper, Robert, see Acar, Umut A.
-
Harper:1993:TSS, 15(2)211--252
-
Harren, Matthew, 27(3)477--526
-
Harren, Matthew, see Necula, George C.
-
Harris, Tim, 33(1)2--2
-
Harris, Tim, see Abadi, Martín
-
Harrison, Michael A., 2(3)415--462
-
Harrison, Michael A., see Graham, Susan L.
-
Harrold, Mary Jean, 16(2)175--204
-
Harrold:1994:ECI, 16(2)175--204
-
Hart, Sergiu, 5(3)356--380
-
Hart:1983:TPC, 5(3)356--380
-
Hartel, Pieter, 21(3)417--429
-
Hartel, Pieter, see Butler, Michael
-
Haselwarter, Philipp G., 45(3)15--15
-
Haselwarter:2023:SFF, 45(3)15--15
-
hash, 39(4)17--17
-
hash-tables, 38(2)4--4
-
Hasheminezhad, Rouzbeh, 40(2)7--7
-
Hasheminezhad, Rouzbeh, see Chatterjee, Krishnendu
-
hashing, 2(1)77--89, 14(4)574--588, 30(6)33--33
-
hashtables, 30(6)33--33
-
Haskell, 18(2)109--138, 32(5)19--19, 33(2)7--7, 39(3)11--11, 39(4)18--18,
42(3)15--15
-
Haslbeck, Maximilian P. L., 44(3)14--14
-
Haslbeck:2022:FDM, 44(3)14--14
-
Hassen, Saniya Ben, 20(6)1131--1170
-
Hassen:1998:TDP, 20(6)1131--1170
-
Hasuo, Ichiro, 43(2)5--5
-
Hasuo, Ichiro, see Takisaka, Toru
-
Hatcliff, John, 29(5)27--27
-
Hatcliff, John, see Ranganath, Venkatesh Prasad
-
Hauser, John R., 18(2)139--174
-
Hauser:1996:HFP, 18(2)139--174
-
Hauswirth, Matthias, 38(4)15--15
-
Hauswirth, Matthias, see Blackburn, Stephen M.
-
having, 4(2)258--282, 5(2)236--264, 14(1)54--106, 14(2)173--200,
14(4)589--616, 18(2)175--234, 18(5)615--647, 19(3)462--491,
20(1)51--115, 20(1)208--258, 21(1)138--173, 21(2)240--285,
21(3)502--526, 21(4)790--812, 22(2)378--415, 32(6)23--23, 37(1)1--1,
38(1)2--2, 43(1)2--2, 44(4)22--22
-
Haviv, Yinnon, 31(6)22--22
-
Haviv, Yinnon, see Dolev, Shlomi
-
Havlak, 21(2)175--188
-
Havlak, Paul, 19(4)557--567
-
Havlak:1997:NRI, 19(4)557--567
-
Hayden, Christopher M., 36(4)13--13
-
Hayden:2014:KEG, 36(4)13--13
-
Haynes, Christopher T., 9(4)582--598
-
Haynes:1987:ECP, 9(4)582--598
-
HCI, 21(6)1077--1136
-
He, Fei, 45(1)6--6
-
He, Fei, see Fan, Hongyu
-
head, 18(5)528--563
-
header, 19(4)557--567
-
health, 40(3)10--10
-
healthiness, 18(3)325--353
-
heap, 22(3)490--505, 27(6)1097--1146, 28(3)476--516, 28(5)908--941,
30(1)1--1, 30(4)18--18, 31(3)11--11, 32(3)8--8, 32(5)18--18,
32(6)22--22, 33(5)17--17, 33(6)20--20, 38(3)9--9, 39(1)2--2,
40(3)12--12, 41(1)3--3, 41(3)18--18, 41(4)20--20, 44(4)22--22
-
heap, symbolic-, 44(3)16--16
-
heap, whole-, 28(3)476--516
-
heap-allocated, 17(2)233--263, 20(1)1--50, 32(2)5--5, 37(1)4--4
-
heap-based, 22(1)129--161, 41(3)16--16
-
heap-dependent, 34(1)2--2
-
heap-manipulating, 32(5)18--18
-
heart, 13(1)124--149, 21(1)11--45, 38(2)4--4, 41(1)6--6, 41(4)23--23,
45(2)10--10
-
heavily, 11(4)562--584, 21(4)703--746, 27(6)1344--1395
-
heavy, 41(3)18--18
-
Hecker, Martin, 44(1)2--2
-
Hecker:2022:TSC, 44(1)2--2
-
Heering, J., 14(4)490--520, 16(3)1010--1023, 19(5)639--684,
24(4)334--368
-
Heering, J., see Bergstra, J. A.,
see Van Den Brand, M. G. J.
-
Heering, Jan, 7(2)183--213
-
Heering:1985:TMP, 7(2)183--213
-
Heering:1992:IGL, 14(4)490--520
-
Heering:1994:LIP, 16(3)1010--1023
-
height, 20(1)208--258
-
Heintze, 17(1)47--62, 20(6)1251--1264
-
held, 17(2)331--365
-
helicopter, 29(6)33--33
-
help, 4(3)362--381, 4(4)615--649, 7(4)501--538, 16(1)151--174,
16(4)1097--1113, 17(2)228--232, 19(3)492--524, 19(3)525--555,
20(6)1111--1130, 21(3)502--526, 21(3)569--626, 22(6)1037--1080,
30(6)30--30, 31(1)2--2, 31(6)20--20, 32(2)4--4, 32(3)8--8,
35(4)13--13, 38(4)15--15, 39(2)8--8, 39(3)10--10, 41(1)4--4,
41(3)16--16, 41(3)19--19, 45(1)6--6, 46(1)4--4
-
Helsen, Simon, 26(4)652--701
-
Helsen:2004:PSM, 26(4)652--701
-
hence, 14(2)127--144, 16(5)1449--1466, 18(3)235--253, 20(4)869--916,
21(1)138--173, 21(4)703--746, 27(6)1270--1343, 32(3)8--8,
34(4)15--15, 36(4)11--11, 37(3)9--9, 39(2)7--7, 39(2)9--9,
39(4)17--17, 46(2)7--7
-
Henderson, Peter B., 5(1)122--122
-
Henderson:1983:TCL, 3(1)83--103, 5(1)122--122
-
Hendren, L. J., 17(2)233--263
-
Hendren, L. J., see Rogers, Anne
-
Hendren, Laurie, 30(4)19--19, 34(2)7--7
-
Hendren, Laurie, see Bodden, Eric,
see Lhoták, Ond{\v{r}}ej
-
Hendren, Laurie J., 38(4)15--15
-
Hendren, Laurie J., see Blackburn, Stephen M.
-
Henglein, 20(6)1251--1264
-
Henglein, Fritz, 15(2)253--289
-
Henglein:1993:TIP, 15(2)253--289
-
Henkel, Johannes, 24(6)593--624
-
Henkel, Johannes, see Hirzel, Martin
-
Hennessy, 7(1)176--181, 15(2)357--365, 31(5)19--19
-
Hennessy, John L., 4(3)323--344, 5(3)422--448, 11(1)1--32,
12(4)501--536
-
Hennessy, John L., see Chow, Fred C.,
see Steenkiste, Peter A.
-
Hennessy, Matthew, 8(3)344--387, 24(5)566--591, 28(2)290--330
-
Hennessy, Matthew, see Merro, Massimo
-
Hennessy:1982:SDO, 4(3)323--344, 15(2)357--365
-
Hennessy:1983:PCO, 5(3)422--448
-
Hennessy:1986:PSS, 8(3)344--387
-
Hennessy:2002:IFV, 24(5)566--591
-
Henrio, Ludovic, 46(1)3--3
-
Henrio, Ludovic, see Din, Crystal Chang
-
Hentenryck, Pascal, Van, 16(1)35--101, 17(4)635--671
-
Henzinger, Thomas A., 20(6)1171--1194, 24(1)51--64, 29(6)33--33,
33(4)14--14
-
Henzinger, Thomas A., see Alur, Rajeev,
see Tripakis, Stavros
-
Henzinger:2002:AGR, 24(1)51--64
-
Henzinger:2007:EMP, 29(6)33--33
-
Heo, Kihong, 36(3)8--8, 38(2)6--6, 39(4)16--16, 40(4)14--14
-
Heo, Kihong, see Lee, Woosuk, \see{Oh, Hakjoo
-
Heo:2018:ASA, 40(4)14--14
-
Herbelin, 31(4)13--13
-
herd, 36(2)7--7
-
herd+diy, 43(2)8--8
-
Herding, 36(2)7--7
-
here, 4(1)113--119, 4(2)258--282, 4(4)601--614, 4(4)615--649,
9(4)491--542, 10(2)189--203, 10(2)204--214, 14(1)28--53,
15(4)575--631, 15(5)876--895, 16(4)1361--1398, 16(5)1431--1448,
16(5)1613--1647, 16(6)1699--1718, 18(2)109--138, 18(4)355--400,
19(4)586--616, 20(5)1014--1066, 21(1)138--173, 22(6)1002--1036,
28(4)747--793, 29(5)29--29, 30(3)12--12, 32(1)2--2, 33(1)4--4,
39(2)7--7, 40(1)3--3, 40(3)12--12, 41(3)14--14, 43(4)14--14,
44(1)1--1
-
herein, 14(3)417--461
-
Herlihy, 33(1)4--4
-
Herlihy, Maurice, 13(1)124--149, 15(5)745--770
-
Herlihy, Maurice P., 4(4)527--551, 12(3)463--492
-
Herlihy:1982:VTM, 4(4)527--551
-
Herlihy:1990:LCC, 12(3)463--492
-
Herlihy:1991:WFS, 13(1)124--149
-
Herlihy:1993:MIH, 15(5)745--770
-
Hermenegildo, M., 18(5)564--614
-
Hermenegildo, M., see de la Banda, M. Garcia,
see Garcia De La Banda, M.
-
Hermenegildo, Manuel, 17(1)28--44, 21(2)189--239, 22(2)187--223
-
Hermenegildo, Manuel, see Bueno, Francisco,
see Codish, Michael
-
Hermenegildo, Manuel V., 23(4)472--602
-
Hermenegildo, Manuel V., see Gupta, Gopal
-
Hermenegildo:2000:IAC, 22(2)187--223
-
Hermengildo, Manuel, 22(2)296--339
-
Hermengildo, Manuel,
see De La Banda, Marí García
-
Herta, Benjamin, 41(3)15--15
-
Herta, Benjamin, see Grove, David
-
Hertz, Matthew, 28(3)476--516, 29(1)2--2
-
Hertz, Matthew, see Blackburn, Stephen M.
-
Hertz:2006:GOL, 28(3)476--516
-
Hesselink, W. H., 10(1)87--117
-
Hesselink:1988:MAN, 10(1)87--117
-
Heterogeneity, 16(1)151--174
-
heterogeneous, 16(1)151--174, 16(3)775--797, 20(3)483--545, 32(3)9--9
-
Heuft, Johannes, 6(4)546--572
-
Heuft, Johannes, see Dencker, Peter
-
heuristic, 14(3)417--461, 15(4)632--658, 16(3)428--455, 17(4)600--634,
17(5)740--776, 18(3)235--253, 18(3)300--324, 19(1)188--222,
19(6)853--898, 19(6)1031--1052, 20(4)869--916, 21(3)430--501,
21(5)1028--1075, 22(6)973--1001, 28(1)134--174, 29(1)3--3,
32(4)11--11, 32(4)13--13, 38(3)11--11, 39(4)18--18, 41(3)17--17
-
heuristic-based, 37(1)2--2
-
Hexagon, 41(3)17--17
-
hexic, 40(3)9--9
-
Heyting, 20(5)1067--1109
-
Hickey, 16(1)35--101
-
Hickey, Timothy J., 9(2)125--163, 14(1)54--106
-
Hickey, Timothy J., see Cohen, Jacques
-
Hickey:1992:CAM, 14(1)54--106
-
Hicks, 34(1)1--1
-
Hicks, Michael, 27(6)1049--1096, 29(4)22--22, 33(1)3--3, 36(4)13--13,
45(3)18--18
-
Hicks, Michael, see Hayden, Christopher M.,
see Hietala, Kesha,
see Pratikakis, Polyvios,
see Stoyle, Gareth
-
Hicks:2005:DSU, 27(6)1049--1096
-
hidden, 4(4)711--732, 17(3)431--447, 32(5)17--17
-
hide, 30(5)25--25, 32(3)9--9, 40(3)12--12
-
hiding, 16(4)1361--1398, 22(5)816--860, 22(6)1037--1080, 24(5)491--553,
31(3)11--11, 39(1)3--3, 40(3)12--12, 44(4)25--25
-
hiding, information-, 14(2)201--264
-
Hiep, Hans-Dieter A., 43(4)17--17
-
Hiep, Hans-Dieter A., see Boer, Frank S. de
-
hierarchic, 26(2)339--369
-
hierarchical, 1(1)98--114, 8(4)524--546, 11(1)57--66, 17(2)394--429,
18(1)16--29, 21(4)813--847, 23(3)273--303, 30(6)32--32, 35(1)2--2,
35(3)10--10
-
hierarchically, 8(4)524--546, 21(4)813--847, 26(5)836--889, 32(3)9--9,
33(6)20--20, 35(1)2--2
-
hierarchy, 5(3)405--421, 8(4)524--546, 10(2)204--214, 13(1)124--149,
16(4)1319--1360, 16(4)1361--1398, 16(6)1768--1810, 16(6)1811--1841,
18(1)30--72, 18(3)354--354, 18(6)711--729, 21(4)813--847,
22(3)540--582, 28(2)331--388, 28(3)517--575, 28(5)942--965,
30(5)28--28, 30(6)33--33, 35(3)11--11
-
hierarchy, memory-, 22(3)490--505
-
Hietala, Kesha, 45(3)18--18
-
Hietala:2023:VOQ, 45(3)18--18
-
high, 3(2)126--143, 4(4)650--667, 13(1)52--98, 14(2)173--200,
16(3)370--386, 16(5)1449--1466, 16(6)1768--1810, 18(4)424--453,
19(5)751--803, 19(6)992--1030, 20(4)869--916, 21(2)240--285,
21(4)703--746, 22(5)816--860, 27(6)1147--1215, 27(6)1270--1343,
29(1)3--3, 29(6)35--35, 30(3)17--17, 30(6)31--31, 31(1)3--3,
31(6)22--22, 32(3)9--9, 32(4)14--14, 37(3)8--8, 37(4)12--12,
38(4)13--13, 38(4)16--16, 39(4)14--14, 40(2)8--8, 42(2)10--10,
43(1)2--2, 45(2)12--12
-
High-Level, 4(2)239--257, 11(2)194--211
-
high-level, 4(1)44--82, 4(2)149--178, 4(2)226--238, 4(3)402--454,
4(4)650--667, 6(4)546--572, 9(2)198--234, 9(2)257--276,
9(3)367--389, 14(3)299--338, 16(5)1613--1647, 18(2)139--174,
21(1)138--173, 21(2)286--323, 21(2)324--369, 21(3)527--568,
22(4)583--637, 22(4)701--771, 25(6)814--875, 30(4)18--18,
30(4)19--19, 30(6)32--32, 31(2)8--8, 31(6)22--22, 32(3)9--9,
32(4)12--12, 36(2)6--6, 37(2)6--6, 38(1)1--1, 38(2)4--4, 41(1)4--4,
42(3)14--14, 44(4)22--22
-
High-Performance, 40(4)15--15
-
high-performance, 8(4)419--490, 18(6)649--658, 21(2)286--323,
22(4)673--700, 28(5)848--907, 28(5)908--941, 29(6)33--33, 34(1)5--5,
38(3)11--11, 39(1)5--5, 39(4)15--15, 40(4)15--15, 41(3)15--15,
44(2)12--12
-
high-precision, 21(6)1137--1195
-
high-quality, 8(4)491--523, 18(6)683--710
-
high-speed, 7(1)62--79
-
higher, 13(2)269--290, 14(3)299--338, 14(3)339--395, 16(6)1811--1841,
18(6)659--682, 21(1)138--173, 30(6)31--31, 35(1)5--5, 36(1)2--2,
37(3)8--8
-
higher-level, 16(2)259--303, 21(5)914--947
-
Higher-Order, 16(5)1431--1448, 17(5)704--739, 20(4)845--868, 33(1)5--5,
38(2)4--4
-
higher-order, 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
-
higher-priority, 32(3)9--9
-
higher-rank, 42(1)2--2
-
highest, 30(3)17--17, 43(1)2--2
-
highlight, 8(4)419--490, 41(1)1--1, 41(3)19--19
-
highlighting, 16(6)1737--1767, 40(3)11--11
-
highly, 4(1)44--82, 7(4)501--538, 15(5)745--770, 16(3)1010--1023,
17(1)45--46, 17(4)561--575, 27(6)1147--1215, 28(5)908--941,
30(5)28--28, 32(3)9--9, 34(1)3--3, 39(2)6--6, 39(4)18--18, 40(1)1--1,
40(4)14--14, 40(4)15--15, 41(2)12--12
-
Higuchi, Tomoyuki, 29(1)4--4
-
Higuchi:2007:STS, 29(1)4--4
-
Hilfinger, Paul N., 10(2)189--203
-
Hilfinger:1988:APD, 10(2)189--203
-
Hill, Patricia M., 26(1)1--46
-
Hill, Patricia M., see Fernández, Antonio J.
-
Hind, Michael, 21(4)848--894, 29(2)11--11, 38(4)15--15
-
Hind, Michael, see Blackburn, Stephen M.,
see Hirzel, Martin
-
Hind:1999:IPA, 21(4)848--894
-
hinder, 18(4)355--400, 18(4)454--476, 41(2)9--9
-
hindered, 21(3)677--701
-
hindering, 16(3)328--369
-
Hindley-Milner, 16(5)1411--1430, 18(2)109--138, 19(1)87--152
-
Hindley/Milner, 20(4)707--723
-
hint, 18(6)659--682, 20(4)724--767
-
Hirschowitz, Tom, 27(5)857--881
-
Hirschowitz:2005:MMC, 27(5)857--881
-
Hirzel, Martin, 24(6)593--624, 29(2)11--11, 39(1)5--5
-
Hirzel:2002:UTL, 24(6)593--624
-
Hirzel:2007:FOP, 29(2)11--11
-
Hirzel:2017:SEL, 39(1)5--5
-
historical, 27(6)1270--1343, 31(4)15--15
-
Historically, 34(1)1--1
-
history, 31(4)15--15, 31(6)23--23
-
history-based, 21(5)1028--1075
-
hit, 18(4)424--453, 37(4)12--12
-
hitherto, 7(2)183--213
-
Hitz, Samuel, 42(1)3--3
-
Hitz, Samuel, see Eilers, Marco
-
HJ, 35(1)3--3
-
HMX, 27(6)1216--1269
-
Hoare, 3(4)431--483, 3(4)484--507, 4(1)37--43, 6(2)281--296,
9(1)100--120, 32(4)14--14, 33(5)17--17, 35(2)6--6, 35(3)9--9,
43(4)17--17, 44(4)25--25
-
Hoare, Floyd-, 33(6)19--19
-
Hoare-style, 19(4)586--616
-
Hobson, Richard F., 6(3)314--332
-
Hobson:1984:DEE, 6(3)314--332
-
hoc, 13(3)342--371, 16(3)727--774, 19(3)444--461, 33(3)10--10,
34(3)12--12, 37(1)4--4, 40(1)2--2, 40(3)13--13
-
hoc, ad-, 30(6)31--31
-
Hoch, Csaba, 39(4)17--17
-
Hoch, Csaba, see Trinder, Phil
-
Hoeflinger, Jay, 24(1)65--109
-
Hoeflinger, Jay, see Paek, Yunheung
-
Hoffman, Christoph M., 4(1)83--112
-
Hoffman:1982:PE, 4(1)83--112
-
Hoffmann, Jan, 34(3)14--14
-
Hoffmann:2012:MAR, 34(3)14--14
-
Hofman, Rutger, 23(6)747--775
-
Hofman, Rutger, see Maassen, Jason
-
Hofmann, Martin, 34(3)14--14
-
Hofmann, Martin, see Hoffmann, Jan
-
hoist, 22(5)816--860, 40(1)4--4
-
hoisted, 20(6)1297--1322
-
hoisting, 20(6)1297--1322
-
HOL, 41(1)2--2
-
hold, 16(3)798--842, 16(6)1811--1841, 17(1)16--27, 17(1)47--62,
18(4)454--476, 22(1)87--128, 35(2)7--7, 36(1)1--1, 36(4)11--11,
40(2)7--7, 42(1)4--4, 43(3)11--11, 45(3)16--16
-
holding, 35(4)13--13
-
hole, 44(2)9--9
-
Holistic, 39(4)18--18
-
Holland, David A., 45(1)2--2
-
Holland, David A., see Hu, Jingmei
-
Hollenbeck, Celeste, 41(4)21--21
-
Hollenbeck, Celeste, see Berger, Emery D.
-
Holt, Richard C., 4(2)149--178, 4(4)552--562, 9(3)367--389
-
Holt:1982:ISS, 4(2)149--178
-
Holt:1982:MIE, 4(4)552--562
-
Holt:1987:DDC, 9(3)367--389
-
Hölzle, Urs, 18(4)355--400
-
Holzle:1996:RRP, 18(4)355--400
-
home, 22(3)431--470
-
Homeostasis, 46(2)6--6
-
homogeneous, 20(3)483--545
-
homomorphic, 44(3)20--20, 45(3)16--16
-
homomorphism, 19(3)444--461
-
Honda, Kohei, 29(6)31--31, 34(2)8--8
-
Honda, Kohei, see Carbone, Marco
-
Honda:2007:UTS, 29(6)31--31
-
Hong, Chih-Duo, 41(2)12--12
-
Hong, Chih-Duo, see Hague, Matthew
-
Hong, Seongsoo, 19(3)525--555
-
Hong, Seongsoo, see Gerber, Richard
-
HOP, 34(2)10--10
-
hope, 16(3)798--842, 27(6)1147--1215, 34(1)1--1, 38(4)15--15,
39(4)14--14, 41(4)21--21, 44(4)22--22
-
horizontal, 9(2)257--276
-
Horn, 43(4)15--15
-
Horwitz, Susan, 8(4)577--608, 11(3)345--387, 12(1)26--60, 19(1)1--6,
36(2)5--5
-
Horwitz, Susan, see Aung, Min
-
Horwitz:1986:GEE, 8(4)577--608
-
Horwitz:1989:INV, 11(3)345--387
-
Horwitz:1990:ISU, 12(1)26--60
-
Horwitz:1997:PFI, 19(1)1--6
-
hose, 4(3)323--344
-
Hosking, Antony L., 38(4)15--15
-
Hosking, Antony L., see Blackburn, Stephen M.
-
Hosoya, Haruo, 27(1)46--90, 32(1)2--2
-
Hosoya:2005:RET, 27(1)46--90
-
Hosoya:2009:PPX, 32(1)2--2
-
host, 4(3)402--454, 9(2)125--163, 34(1)2--2, 37(1)3--3, 38(3)9--9,
39(1)5--5, 39(4)17--17, 41(2)9--9
-
host, single-, 39(4)17--17
-
host-specific, 6(4)505--526
-
hosted, 41(4)21--21
-
hot, 28(1)70--105, 38(2)7--7, 45(4)20--20
-
HotSpot, 41(3)16--16, 43(3)10--10
-
HotSpot, VBD-, 43(3)10--10
-
HotSpot, VBDA-, 43(3)10--10
-
Hotta, Hitofumi, 14(1)54--106
-
Hotta, Hitofumi, see Hickey, Timothy J.
-
hours, 30(3)17--17
-
Howard, Curry-, 31(4)13--13, 41(2)8--8
-
Howden, W. E., 2(3)307--320
-
Howden:1980:ASV, 2(3)307--320
-
Howe, 41(4)22--22, 42(1)4--4
-
however, 4(1)44--82, 4(1)113--119, 4(3)382--401, 4(3)455--495,
4(4)650--667, 7(4)501--538, 8(4)491--523, 10(2)248--266,
13(2)237--268, 14(2)265--297, 15(4)681--705, 16(1)35--101,
16(3)387--427, 16(3)649--686, 16(4)1319--1360, 16(5)1411--1430,
16(5)1572--1612, 17(1)28--44, 17(1)63--84, 17(2)197--216,
17(2)217--227, 17(2)331--365, 17(4)600--634, 18(1)30--72,
18(1)73--108, 18(4)424--453, 18(4)477--518, 18(5)615--647,
19(3)444--461, 19(6)1031--1052, 20(1)51--115, 20(1)208--258,
20(3)635--678, 20(6)1223--1250, 21(1)11--45, 21(1)46--89,
21(2)240--285, 21(2)370--416, 21(3)677--701, 21(4)703--746,
21(4)747--789, 21(5)914--947, 22(1)162--186, 22(2)187--223,
23(2)105--186, 27(6)1147--1215, 28(1)70--105, 30(3)12--12,
31(1)4--4, 32(1)2--2, 32(1)3--3, 32(3)9--9, 32(5)17--17, 33(1)2--2,
34(1)2--2, 34(2)7--7, 34(4)17--17, 35(3)9--9, 35(4)13--13, 36(1)3--3,
36(1)4--4, 36(4)11--11, 36(4)12--12, 37(3)8--8, 37(3)9--9, 38(2)4--4,
38(3)8--8, 38(4)16--16, 39(1)4--4, 39(2)7--7, 39(2)9--9, 39(4)17--17,
40(2)8--8, 40(4)14--14, 41(1)6--6, 41(2)8--8, 41(2)9--9, 41(3)15--15,
42(1)2--2, 42(1)3--3, 43(3)9--9, 43(3)10--10, 43(4)15--15, 44(1)4--4,
44(2)10--10
-
HP, 15(4)632--658, 33(3)10--10
-
HPC, 34(1)5--5
-
HPF, 20(4)869--916
-
HPF-style, 20(4)869--916
-
Hritcu, Catalin, 45(3)15--15
-
Hritcu, Catalin, see Haselwarter, Philipp G.
-
Hrittcu, Catalin, 43(4)14--14
-
Hrittcu, Catalin, see Abate, Carmine
-
Hsieh, Wilson C., 21(2)324--369, 27(4)583--630
-
Hsieh, Wilson C., see Back, Godmar,
see Poletto, Massimiliano
-
Hsu, 17(5)740--776
-
HTML, 34(2)10--10
-
http://www.univ-reunion.fr, 28(2)256--289
-
http://www/mozart-oz.org, 21(3)569--626
-
Hu, Jingmei, 45(1)2--2
-
Hu, Qinheping, 44(2)9--9
-
Hu, Raymond, 41(1)1--1
-
Hu, Raymond, see Cogumbreiro, Tiago
-
Hu, Zhenjiang, 19(3)444--461, 46(2)8--8
-
Hu, Zhenjiang, see Ji, Ruyi
-
Hu:1997:FDE, 19(3)444--461
-
Hu:2022:SPS, 44(2)9--9
-
Hu:2023:TPO, 45(1)2--2
-
Huang, Chung-Hao, 37(3)9--9
-
Huang, Chung-Hao, see Wang, Farn
-
Huang, Jeff, 41(1)6--6
-
Huang, Jeff, see Liu, Bozhen
-
Huang, Shan Shan, 33(2)6--6
-
Huang, Shing-Tsaan, 12(1)102--122, 15(3)563--573
-
Huang, Yuqiang, 32(4)15--15
-
Huang:1990:DDD, 12(1)102--122
-
Huang:1993:LEU, 15(3)563--573
-
Huang:2010:DBR, 32(4)15--15
-
Huang:2011:MSS, 33(2)6--6
-
Hudak, Paul, 13(2)269--290, 26(4)609--651
-
Hudak, Paul, see Mirani, Rajiv
-
Hudak:1991:CIE, 13(2)269--290
-
Hudson, Scott E., 13(3)315--341
-
Hudson:1991:IAE, 13(3)315--341
-
huge, 20(2)302--343, 36(1)1--1
-
Hull, M. Elizabeth C., 6(2)175--191
-
Hull:1984:CSP, 6(2)175--191
-
human, 8(1)50--87, 10(2)215--247, 12(2)143--177, 21(6)1077--1136,
34(4)17--17, 37(3)8--8, 40(3)10--10, 41(2)13--13
-
human-computer, 21(6)1077--1136
-
human-intensive, 19(3)525--555
-
Humblet, P. A., 5(1)66--77
-
Humblet, P. A., see Gallager, R. G.
-
Hung, Shih-Han, 45(3)18--18
-
Hung, Shih-Han, see Hietala, Kesha
-
Hunt III, Harry B., 28(6)1145--1177
-
Hunt III, Harry B., see Rosenkrantz, Daniel J.
-
Hunt, H. B., 9(4)543--566
-
Hunt, H. B., see Rosenkrantz, D. J.
-
hunting, 32(6)23--23
-
hunting., 32(6)23--23
-
Hut, Barnes-, 19(6)942--991
-
Hutchins, Delesley, 32(5)19--19
-
Hutchins, Delesley, see Apel, Sven
-
hybrid, 8(4)547--576, 8(4)577--608, 14(4)589--616, 20(2)344--387,
22(5)861--931, 32(2)6--6, 32(5)16--16
-
hygienically, 30(6)31--31
-
hyper-, 34(1)3--3
-
Hyperball, 40(1)3--3
-
hyperballs, 40(1)3--3
-
hypercubes, 17(1)123--156
-
hyperdoctrines, BI-, 29(5)24--24
-
hyperplanes, 38(3)11--11
-
hyperproperties, 42(1)3--3
-
\hyphenation{ Fa-la-schi Her-men-e-gil-do Lu-ba-chev-sky Pu-ru-sho-tha-man Roe-ver Ros-en-krantz Ru-dolph } # \ifx \undefined \circled \def \circled #1{(#1)}\fi # \ifx \undefined \reg \def \reg {\circled{R}}\fi},
0(0)0--0
-
hypotheses, 31(6)21--21, 34(3)11--11
-
Hypothesis, 17(1)16--27