Index file section L for toplas.bib
Last update: Thu Apr 11 02:12:53 MDT 2024
Return to index directory
L
-
L, 8(1)109--139
-
la Banda, M. Garcia, de, 18(5)564--614
-
La Banda, M., Garcia De, 18(5)564--614
-
La Banda, Marí García, De, 22(2)296--339
-
La Torre, Salvatore, 44(1)1--1
-
La Torre, Salvatore, see Inverso, Omar
-
label, 16(2)259--303, 22(1)162--186, 26(5)805--835, 28(5)942--965,
37(1)4--4
-
labeled, 16(2)259--303, 19(1)48--86, 22(1)162--186, 37(1)4--4, 40(3)9--9,
41(4)23--23
-
labeled, edge-, 44(2)11--11
-
labeling, 37(1)4--4
-
labelled, 28(2)290--330
-
labor-saving, 9(2)125--163
-
laboratory, 3(4)353--387, 40(3)10--10
-
Lacey, David, 31(4)14--14
-
Lacey, David, see Kalvala, Sara
-
lack, 14(2)173--200, 15(4)681--705, 16(3)607--648, 18(4)477--518,
20(2)274--301, 34(3)12--12, 38(4)15--15, 40(3)10--10, 43(1)4--4
-
lacking, 33(3)10--10
-
Laffra, Chris, 24(6)625--666
-
Laffra, Chris, see Tip, Frank
-
Lago, Ugo, Dal, 41(2)10--10
-
Lagorio, Giovanni, 25(5)641--712
-
Lagorio, Giovanni, see Ancona, Davide
-
Lahav, Ori, 44(2)8--8
-
Lahav:2022:WDA, 44(2)8--8
-
laid, 7(2)183--213
-
LaLonde, 5(1)122--122
-
LaLonde, Wilf R., 3(1)83--103, 3(2)168--206, 5(1)122--122, 6(3)432--439,
11(2)212--248
-
LaLonde:1981:CSC, 3(2)168--206
-
LaLonde:1981:HOP, 3(1)83--103, 5(1)122--122
-
LaLonde:1983:TCL, 3(1)83--103, 5(1)122--122
-
LaLonde:1984:TCC, 4(2)179--195, 6(3)432--439
-
LaLonde:1989:DFD, 11(2)212--248
-
LALR, 3(1)60--82, 7(1)159--175
-
LALR1, 4(4)615--649, 7(1)159--175, 17(1)1--15, 39(4)14--14
-
LALR(1)-based, 17(4)672--689
-
LALRk, 7(1)159--175
-
Lam, Monica S., 20(3)483--545, 27(4)662--731
-
Lam, Monica S., see Hall, Mary W.,
see Rinard, Martin C.
-
Lam, Patrick, 34(2)7--7
-
Lam, Patrick, see Bodden, Eric
-
Lam, Simon S., 14(3)417--461
-
Lam, Simon S., see Shankar, A. Udaya
-
Lamb, David Alex, 9(3)297--318
-
Lamb:1987:ISI, 9(3)297--318
-
\Lambda, 43(2)7--7
-
lambda, 4(3)496--517, 6(2)159--174, 6(4)603--631, 7(2)270--298,
7(2)299--310, 8(3)406--407, 8(4)547--576, 11(1)67--89,
12(1)123--134, 13(2)269--290, 14(2)147--172, 14(4)589--616,
15(2)211--252, 15(2)253--289, 15(4)575--631, 17(6)844--895,
18(1)1--15, 18(2)109--138, 18(6)730--751, 19(5)639--684,
19(6)899--915, 19(6)916--941, 20(2)344--387, 21(3)677--701,
22(6)1037--1080, 30(2)7--7, 35(1)2--2, 36(1)1--1, 38(3)8--8
-
lambda-calculus, 15(4)575--631, 18(6)730--751
-
lambda-Mix, 18(6)730--751
-
lambda-mix, 14(2)147--172
-
Laminar, 37(1)4--4
-
Lamma, Evelina, 27(2)236--263
-
Lamma, Evelina, see Gavanelli, Marco
-
Lammich, Peter, 44(3)14--14
-
Lammich, Peter, see Haslbeck, Maximilian P. L.
-
Lamport, 5(1)56--65, 11(3)404--417, 44(2)6--6
-
Lamport, Leslie, 1(1)84--97, 2(1)134--134, 4(3)382--401, 4(3)455--495,
5(2)190--222, 6(2)254--280, 6(2)281--296, 10(2)267--281,
12(3)396--428, 15(1)73--132, 16(3)872--923, 16(5)1543--1571,
17(3)507--534, 21(3)502--526, 44(2)6--6
-
Lamport, Leslie, see Abadi, Martin,
see Abadi, Martín,
see Owicki, Susan
-
Lamport:1979:NAP, 1(1)84--97, 2(1)134--134
-
Lamport:1980:CNA, 1(1)84--97, 2(1)134--134
-
Lamport:1982:BGP, 4(3)382--401
-
Lamport:1983:SCP, 5(2)190--222
-
Lamport:1984:HLC, 6(2)281--296
-
Lamport:1984:UTI, 6(2)254--280
-
Lamport:1988:CPB, 10(2)267--281
-
Lamport:1990:WSP, 12(3)396--428
-
Lamport:1994:TLA, 16(3)872--923
-
Lamport:1999:SYS, 21(3)502--526
-
Lamport:2022:PMS, 44(2)6--6
-
Lampson, Butler, 15(4)706--734
-
Lampson, Butler, see Abadi, Martín
-
Landi, 16(5)1467--1471
-
Landi, William A., 23(2)105--186
-
Landi, William A., see Ryder, Barbara G.
-
Landwehr, Carl E., 2(4)544--563
-
Landwehr:1980:ATS, 2(4)544--563
-
Lang, 17(1)180--180, 19(6)1085--1087
-
Lang, Jun, 20(2)274--301
-
Lang:1998:SAE, 20(2)274--301
-
langauge, 41(2)11--11
-
Langen, 21(5)948--976
-
language, assembly-, 19(3)492--524
-
Language, ``Cross-, 40(4)18--18
-
Language, Cross-, 40(2)8--8
-
language, cross-, 40(1)2--2
-
language, machine-, 32(3)7--7
-
language, mixed-, 16(1)151--174
-
Language, Multi-, 40(2)8--8, 40(4)18--18
-
language, multi-, 31(3)12--12, 40(2)8--8
-
language, programming-, 16(5)1613--1647
-
language--called, 22(5)861--931
-
language-agnostic, 40(2)8--8
-
Language-Based, 5(3)449--477, 11(2)169--193
-
language-based, 8(4)547--576, 8(4)577--608, 9(3)408--440, 13(2)211--236,
45(1)3--3
-
language-centric, 37(1)3--3
-
language-dependent, 8(4)547--576
-
language-Featherweight, 36(4)12--12
-
language-Gradual, 36(4)12--12
-
language-independent, 8(4)577--608, 9(2)164--197, 16(6)1875--1903,
30(5)28--28
-
language-level, 32(4)12--12, 37(1)4--4, 39(4)17--17
-
language-processing, 16(2)175--204
-
language-specific, 8(4)547--576, 9(2)164--197, 39(4)18--18
-
language-specific, foreign-, 40(2)8--8
-
language., 21(3)502--526
-
languages**, 20(5)1014--1066
-
languages, mini-, 30(6)31--31
-
Laplacian, 35(3)9--9
-
Laporte, Vincent, 36(2)6--6
-
Laporte, Vincent, see Jagannathan, Suresh
-
Larch, 9(1)1--24
-
Larchevêque, J.-M., 17(1)1--15
-
Larcheveque:1995:OIP, 17(1)1--15
-
large, 4(1)1--20, 4(2)226--238, 4(4)527--551, 5(2)164--189, 5(3)405--421,
7(1)62--79, 8(4)524--546, 9(3)297--318, 10(2)248--266,
11(4)598--632, 12(4)670--699, 13(1)99--123, 13(1)179--179,
14(1)1--27, 14(2)173--200, 14(2)265--297, 15(1)36--72,
16(3)370--386, 16(3)607--648, 16(3)1024--1050, 16(4)1156--1214,
16(4)1215--1247, 17(2)394--429, 17(5)740--776, 18(1)16--29,
18(4)424--453, 18(4)477--518, 19(6)1031--1052, 20(1)51--115,
20(1)116--165, 20(3)635--678, 20(5)1014--1066, 20(6)1195--1222,
20(6)1265--1296, 21(4)747--789, 21(4)813--847, 22(5)773--815,
22(5)932--972, 28(1)1--69, 28(5)908--941, 28(5)942--965, 29(1)3--3,
30(5)28--28, 32(1)1--1, 32(3)8--8, 32(3)9--9, 33(4)14--14, 34(1)4--4,
34(1)5--5, 34(2)9--9, 35(1)5--5, 35(2)7--7, 36(1)4--4, 37(3)10--10,
37(4)11--11, 39(2)6--6, 39(4)17--17, 40(1)1--1, 40(3)13--13,
40(4)14--14, 41(1)6--6, 41(3)18--18, 41(3)19--19, 43(1)2--2,
44(2)9--9, 44(4)22--22
-
Large, Programming-in-the-, 16(5)1572--1612
-
large, programming-in-the-, 16(5)1572--1612
-
large-scale, 16(3)456--492, 18(4)454--476, 20(5)917--979, 28(2)207--255,
30(6)33--33, 34(2)7--7, 39(4)17--17, 40(2)8--8, 41(3)15--15,
42(2)7--7
-
largely, 9(3)367--389, 13(1)52--98, 16(3)328--369, 19(3)492--524,
22(3)540--582, 32(3)9--9, 37(1)3--3, 40(1)1--1
-
larger, 4(1)1--20, 7(4)501--538, 16(3)428--455, 18(4)477--518,
19(5)639--684, 20(2)302--343, 21(2)370--416, 22(5)932--972,
28(2)207--255, 28(5)942--965, 31(6)20--20, 35(1)5--5, 35(2)7--7,
38(3)11--11, 38(3)12--12, 41(2)12--12, 41(3)15--15, 41(3)17--17
-
largest, 4(4)758--762, 34(3)13--13
-
Larsen, Per, 38(3)9--9
-
Larsen, Per, see Wagner, Gregor
-
Larus, James R., 16(4)1319--1360
-
Larus, James R., see Ball, Thomas
-
Lassez, 14(3)339--395
-
last, 4(3)496--517, 16(3)305--327, 32(6)23--23, 35(4)13--13, 40(1)4--4,
40(3)13--13
-
last-in/first-out, 21(1)90--137
-
late, 9(2)164--197, 19(3)525--555, 22(3)506--539, 31(3)9--9, 33(1)4--4
-
latency, 16(6)1661--1674, 21(3)569--626, 21(4)703--746, 22(3)490--505,
22(5)816--860, 23(1)73--103, 28(1)1--69, 32(3)9--9, 40(4)15--15,
44(4)22--22
-
later, 3(2)126--143, 4(2)149--178, 28(3)476--516, 34(1)6--6, 36(2)7--7
-
latest, 30(1)4--4
-
latter, 14(4)589--616, 16(3)605--606, 16(3)1051--1077, 18(2)139--174,
18(6)730--751, 20(1)116--165, 20(4)707--723, 22(3)506--539,
30(4)22--22, 36(4)11--11, 41(1)5--5, 43(1)4--4
-
lattice, 11(1)115--146, 17(5)777--803, 19(5)751--803, 22(3)540--582,
26(1)1--46, 30(6)34--34, 38(3)12--12
-
Lauer, 3(4)484--507
-
Läufer, Konstantin, 16(5)1411--1430
-
Laufer:1994:PTI, 16(5)1411--1430
-
Laurence, Michael R., 40(3)11--11
-
Laurence, Michael R., see Danicic, Sebastian
-
Lavie, Alon, 16(3)1051--1077
-
Lavie, Alon, see Bates, Joseph
-
law, 4(3)496--517, 16(3)924--938, 28(2)290--330, 31(4)16--16,
32(6)22--22, 34(4)17--17, 45(1)2--2, 45(3)15--15
-
Lawall, Julia L., 25(4)452--499
-
Lawall, Julia L., see Schultz, Ulrik P.
-
Layaïda, Nabil, 38(1)3--3, see Gesbert, Nils
-
layer, 36(4)12--12, 43(1)2--2
-
layout, 5(3)405--421, 17(2)233--263, 20(4)869--916, 21(5)977--1027,
22(3)490--505, 30(5)28--28, 32(4)11--11, 34(4)15--15, 37(4)12--12
-
layout, data-, 37(4)12--12
-
lays, 36(4)12--12
-
lazy, 11(4)633--649, 13(3)315--341, 14(4)490--520, 15(1)182--205,
16(3)1010--1023, 16(4)1117--1155, 16(5)1449--1466, 17(2)233--263,
18(2)175--234, 19(5)639--684, 20(4)768--844, 20(6)1297--1322,
22(1)45--86, 22(4)583--637, 27(1)163--184, 33(1)2--2, 36(3)10--10,
44(1)1--1
-
LBM, 38(3)12--12
-
LCF, 9(1)100--120
-
LCFL, 39(2)9--9
-
LCFLs, 39(2)9--9
-
LCM, 20(6)1297--1322
-
LD, 8(1)109--139, 8(1)140--141
-
Le Charlier, Baudouin, 16(1)35--101
-
Le Métayer, Daniel, 10(2)248--266, 13(1)21--51,
see Fradet, Pascal
-
lead, 4(2)179--195, 7(1)159--175, 7(4)501--538, 15(1)133--181,
16(3)687--726, 17(1)157--179, 17(2)181--196, 18(3)254--267,
20(2)302--343, 21(1)1--10, 21(3)502--526, 21(5)948--976,
22(1)162--186, 22(2)265--295, 22(3)540--582, 27(3)388--425,
31(5)17--17, 31(6)21--21, 32(4)14--14, 32(5)18--18, 35(1)3--3,
35(4)14--14, 37(3)8--8, 38(3)8--8, 38(3)12--12, 38(4)15--15,
40(2)6--6
-
leader, 12(1)84--101, 15(3)563--573, 31(6)22--22
-
leading, 18(3)300--324, 30(6)31--31, 32(4)11--11, 41(3)19--19
-
League, Christopher, 24(2)112--152
-
League:2002:TPC, 24(2)112--152
-
leak, 24(6)593--624, 43(1)1--1
-
leaking, 45(1)3--3
-
learned, 16(6)1768--1810, 19(1)153--187, 23(6)776--796
-
learning, 19(1)188--222, 40(4)14--14, 41(2)13--13, 42(4)18--18,
44(2)10--10, 44(4)22--22, 45(2)12--12
-
Learning, Machine-, 41(2)13--13
-
learning, machine-, 41(2)13--13
-
learning-based, 40(4)14--14
-
learns, 41(2)13--13
-
learnt, 40(4)14--14
-
least, 13(1)52--98, 15(4)575--631, 16(3)924--938, 16(3)1051--1077,
18(1)30--72, 21(2)370--416, 22(2)265--295, 22(4)638--672,
23(1)73--103, 23(2)105--186, 33(3)11--11, 34(4)16--16
-
Least-Cost, 3(3)318--347, 6(2)192--214
-
least-cost, 21(1)1--10
-
leave, 15(4)681--705, 18(3)300--324, 21(3)430--501
-
Leavens, Gary T., 17(6)805--843, 28(3)517--575, 37(4)13--13
-
Leavens, Gary T., see Chambers, Craig,
see Clifton, Curtis
-
Leavens:2015:BSS, 37(4)13--13
-
leaving, 14(4)574--588, 20(3)546--585, 28(1)70--105
-
LeBlanc, Thomas J., 16(3)524--576
-
LeBlanc, Thomas J., see Crowl, Lawrence A.
-
LeCharlier:1994:EEG, 16(1)35--101
-
Lecture, 4(4)733--757
-
led, 16(6)1675--1683, 19(6)992--1030, 40(4)16--16
-
Lee, Chin Soon, 29(1)5--5, 31(3)10--10
-
Lee, Chin Soon, see Ben-Amram, Amir M.
-
Lee, Craig, 9(4)618--645
-
Lee, Craig, see Bic, Lubomir
-
Lee, Dongkwon, 45(3)16--16
-
Lee, Edward, 45(4)21--21
-
Lee, Edward, see Boruch-Gruszecki, Aleksander
-
Lee, Edward A., 33(4)14--14
-
Lee, Edward A., see Tripakis, Stavros
-
Lee, Han B., 29(4)18--18
-
Lee, Oukseh, 20(4)707--723
-
Lee, Peizong, 24(1)1--50
-
Lee, Peter, 14(2)265--297, 29(5)28--28
-
Lee, Peter, see Chander, Ajay,
see Koopman, Jr., Philip J.
-
Lee, Wonchan, 36(3)8--8, 38(2)6--6, 39(4)16--16
-
Lee, Wonchan, see Lee, Woosuk, \see{Oh, Hakjoo
-
Lee, Woosuk, 36(3)8--8, 39(4)16--16, 45(3)16--16
-
Lee, Woosuk, see Lee, Dongkwon,
see Oh, Hakjoo
-
Lee, Yong-Fong, 18(6)649--658, 19(2)239--252, 20(2)388--435
-
Lee, Yong-Fong, see Sreedhar, Vugranam C.
-
Lee:1998:PAF, 20(4)707--723
-
Lee:2002:ADC, 24(1)1--50
-
Lee:2007:DIE, 29(4)18--18
-
Lee:2009:RFS, 31(3)10--10
-
Lee:2017:SNS, 39(4)16--16
-
Lee:2023:OHE, 45(3)16--16
-
Leeds, 5(2)236--264
-
Leeman, Jr., George B., 8(1)50--87
-
Leeman:1986:FAU, 8(1)50--87
-
left, 16(4)1248--1278, 16(6)1768--1810, 20(2)259--273, 28(2)256--289
-
Left-Linear, 20(3)679--706
-
left-linear, 20(3)679--706
-
left-terminating, 16(4)1081--1096
-
leftmost, 19(3)413--426, 28(2)256--289
-
legacy, 27(3)477--526
-
legal, 10(2)189--203, 15(5)876--895, 20(4)845--868, 21(6)1077--1136,
36(4)12--12, 37(1)3--3, 45(3)17--17
-
legal., 16(4)1248--1278
-
legality, 20(3)635--678
-
Leikehman, Victor, 27(6)1097--1146
-
Leikehman, Victor, see Barabash, Katherine
-
Leino, K. Rustan M., 24(5)491--553, 31(1)1--1
-
Leino, K. Rustan M., see Jacobs, Bart
-
Leino:2002:DAI, 24(5)491--553
-
Leiss, Hans, 12(4)610--640
-
Leiss:1990:KME, 12(4)610--640
-
Leivent, Jonathan I., 15(5)771--794
-
Leivent:1993:MFT, 15(5)771--794
-
LeMetayer:1988:AAC, 10(2)248--266
-
Lemma, 41(4)20--20
-
lend, 18(1)16--29, 21(3)627--676, 22(2)224--264
-
Lengauer, 20(6)1265--1296
-
Lengauer, Thomas, 1(1)121--141
-
Lengauer:1979:FAF, 1(1)121--141
-
length, 6(4)527--545, 10(2)189--203, 15(4)632--658, 21(2)240--285,
34(3)14--14, 41(1)3--3
-
length, fixed-, 29(1)3--3
-
length, path-, 32(3)8--8, 35(4)14--14
-
length, variable-, 29(1)3--3
-
leniency, 21(2)240--285
-
Lennon-Bertrand, Meven, 44(2)7--7
-
Lennon-Bertrand:2022:GCI, 44(2)7--7
-
Leong, Philip H. W., 37(2)5--5
-
Leong, Philip H. W., see Frechtling, Michael
-
Lepigre, 41(2)8--8
-
Lepigre, Rodolphe, 41(1)5--5
-
Lepigre:2019:PSC, 41(1)5--5
-
Lermen, 15(1)1--35
-
Lerner, Barbara S., 16(3)727--774
-
Lerner, Barbara S., see Garlan, David
-
Leroy, 36(1)4--4
-
Leroy, Xavier, 22(2)340--377, 27(5)857--881
-
Leroy, Xavier, see Hirschowitz, Tom
-
Leroy:2000:TBA, 22(2)340--377
-
less, 13(1)1--20, 13(1)52--98, 14(3)417--461, 15(4)632--658,
16(3)524--576, 18(1)30--72, 18(3)254--267, 18(6)752--779,
20(6)1265--1296, 20(6)1297--1322, 23(2)105--186, 27(6)1049--1096,
30(1)4--4, 30(4)18--18, 36(1)3--3, 37(1)4--4, 38(3)8--8, 41(3)15--15
-
less-expressive, 40(4)17--17
-
lessons, 19(1)153--187, 23(6)776--796, 40(4)15--15
-
let, 14(3)299--338, 16(4)1248--1278, 31(3)12--12, 32(3)9--9, 32(4)12--12,
38(2)4--4, 40(4)16--16, 42(3)15--15, 44(4)21--21
-
let-expressions, 20(1)166--207
-
Let-Polymorphic, 20(4)707--723
-
let-polymorphic, 20(4)707--723
-
Lett, 17(1)180--180, 19(6)1085--1087
-
letter-shape, 7(1)62--79
-
Lettieri, G., 31(1)3--3
-
Lettieri, G., see Bernardeschi, C.
-
letting, 37(1)3--3
-
Leung, Allen, 23(1)73--103
-
Leung:2001:STC, 23(1)73--103
-
Leuschel, Michael, 20(1)208--258, 26(3)413--463
-
Leuschel:1998:CGP, 20(1)208--258
-
Leuschel:2004:FIP, 26(3)413--463
-
Levanoni, Yossi, 28(1)1--69
-
Levanoni:2006:FRC, 28(1)1--69
-
level, 3(2)126--143, 4(4)650--667, 5(3)405--421, 8(4)524--546,
9(3)367--389, 13(1)124--149, 14(1)54--106, 14(2)127--144,
14(2)173--200, 14(3)299--338, 16(1)35--101, 16(2)259--303,
16(6)1811--1841, 17(4)600--634, 18(6)659--682, 19(1)1--6,
19(3)492--524, 21(2)324--369, 21(3)569--626, 21(5)977--1027,
28(3)429--475, 30(3)12--12, 30(3)17--17, 30(5)28--28, 30(6)32--32,
30(6)33--33, 31(4)14--14, 31(6)20--20, 31(6)22--22, 32(4)12--12,
32(4)14--14, 33(3)10--10, 34(1)5--5, 35(1)3--3, 36(2)6--6, 37(2)6--6,
38(4)13--13, 39(3)10--10, 39(4)17--17, 40(3)11--11, 40(3)12--12,
41(3)17--17, 42(1)1--53, 43(1)2--2, 43(3)12--12
-
level, assembly-, 37(2)6--6
-
Level, Compiler-, 45(2)10--10
-
Level, High-, 4(2)239--257, 11(2)194--211
-
level, high-, 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
-
level, higher-, 16(2)259--303, 21(5)914--947
-
level, Instruction-, 19(6)853--898
-
level, instruction-, 19(6)1031--1052
-
level, intermediate-, 16(4)1215--1247
-
level, iteration-, 17(4)600--634
-
level, language-, 32(4)12--12, 37(1)4--4, 39(4)17--17
-
level, loop-, 31(5)17--17
-
level, low-, 16(5)1613--1647, 19(1)153--187, 19(4)568--585,
20(6)1131--1170, 21(3)527--568, 30(4)18--18, 31(3)12--12, 32(3)7--7,
32(4)12--12, 36(1)2--2, 36(2)6--6, 38(2)4--4, 38(3)10--10, 40(1)3--3,
40(2)8--8, 40(3)10--10, 44(4)22--22, 45(3)18--18
-
level, lower-, 16(2)259--303
-
level, machine-, 19(3)492--524, 30(5)25--25, 33(3)10--10
-
level, operation-, 17(4)600--634
-
LEVEL, REGISTER-TRANSFER-, 8(1)142--153, 16(5)1512--1542,
18(3)235--253, 18(3)300--324
-
level, source-, 16(3)387--427, 20(6)1111--1130, 22(4)701--771
-
level, system-, 19(4)586--616, 37(1)4--4
-
level, target-, 43(1)1--1
-
Level, Task-, 17(4)600--634
-
level, task-, 17(4)600--634, 20(3)483--545
-
Level, Thread-, 38(2)5--5
-
level, thread-, 38(2)5--5
-
leverage, 20(6)1297--1322, 32(5)17--17, 35(2)8--8, 36(1)2--2,
37(4)11--11, 41(3)17--17, 43(2)6--6
-
leveraged, 37(3)10--10
-
leveraging, 36(1)2--2, 36(1)4--4, 43(2)7--7, 43(4)15--15
-
Leverett, Bruce W., 2(3)274--289
-
Leverett:1980:CSD, 2(3)274--289
-
Levi, 28(2)290--330
-
Levi, Francesca, 25(1)1--69
-
Levi, Giorgio, 15(1)133--181
-
Levi, Giorgio, see Barbuti, Roberto
-
Levi:2003:MSA, 25(1)1--69
-
Levin, Gary, 2(4)564--579
-
Levin, Gary, see Gries, David
-
Lewis, Matt, 40(2)5--5
-
Lewis, Matt, see David, Cristina
-
Lewis, T. G., 2(2)239--262
-
Lewis, T. G., see Ma, Perng-Ti
-
lexical, 9(2)257--276, 14(4)490--520, 39(4)14--14, 45(3)14--14
-
lexical-analysis, 20(2)259--273
-
lexically, 22(4)701--771
-
lexicographic, 31(3)10--10, 40(1)1--1
-
Lhoták, Ondrej, 45(4)21--21,
see Boruch-Gruszecki, Aleksander
-
Lhoták, Ond{\v{r}}ej, 30(4)19--19
-
Lhotak:2008:RAB, 30(4)19--19
-
Lhoussaine, Cédric, 25(5)549--577,
see Amadio, Roberto M.
-
Li, 34(1)1--1
-
Li, Chang, 28(5)908--941
-
Li, Chang, see Brecht, Tim
-
Li, Huiqing, 39(4)17--17
-
Li, Huiqing, see Trinder, Phil
-
Li, Liyi, 45(3)18--18
-
Li, Liyi, see Hietala, Kesha
-
Li, Ning, 27(1)91--125
-
Li, Ning, see Liu, Yanhong A.
-
Li, Yuanbo, 44(2)11--11
-
Li, Yue, 42(2)10--10
-
Li, Zheng, 35(2)7--7
-
Li, Zheng, see Binkley, David
-
Li, Zhiyuan, 26(6)975--1028
-
Li:2004:ATI, 26(6)975--1028
-
Li:2020:PAS, 42(2)10--10
-
Li:2022:FGS, 44(2)11--11
-
Liang, Hongjin, 36(1)3--3
-
Liang:2014:RGB, 36(1)3--3
-
Liao, 32(4)11--11
-
Liao, Shih-Wei, 27(4)662--731
-
Liao, Shih-Wei, see Hall, Mary W.
-
Liao, Stan, 18(3)235--253
-
Liao:1996:SAD, 18(3)235--253
-
liberal, 33(6)19--19, 40(1)4--4
-
library, 4(4)585--600, 7(3)446--477, 8(3)273--291, 8(4)547--576,
10(2)248--266, 10(4)627--632, 10(4)633--634, 13(1)1--20,
16(1)102--150, 16(3)577--604, 18(1)1--15, 19(1)188--222,
24(6)711--804, 28(2)207--255, 30(4)20--20, 30(6)32--32, 32(1)3--3,
32(2)4--4, 32(4)14--14, 34(1)3--3, 34(1)4--4, 34(1)6--6, 34(2)7--7,
37(2)5--5, 38(2)4--4, 39(3)11--11, 39(4)17--17, 41(1)1--1,
41(3)15--15, 41(3)16--16, 42(3)15--15, 44(2)10--10
-
Lickly, Ben, 33(4)14--14
-
Lickly, Ben, see Tripakis, Stavros
-
Lidman, Jacob, 40(1)3--3
-
Lidman:2018:VRP, 40(1)3--3
-
lie, 13(1)124--149, 16(4)1361--1398, 28(1)134--174, 30(5)25--25,
32(1)2--2, 38(2)4--4
-
Lieberherr, Karl, 17(2)264--292, 26(2)370--412
-
Lieberherr, Karl, see Palsberg, Jens
-
Lieberherr:2004:TOS, 26(2)370--412
-
LIFE, 16(4)1279--1318
-
life, real-, 17(4)635--671
-
lifetime, 20(4)724--767, 20(6)1297--1322, 21(3)627--676, 22(4)701--771,
22(5)773--815, 28(3)476--516, 29(1)2--2, 30(4)23--23, 43(1)3--3
-
Lifshin, Marina, 30(4)20--20
-
Lifshin, Marina, see Flanagan, Cormac
-
Ligatti, Jay, 39(1)4--4
-
Ligatti:2017:SRC, 39(1)4--4
-
light, 30(5)29--29, 35(1)5--5, 36(2)7--7, 41(1)2--2
-
light-weight, 16(5)1411--1430
-
lightweight, 17(5)704--739, 19(1)48--86, 21(1)138--173, 38(4)16--16,
41(4)23--23, 43(1)3--3, 43(1)4--4, 45(2)8--8
-
like, 4(4)711--732, 6(4)546--572, 7(4)501--538, 10(2)248--266,
15(5)876--895, 17(2)264--292, 18(6)752--779, 19(1)87--152,
19(3)492--524, 20(4)869--916, 20(5)1067--1109, 21(4)790--812,
21(5)914--947, 21(5)1028--1075, 23(1)1--29, 29(5)29--29,
31(3)12--12, 31(6)20--20, 32(5)19--19, 33(6)20--20, 34(3)14--14,
35(1)2--2, 36(2)6--6, 37(1)3--3, 38(2)4--4, 38(2)7--7, 39(2)7--7,
40(1)3--3, 40(4)16--16, 41(3)16--16, 42(1)3--3, 43(1)2--2, 43(1)3--3
-
like, C-, 27(6)1049--1096, 28(3)429--475, 44(2)12--12
-
Like, CSP-, 12(1)102--122
-
like, Java-, 28(4)619--695, 30(6)33--33, 33(6)20--20,
37(4)13--13
-
like, Lisp-, 17(2)293--330
-
like, ML-, 31(3)12--12
-
like, occam-, 16(5)1613--1647
-
like, program-, 16(2)259--303
-
like, Scheme-, 31(3)12--12
-
like, UNITY-, 17(1)16--27
-
likelihood, 39(4)18--18
-
likely, 10(2)248--266, 18(4)355--400, 32(5)17--17, 38(2)4--4, 38(2)6--6,
39(4)18--18
-
Lim, Junghee, 35(1)4--4, 36(4)11--11
-
Lim, Junghee, see Elder, Matt
-
Lim:2013:TSG, 35(1)4--4
-
limit, 13(1)52--98, 14(1)28--53, 14(2)173--200, 16(3)524--576,
16(6)1675--1683, 17(1)63--84, 18(4)355--400, 19(6)1031--1052,
20(2)302--343, 21(3)677--701, 23(1)30--72, 31(2)7--7, 37(1)4--4,
38(2)5--5, 39(4)17--17, 41(1)3--3, 41(3)17--17
-
limitation, 4(4)711--732, 8(4)577--608, 15(4)659--680, 20(3)635--678,
32(3)8--8, 34(1)5--5, 37(4)12--12, 39(1)2--2, 40(4)16--16,
41(3)18--18, 43(1)4--4, 43(2)6--6
-
limited, 7(1)62--79, 14(1)28--53, 16(4)1215--1247, 19(1)87--152,
19(3)413--426, 20(5)1014--1066, 20(6)1195--1222, 20(6)1297--1322,
22(2)378--415, 27(6)1097--1146, 28(5)942--965, 31(1)4--4,
37(4)12--12, 38(2)6--6, 41(2)13--13, 42(4)19--19, 43(1)4--4,
43(3)9--9
-
limited, resource-, 30(4)22--22, 39(2)7--7
-
limiting, 14(1)28--53, 16(4)1156--1214, 18(4)355--400, 37(4)12--12
-
Lin, Anthony W., 41(2)12--12
-
Lin, Anthony W., see Hague, Matthew
-
Lin, Huimin, 15(5)876--895
-
Lin, Nai-Wei, 15(5)826--875
-
Lin, Nai-Wei, see Debray, Saumya K.
-
Lin, Shang-Wei, 43(1)2--2
-
Lin, Shang-Wei, see Sanan, David
-
Lin:1993:PIA, 15(5)876--895
-
linchpin, 35(2)7--7
-
Lincoln, Patrick, 11(1)115--146
-
Lincoln, Patrick, see {A{\"{}\i}t}-Kaci, Hassan
-
Linda, 7(1)80--112
-
Lindsay, Donald, 19(1)188--222
-
Lindsay, Donald, see Calder, Brad
-
Lindstrom, Gary, 1(1)8--26, 3(3)263--292
-
Lindstrom:1979:BGC, 1(1)8--26
-
Lindstrom:1981:RRB, 3(3)263--292
-
line, 4(4)687--710, 8(1)109--139, 16(1)35--101, 17(2)197--216,
18(4)424--453, 21(2)370--416, 22(3)490--505, 23(2)105--186,
28(2)207--255, 30(1)4--4, 30(2)8--8, 33(1)3--3, 35(2)7--7, 36(3)8--8
-
line, off-, 21(3)569--626, 27(6)1147--1215
-
Line, On-, 16(5)1399--1410
-
line, on-, 16(5)1399--1410, 20(1)208--258, 21(1)138--173,
21(3)569--626, 31(6)20--20
-
line, straight-, 16(3)370--386
-
line-enabled, command-, 32(4)15--15
-
linear, 4(4)615--649, 5(3)405--421, 6(4)527--545, 9(3)408--440,
14(3)339--395, 16(3)775--797, 16(3)1024--1050, 16(3)1051--1077,
17(1)85--122, 17(4)635--671, 19(4)557--567, 19(6)916--941,
20(2)259--273, 21(2)175--188, 21(2)240--285, 21(2)370--416,
21(4)703--746, 21(5)895--913, 21(5)914--947, 21(6)1251--1297,
22(1)87--128, 22(2)378--415, 22(5)816--860, 22(6)973--1001,
28(4)577--618, 28(4)696--714, 29(5)29--29, 30(5)27--27, 32(6)21--21,
32(6)24--24, 33(6)21--21, 34(3)14--14, 34(4)16--16, 35(1)2--2,
35(3)9--9, 36(4)11--11, 38(2)5--5, 39(2)9--9, 40(1)1--1, 40(2)7--7,
40(3)9--9, 40(4)17--17, 41(2)12--12, 41(4)20--20, 42(3)14--14,
45(2)8--8
-
linear, almost-, 17(3)487--506
-
Linear, Left-, 20(3)679--706
-
linear, left-, 20(3)679--706
-
linear-constraint, 34(4)16--16
-
linear-space, 30(6)33--33
-
Linear-Time, 16(3)775--797
-
linear-time, 16(3)1051--1077, 20(6)1265--1296, 21(5)895--913,
27(3)383--387, 28(4)696--714, 41(1)3--3
-
Linearity, 21(5)914--947
-
linearity/uniqueness, 43(1)3--3
-
linearizability, 12(3)463--492, 33(1)4--4
-
linearizable, 33(1)4--4
-
linearization, 45(2)13--13
-
linearized, 39(2)9--9
-
linearly, 22(5)773--815
-
lingua, 38(3)9--9
-
linguistic, 5(3)381--404, 12(2)178--202, 19(6)899--915, 29(3)17--17,
41(1)4--4
-
link, 4(4)585--600, 13(1)1--20, 14(3)299--338, 14(4)574--588,
15(5)876--895, 30(6)30--30, 41(4)21--21
-
Link-time, 27(5)882--945
-
linkage, 21(4)813--847
-
linked, 7(1)62--79, 10(4)555--578, 13(4)626--629, 16(3)775--797,
17(5)704--739, 20(1)1--50, 31(6)21--21, 44(4)25--25
-
linked-list, 32(5)18--18
-
linker, 13(1)1--20, 14(3)299--338, 19(3)492--524
-
Linkers, 13(1)1--20, 16(6)1699--1718
-
linking, 13(1)1--20, 16(1)151--174, 21(4)813--847, 24(6)711--804,
35(1)2--2, 40(2)6--6
-
linking, dynamic-, 27(6)1049--1096
-
Linton, Mark A., 13(1)1--20
-
Linton, Mark A., see Quong, Russell W.
-
Linux, 30(4)22--22, 33(1)3--3, 36(2)7--7, 36(4)14--14, 37(1)4--4
-
LIPS, 11(2)284--329
-
Lipton, 30(4)20--20
-
Lipton, Richard J., 5(3)405--421
-
Lipton:1983:VLP, 5(3)405--421
-
liquid, 19(6)942--991, 39(3)11--11
-
Liquori, Luigi, 30(2)11--11
-
Liquori:2008:FME, 30(2)11--11
-
LISF, 33(5)17--17
-
Liskov, B. H., 16(6)1811--1841
-
Liskov, Barbara, 4(4)527--551, 5(3)381--404, 7(2)244--269
-
Liskov, Barbara, see Herlihy, Maurice P.,
see Weihl, William
-
Liskov:1983:GAL, 5(3)381--404
-
Liskov:1994:BNS, 16(6)1811--1841
-
LISP, 7(4)501--538, 9(4)582--598, 11(1)1--32, 14(4)589--616
-
Lisp, 5(4)513--531, 7(3)478--489, 7(4)501--538, 11(1)1--32, 13(1)52--98,
19(2)223--238
-
LISP, M-, 14(4)589--616
-
Lisp-like, 17(2)293--330
-
Lisper, Björn, 42(4)19--19, see Masud, Abu Naser
-
list, 1(2)266--286, 6(4)546--572, 9(2)277--295, 11(4)598--632,
11(4)633--649, 13(4)626--629, 15(4)706--734, 16(3)687--726,
16(3)775--797, 17(1)1--15, 19(3)444--461, 19(5)751--803, 20(1)1--50,
22(4)673--700, 27(6)1147--1215, 32(1)3--3, 32(2)5--5, 34(3)14--14,
41(1)5--5, 41(2)8--8, 41(3)18--18, 45(1)1--1
-
list, infinite-, 11(4)633--649
-
list, linked-, 32(5)18--18
-
List, Tailored-, 6(1)118--125
-
listing, 18(6)730--751, 27(6)1344--1395
-
listness, 20(1)1--50
-
literals, 22(5)861--931
-
literate, 19(3)492--524
-
literature, 5(4)620--640, 9(2)125--163, 14(2)127--144, 14(3)417--461,
16(4)1114--1116, 17(1)28--44, 20(1)51--115, 28(4)747--793,
31(6)20--20, 33(3)10--10, 33(5)16--16, 34(4)17--17, 35(2)6--6,
35(3)9--9, 38(2)5--5, 43(1)3--3, 43(2)6--6, 45(1)4--4
-
little, 4(4)687--710, 9(4)491--542, 10(2)248--266, 16(3)727--774,
16(6)1768--1810, 17(2)233--263, 21(3)502--526, 30(4)18--18,
37(1)2--2, 38(2)7--7, 43(3)10--10, 44(2)12--12
-
Liu, Bozhen, 41(1)6--6
-
Liu, Lun, 43(3)10--10
-
Liu, Peizun, 42(4)16--16
-
Liu, Shin-Ming, 21(3)627--676
-
Liu, Shin-Ming, see Kennedy, Robert
-
Liu, Ssu-Cheng, 1(1)27--49
-
Liu, Ssu-Cheng, see Dewar, Robert B. K.
-
Liu, Yanhong A., 20(3)546--585, 27(1)91--125, 31(6)21--21
-
Liu, Zhiming, 21(1)46--89
-
Liu:1998:SCI, 20(3)546--585
-
Liu:1999:SVF, 21(1)46--89
-
Liu:2005:OAA, 27(1)91--125
-
Liu:2009:DRE, 31(6)21--21
-
Liu:2019:RIP, 41(1)6--6
-
Liu:2021:ICU, 42(4)16--16
-
Liu:2021:SDC, 43(3)10--10
-
live, 14(1)1--27, 14(1)28--53, 16(3)328--369, 18(6)683--710, 19(1)1--6,
21(5)895--913, 22(3)431--470, 28(1)1--69, 32(4)11--11, 41(4)23--23,
43(4)16--16, 46(1)4--4
-
Live-Structure, 16(2)205--258
-
live-variables, 16(5)1467--1471
-
lived, 4(4)527--551
-
lived, long-, 29(1)2--2
-
livelock, 32(4)14--14
-
liveness, 4(3)455--495, 8(1)154--182, 10(1)156--177, 12(2)303--339,
15(1)73--132, 16(2)205--258, 16(2)259--303, 18(3)268--299,
20(6)1171--1194, 21(1)46--89, 21(4)747--789, 24(6)593--624,
32(4)14--14, 34(1)6--6, 40(3)12--12
-
Livermore, 16(4)1156--1214
-
Livshits, Benjamin, 38(1)1--1
-
Livshits, Benjamin, see D'antoni, Loris
-
LL, 9(2)164--197, 16(3)1024--1050
-
Llabería, José M., 24(4)409--453,
see Jiménez, Marta
-
Llosa, Josep, 26(2)263--300, 27(5)946--987
-
Llosa, Josep, see Vera, Xavier
-
Lloyd, 20(4)768--844
-
LLVM, 41(3)17--17, 44(3)14--14
-
Lo, Raymond, 21(3)627--676
-
Lo, Raymond, see Kennedy, Robert
-
load, 16(3)577--604, 17(5)740--776, 18(6)659--682, 21(1)138--173,
22(3)490--505, 22(5)932--972, 27(6)1097--1146, 36(3)10--10
-
Load, Delayed-, 17(5)740--776
-
load-balancing, 17(5)704--739, 32(3)9--9
-
load-store, 18(6)659--682
-
Loaded, 11(4)562--584
-
Loaders, 16(6)1699--1718
-
loading, 30(6)33--33, 41(3)18--18
-
load_linked, 15(5)745--770
-
Lobo-Vesga, Elisabet, 43(2)6--6
-
Lobo-Vesga:2021:PLD, 43(2)6--6
-
LoC, 39(2)6--6
-
local, 4(1)21--36, 4(3)323--344, 9(2)257--276, 9(3)367--389,
11(2)249--283, 11(2)330--344, 12(4)643--669, 13(1)99--123,
15(4)735--742, 16(3)370--386, 17(1)157--179, 17(4)561--575,
17(4)672--689, 18(2)175--234, 18(6)683--710, 19(3)525--555,
20(1)51--115, 21(2)189--239, 21(3)430--501, 21(3)569--626,
22(1)1--44, 22(1)129--161, 25(4)401--451, 30(4)18--18, 30(4)24--24,
31(1)1--1, 31(6)23--23, 32(1)2--2, 32(3)9--9, 32(5)16--16,
32(6)22--22, 34(2)8--8, 34(4)17--17, 40(2)6--6, 41(1)1--1,
42(1)1--53, 43(1)3--3, 43(4)17--17
-
local, non-, 41(3)14--14
-
local, thread-, 28(2)207--255, 30(4)20--20, 33(1)3--3
-
local-area, 9(2)235--256
-
Local-first, 46(1)2--2
-
local-reference-counting, 15(1)1--35
-
locality, 17(3)535--559, 17(4)561--575, 18(4)424--453, 18(5)615--647,
21(4)703--746, 21(5)977--1027, 22(3)490--505, 27(5)946--987,
31(6)20--20, 34(1)3--3, 38(3)12--12
-
locality-correlated, 31(6)20--20
-
localization, 31(1)4--4, 32(5)17--17
-
locally, 3(3)318--347, 6(2)192--214, 6(4)573--602, 9(2)235--256,
18(2)175--234, 22(6)973--1001, 31(1)1--1, 36(1)4--4, 46(1)2--2,
46(1)3--3
-
locate, 35(2)7--7, 39(4)18--18, 41(3)19--19
-
located, 16(3)387--427, 29(6)35--35
-
locating, 32(5)17--17
-
location, 16(3)387--427, 16(5)1648--1659, 22(3)431--470, 22(5)816--860,
30(4)22--22, 31(6)20--20, 32(4)11--11, 32(4)15--15, 33(1)3--3,
34(1)2--2, 34(1)4--4, 34(2)7--7, 35(4)14--14, 37(1)3--3, 37(4)12--12,
38(3)11--11, 39(4)18--18, 40(1)2--2, 43(3)10--10
-
location-dependent, 32(4)12--12
-
location-independent, 32(4)12--12
-
Locator, 39(4)18--18
-
LOCC, 34(4)17--17
-
Lochbihler, Andreas, 35(4)12--12
-
Lochbihler:2013:MJM, 35(4)12--12
-
lock, 15(5)745--770, 30(4)20--20, 32(4)12--12, 33(1)3--3, 38(2)4--4,
38(4)14--14, 40(3)12--12, 45(2)10--10
-
lock-coupling, 33(1)4--4
-
Lock-Free, 39(3)11--11
-
lock-free, 15(5)745--770, 22(4)673--700, 33(1)4--4, 40(4)15--15
-
lock-freedom, 32(5)16--16
-
locking, 28(2)207--255
-
LOCKSMITH, 33(1)3--3
-
Locksmith, 33(1)3--3
-
Löding, Christof, 45(2)7--7, see Murali, Adithya
-
Loeckx, Jacques, 9(4)646--685
-
Loeckx:1987:ASC, 9(4)646--685
-
log, 20(5)980--1013, 34(3)13--13, 41(4)20--20
-
logarithm, 41(4)20--20
-
logarithmic, 41(4)20--20
-
Logging, 8(1)50--87
-
LOGIC, 7(1)159--175, 7(2)270--298, 7(2)299--310, 8(2)244--263,
8(2)264--271, 8(3)406--407, 8(4)547--576, 9(1)100--120,
9(4)473--490, 9(4)543--566, 9(4)618--645, 10(2)338--342,
10(3)345--373, 10(3)374--402, 11(1)67--89, 11(2)169--193,
11(3)418--450, 11(3)451--481, 11(4)491--516, 11(4)562--584,
11(4)633--649, 11(4)650--665, 12(1)26--60, 12(1)61--83,
12(1)123--134, 12(3)429--462, 12(4)610--640, 13(1)99--123,
13(1)150--178, 13(2)269--290, 13(3)295--314, 13(4)577--625,
14(1)54--106, 14(2)127--144, 14(2)145--146, 14(2)147--172,
14(3)339--395, 14(3)396--416, 14(4)521--573, 14(4)589--616,
15(1)206--208, 15(2)211--252, 15(2)253--289, 15(2)290--311,
15(3)535--562, 15(4)575--631, 15(4)706--734, 16(3)493--523,
16(3)605--606, 16(3)607--648, 16(3)687--726, 16(3)1024--1050,
16(3)1051--1077, 16(4)1081--1096, 16(4)1361--1398, 16(5)1467--1471,
16(5)1613--1647, 17(1)47--62, 17(2)228--232, 17(2)293--330,
17(4)576--599, 17(6)844--895, 18(1)73--108, 18(3)235--253,
18(6)730--751, 19(1)1--6, 19(2)386--412, 19(4)586--616,
19(5)726--750, 19(6)899--915, 19(6)916--941, 20(1)208--258,
20(2)344--387, 20(3)586--634, 20(5)1067--1109
-
logic, constraint-, 40(1)2--2
-
logic, temporal-, 6(1)68--93, 16(5)1512--1542
-
logic-based, 14(4)521--573, 34(1)2--2
-
logic-programming, 16(3)607--648
-
logical, 4(1)83--112, 4(2)125--148, 8(1)50--87, 8(4)524--546,
8(4)577--608, 15(4)706--734, 16(3)607--648, 16(3)727--774,
16(3)775--797, 16(3)872--923, 19(5)751--803, 20(4)768--844,
20(5)1067--1109, 29(2)8--8, 31(2)7--7, 31(3)11--11, 31(3)12--12,
31(4)16--16, 31(5)19--19, 32(3)7--7, 32(6)24--24, 33(5)16--16,
33(5)17--17, 33(6)19--19, 37(4)11--11, 38(1)3--3, 40(2)6--6,
40(4)17--17, 43(2)7--7
-
logically, 8(4)524--546, 14(2)201--264, 16(4)1361--1398, 17(3)448--460,
19(5)751--803, 42(1)4--4, 45(4)22--22
-
logician, 16(3)872--923
-
Loginov, Alexey, 32(2)5--5, 32(6)24--24
-
Loginov, Alexey, see Jeannet, Bertrand,
see Reps, Thomas
-
Logozzo, Francesco, 38(2)7--7
-
Logozzo, Francesco, see Dissegna, Stefano
-
long, 4(4)527--551, 14(1)1--27, 14(2)173--200, 16(3)1051--1077,
20(6)1297--1322, 31(3)9--9, 31(6)20--20, 32(3)9--9, 36(1)3--3,
38(3)8--8, 38(3)9--9, 38(3)12--12, 40(3)10--10
-
Long, David E., 16(3)843--871, 16(5)1512--1542
-
Long, David E., see Clarke, Edmund M.,
see Grumberg, Orna
-
long-distance, 22(1)1--44
-
long-lived, 29(1)2--2
-
long-running, 30(2)8--8
-
long-standing, 4(3)323--344
-
long-term, 4(4)527--551
-
longer, 14(2)173--200, 15(4)632--658, 22(2)296--339
-
longest, 6(4)632--646, 19(3)413--426, 20(2)259--273, 21(2)240--285,
28(3)389--428, 34(3)14--14, 36(3)9--9
-
look, 13(1)150--178, 27(6)1270--1343, 43(3)11--11
-
Look-Ahead, 4(4)615--649
-
look-ahead, 4(4)615--649, 13(1)150--178
-
lookahead, 3(1)60--82, 4(2)179--195, 7(1)62--79, 7(1)159--175,
10(3)456--469, 17(4)672--689, 39(4)14--14
-
lookahead-rollback, 7(3)404--425
-
looked, 28(2)290--330
-
lookup, 41(3)14--14
-
looming, 20(1)208--258
-
loop-chunking, 35(1)3--3
-
loop-free, 36(4)11--11
-
loop-intensive, 34(3)11--11
-
loop-invariant, 5(2)236--264
-
loop-level, 31(5)17--17
-
loop-nesting, 21(2)175--188
-
loop-oriented, 21(4)703--746
-
looping, 28(2)256--289
-
loose, 32(3)9--9
-
loosen, 21(3)677--701
-
loosing, 16(3)1051--1077
-
Lopez, A. A., 3(2)115--125
-
Lopez, A. A., see Fraser, Christopher W.
-
López, Andrés Mar{\'i}n, 19(4)586--616,
see Breuer, Peter T.
-
López, Hugo-Andrés, 44(4)26--26,
see Vasconcelos, Vasco T.
-
Lorch, Jacob R., 44(2)12--12
-
Lorch:2022:AAV, 44(2)12--12
-
LoRe, 46(1)2--2
-
lose, 7(2)183--213, 14(3)417--461, 37(1)1--1
-
losing, 27(6)1097--1146, 41(2)10--10
-
loss, 16(1)151--174, 20(6)1195--1222, 20(6)1297--1322, 27(6)1097--1146,
28(5)942--965, 40(1)3--3
-
lossless, 34(1)5--5
-
lost, 44(4)22--22
-
lot, 30(3)12--12
-
Lovato, Alberto, 41(3)18--18
-
Lovato, Alberto, see Spoto, Fausto
-
low, 19(6)853--898, 20(6)1265--1296, 21(1)138--173, 22(5)932--972,
27(6)1049--1096, 28(1)1--69, 31(5)17--17, 32(4)11--11, 32(4)12--12,
32(6)23--23, 34(1)4--4, 34(3)13--13, 37(1)2--2, 40(4)15--15,
41(3)16--16, 41(3)19--19, 44(4)22--22
-
low-cost, 22(5)932--972
-
low-end, 22(3)471--489
-
low-level, 16(5)1613--1647, 19(1)153--187, 19(4)568--585,
20(6)1131--1170, 21(3)527--568, 30(4)18--18, 31(3)12--12, 32(3)7--7,
32(4)12--12, 36(1)2--2, 36(2)6--6, 38(2)4--4, 38(3)10--10, 40(1)3--3,
40(2)8--8, 40(3)10--10, 44(4)22--22, 45(3)18--18
-
low-overhead, 27(6)1097--1146, 29(1)3--3
-
low-priority, 27(6)1097--1146
-
lower, 8(4)524--546, 13(1)124--149, 14(3)339--395, 16(3)428--455,
16(4)1248--1278, 20(6)1171--1194, 32(6)21--21, 34(1)6--6,
34(3)13--13, 34(4)16--16, 36(3)10--10, 42(3)13--13, 43(1)2--2
-
lower-level, 16(2)259--303
-
lowest, 43(1)2--2
-
Lowney, P. Geoffrey, 16(4)1156--1214
-
Lowney, P. Geoffrey, see Freudenberger, Stefan
-
loyal, 4(3)382--401
-
Lozano, Roberto Castañeda, 41(3)17--17
-
Lozano:2019:CRA, 41(3)17--17
-
LR, 3(2)168--206, 4(2)179--195, 4(4)615--649, 6(3)432--439, 9(2)164--197,
10(3)345--373, 13(1)150--178, 16(3)1024--1050, 16(3)1051--1077,
20(5)980--1013, 22(2)224--264, 24(6)698--710, 25(5)631--640,
28(4)577--618, 39(4)14--14
-
LR, generalized-, 34(4)15--15
-
LR-based, 23(4)451--471
-
LR0, 7(1)159--175
-
LR1, 19(4)568--585, 28(4)577--618
-
LRA, 40(2)7--7
-
LRApp, 40(2)7--7
-
LRk, 4(2)149--178, 4(2)179--195, 4(4)615--649, 16(3)1051--1077
-
LTAL, 32(3)7--7
-
LTG, 35(1)2--2
-
LTL, 22(1)87--128
-
lts-based, 28(2)290--330
-
Lu, Eric, 45(1)2--2
-
Lu, Eric, see Hu, Jingmei
-
Lubachevsky, Boris D., 5(2)164--189, 10(2)313--337
-
Lubachevsky, Boris D., see Gottlieb, Allan,
see Greenberg, Albert G.
-
Luckham, David C., 1(2)226--244, 2(2)225--233
-
Luckham:1979:VAR, 1(2)226--244
-
Luckham:1980:AEH, 2(2)225--233
-
Lueh, Guei-Yuan, 22(3)431--470
-
Lueh:2000:FBR, 22(3)431--470
-
Luján, Mikel, 38(2)5--5, 40(2)8--8,
see Grimmer, Matthias,
see Yiapanis, Paraskevas
-
Lundin, Kenneth, 39(4)17--17
-
Lundin, Kenneth, see Trinder, Phil
-
Luo, Zhengqin, 34(2)10--10
-
Luo, Zhengqin, see Boudol, Gérard
-
Lycklama, Edward A., 13(4)558--576
-
Lycklama:1991:FCF, 13(4)558--576
-
lying, 9(3)367--389
-
Lynch, Nancy A., 11(1)90--114
-
Lynch, Nancy A., see Fischer, Michael J.