Last update: Sat Apr 13 02:05:55 MDT 2024
Return to index directory
L
-
L, 10(1)93--95, 11(2)178--180, 12(2)172--173, 14(1)103--105, 16(2)204--205,
24(1)102--103, 24(2)185--186
-
L'Yvonnet, Thibaud, 206(z)z--99999999
-
Label, 23(0)107--311, 23(2)227--286
-
labeled, 209(z)z--99999999
-
labeling, co-, 227(z)z--99999999
-
labelled, 202(z)z--99999999, 231(z)z--99999999
-
labelled, production-, 5(1)83--96
-
LabVIEW, 227(z)z--99999999
-
Lacave, Carmen, 88(z)54--81
-
Lacave, Carmen, see Molina, Ana I.
-
LaChapelle, Neil, 95(z)44--72
-
LaChapelle, Neil, see Hamdaqa, Mohammad
-
lacking, 78(9)1346--1367
-
Lackner Solberg Gasser, Kirsten, 31(1)113--145
-
LacknerSolbergGasser:1998:STA, 31(1)113--145
-
Ladenberger, Lukas, 82(z)2--21, 158(z)122--147
-
Ladenberger, Lukas, see Hallerstede, Stefan,
see Hoang, Thai Son
-
Lado, Nora, 121(z)16--33
-
Lado, Nora, see Villanueva, Daniel
-
Lafuente, Alberto Lluch, 97(z)23--30, 99(z)75--94, 109(z)1, 130(z)1,
168(z)118--141
-
Lafuente, Alberto Lluch, see Baldan, Paolo,
see Bosnacki, Dragan, \see{Bruni, Roberto,
see Carbone, Marco
-
Lagadec, Loïc, 96(z)1--3, 96(z)156--174, 199(z)z--99999999
-
Lagadec:2014:MDT, 96(z)156--174
-
Lagadec:2014:PSI, 96(z)1--3
-
Lagadec:2020:AST, 199(z)z--99999999
-
Lago, Ugo, Dal, 84(z)77--100, 185(z)z--99999999
-
Lago:2014:LDT, 84(z)77--100
-
Laguna, Miguel A., 78(8)1010--1034
-
Laguna:2013:SMS, 78(8)1010--1034
-
Lahami, Mariam, 122(z)1--28
-
Lahami:2016:SER, 122(z)1--28
-
Lahire, Philippe, 78(6)657--681
-
Lahire, Philippe, see Acher, Mathieu
-
Laibinis, L., 148(z)66--87
-
Laibinis, Linas, 78(7)884--905, 80(z)25--49
-
Laibinis, Linas, see Iliasov, Alexei,
see Kamali, Maryam
-
Laibinis:2017:FRA, 148(z)66--87
-
Lake, 2(1)89--89
-
Lalanne, Denis, 86(z)30--42
-
Lalanne, Denis, see Dumas, Bruno
-
Laleau, Régine, 78(3)270--271, 131(z)76--93,
see Frappier, Marc, \see{Huynh, Nghi
-
Lamb, 12(3)264--265
-
lambda, 8(2)113--137, 8(2)173--202, 16(2)198--200, 17(1)3--34,
21(2)165--190, 22(3)183--195, 27(3)289--322, 31(1)47--73,
31(1)113--145, 32(1)3--47, 75(9)762--772, 111(z)365--394
-
lambda-calculus, 10(2)139--176
-
Lambertz, Christian, 78(12)2488--2510
-
Lambertz:2013:EDA, 78(12)2488--2510
-
Lämmel, R., 54(2)143--211, see Klusener, A. S.
-
Lämmel, Ralf, 52(1)1--8, 63(3)203--206, 70(1)1--30, 74(7)397--398,
78(10)1770--1808, 97(z)98--104, see Fradet, Pascal,
see Krikhaar, René
-
Lammel:2004:TE, 52(1)1--8
-
Lammel:2008:GMP, 70(1)1--30
-
Lammel:2013:PET, 78(10)1770--1808
-
Lammel:2015:SC, 97(z)98--104
-
Lamo, Yngve, 104(z)2--43, 225(z)z--99999999
-
Lamo, Yngve, see Ali, Muhammad Rizwan,
see Mantz, Florian
-
Lamport, 23(2)107--125, 78(9)1622--1638
-
Lamport, Leslie, 2(3)175--206
-
Lamport:1982:ACP, 2(3)175--206
-
Lampson, B., 21(2)93--113
-
Lampson, B., see Abadi, M.
-
Lamsweerde, Axel, van, 20(1)3--50
-
Lamsweerde, Axel van, 76(8)627--630
-
Lane, 16(1)97--100
-
Lanese, Ivan, 97(z)41--46, 97(z)181--182, 100(z)1--1, 109(z)1, 127(z)1,
151(z)1--1, 167(z)25--50, 218(z)z--99999999
-
Lanese, Ivan, see Barbanera, Franco,
see Carbone, Marco,
see Preda, Mila Dalla
-
Lanese:2015:SIS, 97(z)181--182
-
Lanese:2016:PSI, 127(z)1
-
Lanese:2018:PSI, 151(z)1--1
-
Lanese:2022:PSI, 218(z)z--99999999
-
Laneve, Cosimo, 74(10)777--811, 147(z)27--53, 181(z)64--81,
225(z)z--99999999
-
Laneve, Cosimo, see Carpineti, Samuele,
see Crafa, Silvia, \see{Garcia, Abel
-
Laneve:2019:LDA, 181(z)64--81
-
Lang, B., 3(2)151--188
-
Lang, B., see Kahn, G.
-
Lang, Frédéric, 118(z)1--2, 196(z)z--99999999,
see Putter, Sander de
-
Lang:2016:PSI, 118(z)1--2
-
Lange, Julien, 109(z)36--60
-
Lange, Julien, see Bartoletti, Massimo
-
Langhammer, Tobias, 62(1)47--65
-
Langhammer, Tobias, see Herrmann, Christoph A.
-
Languag, 119(z)1--2
-
language, inter-, 134(z)75--99
-
language, natural-, 14(1)110--110, 181(z)111--139,
201(z)z--99999999
-
Language-based, 97(z)37--40, 232(z)z--99999999
-
language-independency, 3(3)223--278
-
language-independent, 166(z)89--119
-
language-integrated, 155(z)103--145, 190(z)z--99999999
-
Lank, Edward, 152(z)1--37
-
Lank, Edward, see Dupree, Janna-Lynn (Weber)
-
Lankamp, Arnold, 114(z)7--19
-
Lankamp, Arnold, see Basten, Bas
-
Lann, Jean-Christophe, Le, 96(z)156--174
-
Lanna, André, 152(z)116--160, see Castro, Thiago
-
Lano, K., 85(z)5--40
-
Lano, K., see Kolahdouz-Rahimi, S.
-
Lano, Kevin, 85(z)41--99
-
Lano, Kevin, see Jakumeit, Edgar
-
Lanotte, Ruggero, 73(2)76--94
-
Lanotte:2008:DVL, 73(2)76--94
-
Lantreibecq, Etienne, 80(z)130--149
-
Lantreibecq:2014:FAH, 80(z)130--149
-
Lanvin, Victor, 217(z)z--99999999
-
Lanvin, Victor, see Castagna, Giuseppe
-
Lanza, Michele, 75(4)264--275, 75(4)276--287, 79(z)204--223,
98(z)394--407, 150(z)31--55
-
Lanza, Michele, see Bacchelli, Alberto,
see D'Ambros, Marco, \see{Lungu, Mircea,
see Olivero, Fernando
-
Lapadula, Alessandro, 77(3)189--213
-
Lapadula:2012:UFM, 77(3)189--213
-
Lara, Juan de, 149(z)1--2, 163(z)85--92, 180(z)71--80,
230(z)z--99999999
-
Lara, Juan de, see Clarke, Peter J.,
see Gómez-Abajo, Pablo,
see Segura, Ángel Mora
-
larch, 6(2)103--134, 6(2)135--158, 31(2)231--261
-
Larcheveque, J. M., 22(3)257--282
-
Larcheveque:1994:ITP, 22(3)257--282
-
large, 34(2)79--140, 46(3)283--306, 76(5)423--465, 76(12)1098--1112,
77(10)1122--1150, 78(6)657--681, 78(12)2435--2452, 91(z)90--114,
148(z)123--160, 149(z)9--14, 163(z)42--61, 232(z)z--99999999
-
large-scale, 75(7)615--637, 79(z)241--259, 89(z)71--87, 131(z)59--75,
173(z)95--127, 180(z)1--15, 205(z)z--99999999
-
Larissa, 63(3)297--320
-
Larsen, Kim G., 83(z)106--128, 113(z)236--260, 127(z)103--130,
206(z)z--99999999, 230(z)z--99999999
-
Larsen, Kim G., see Bauer, Sebastian S.,
see Boudjadar, Abdeldjalil
-
Larsen, Kim Guldstrand, 230(z)z--99999999
-
Larsen, Kim Guldstrand, see Hasrat, Imran Riaz
-
Larsen:2021:PSI, 206(z)z--99999999
-
Larsen:2023:ABB, 230(z)z--99999999
-
Larsson, Magnus, 90(z)67--70
-
Larsson, Magnus, see Buhnova, Barbora
-
Lascu, Tudor A., 113(z)261--284
-
Lascu:2015:ADC, 113(z)261--284
-
Lashari, Ghulam, 78(5)458--480
-
Lashari, Ghulam, see Leung, Alan
-
Latella, Diego, 23(2)127--149, 36(1)1--3, 110(z)23--50
-
Latella, Diego, see Cuellar, Jorge,
see Giannotti, Fosca
-
Latella:2015:FPF, 110(z)23--50
-
latency, 20(3)205--221, 76(11)1054--1072
-
Latendresse, Mario, 57(3)295--317
-
Latendresse:2005:GFI, 57(3)295--317
-
latent, 78(9)1663--1678
-
Latham, 16(1)92--93
-
lattice, 22(3)283--306, 74(3)128--142, 175(z)1--16
-
Latvala, Timo, 78(7)884--905
-
Latvala, Timo, see Iliasov, Alexei
-
Lau, Francis C. M., 78(5)445--457
-
Lau, Francis C. M., see Tong, Liangliang
-
Laue, Ralf, 65(1)4--13
-
Laue, Ralf, see Gruhn, Volker
-
Lauenroth, Kim, 78(12)2414--2432
-
Lauenroth, Kim, see Heuer, André
-
Launchbury, John, 16(2)198--200, 22(3)307--326
-
Launchbury, John, see Hughes, John
-
Launchbury:1991:BRB, 16(2)198--200
-
Laura, 31(2)359--381
-
Laura, Luigi, 53(1)37--49
-
Laura, Luigi, see Bonifaci, Vincenzo
-
Laurent, Mickaël, 217(z)z--99999999,
see Castagna, Giuseppe
-
Laurie, 16(1)89--90
-
Laurin, Karen, 113(z)29--50
-
Laurin, Karen, see Bender, Marc
-
Laut, A., 1(1)73--114
-
Laut, A., see Bauer, F. L.
-
Laval, Jannik, 76(12)1177--1193, 78(8)1055--1072, 98(z)317--317,
161(z)1--1, 199(z)z--99999999
-
Laval, Jannik, see Etien, Anne,
see Lagadec, Loïc
-
Laval:2011:SSV, 76(12)1177--1193
-
Laval:2013:OLI, 78(8)1055--1072
-
Laval:2015:ADL, 98(z)317--317
-
Lavrac, Nada, 121(z)128--152
-
Lavrac, Nada, see Perovsek, Matic
-
Law, James, 218(z)z--99999999
-
Law, James, see Gleirscher, Mario
-
Lawall, Julia, 77(3)129--130
-
Lawall, Julia, see Apel, Sven
-
Lawall, Julia L., 52(1)341--370, 75(7)471--472, 91(z)141--160
-
Lawall, Julia L., see Consel, Charles,
see Olesen, Mads Chr.
-
Lawall:2010:PSI, 75(7)471--472
-
Lawford, Mark, 111(z)339--362, 113(z)29--50, 113(z)149--190
-
Lawford, Mark, see Bender, Marc,
see Pang, Linna, \see{Patcas, Lucian M.
-
Lawful, 13(2)181--218
-
Lawrence, Andrew, 154(z)61--88
-
Lawrence, Andrew, see Berger, Ulrich
-
Lawrie, Dawn, 74(7)430--445
-
Lawrie, Dawn, see Binkley, Dave
-
laws, 22(1)67--105, 85(z)102--114
-
layer, 2(3)155--173, 26(1)117--132, 76(12)1194--1209, 78(8)1055--1072,
87(z)62--94, 156(z)104--120, 179(z)54--86
-
layer, cross-, 165(z)3--23
-
layer-oriented, 26(1)117--132
-
layered, 62(3)253--286, 95(z)176--199
-
layouts, 197(z)z--99999999
-
laziness, 25(2)219--249, 97(z)266--279
-
Lazovik, Alexander, 76(1)23--36, 76(8)681--710
-
Lazovik, Alexander, see Clarke, Dave,
see Krause, Christian
-
lazy, 7(3)249--278, 12(1)39--74, 14(1)25--42, 24(1)63--81, 25(0)79--325,
25(2)187--218, 25(2)219--249, 27(3)289--322, 65(2)195--214,
76(4)307--323, 76(10)915--941, 111(z)395--425
-
LCF, 3(2)119--149, 5(2)143--169, 11(2)178--180
-
LCSD, 76(4)225--226
-
LDTA, 68(1)1--1, 87(z)1--1, 114(z)1--6
-
LDTA'08, 78(10)1751--1751
-
Le Borgne, M., 41(1)85--104
-
Le Borgne, M., see Marchand, H.
-
Le Calvar, Théo, 232(z)z--99999999,
see Jouault, Frédéric
-
Le Charlier, Baudouin, 31(1)1--1, 38(1)27--71
-
Le Charlier, Baudouin, see Cortesi, Agostino,
see Cousot, Patrick
-
Le Gall, Pascale, 23(2)227--286, 214(z)z--99999999, 232(z)z--99999999
-
Le Gall, Pascale, see Bernot, Gilles,
see Mahe, Erwan, \see{Pascual, Romain
-
Le Goc, Yannick, 98(z)531--550
-
Le Guernic, Paul, 16(2)103--149, 106(z)54--77, 228(z)z--99999999
-
Le Guernic, Paul, see Benveniste, Albert,
see Besnard, Loïc,
see Gautier, Thierry
-
Le Lann, Jean-Christophe, 96(z)156--174
-
Le Lann, Jean-Christophe, see Lagadec, Loïc
-
Le Métayer, Daniel, 15(1)55--77, 25(2)219--249, 31(2)263--289,
113(z)223--235, see Banâtre, Jean-Pierre,
see Fradet, Pascal,
see Gössler, Gregor,
see Hankin, Chris
-
Le Pallec, Xavier, 230(z)z--99999999, 234(z)z--99999999
-
Le Pallec, Xavier, see Bucchiarone, Antonio,
see Savary-Leblanc, Maxime
-
Le Traon, Yves, 95(z)298--319
-
Le Traon, Yves, see Papadakis, Mike
-
Le, Thi Thieu Hoa, 115(z)225--246
-
Le:2015:TCF, 115(z)225--246
-
Lea, Doug, 58(3)293--309, 63(2)109--110, 75(6)375--375
-
Lea, Doug, see Harris, Tim
-
Lea:2005:JUC, 58(3)293--309
-
Lea:2010:GEF, 75(6)375--375
-
lead, 89(z)144--161, 152(z)116--160
-
leader, 29(1)171--197, 43(1)1--33
-
Leaf, 26(1)149--165
-
League, Christopher, 62(1)66--84
-
League:2006:MSP, 62(1)66--84
-
leaks, 97(z)122--126
-
Lean, 195(z)z--99999999
-
learn, 65(1)4--13
-
learned, 51(3)265--290, 113(z)191--220, 232(z)z--99999999
-
learning, 88(z)3--21, 88(z)41--53, 88(z)54--81, 90(z)93--115,
129(z)3--19, 129(z)48--71, 129(z)92--102, 206(z)z--99999999,
212(z)z--99999999, 218(z)z--99999999, 219(z)z--99999999,
226(z)z--99999999, 227(z)z--99999999, 231(z)z--99999999
-
learning, e-, 88(z)1--2, 88(z)92--109
-
learning-based, 235(z)z--99999999
-
learning-driven, 233(z)z--99999999
-
Leather, Sean, 112(z)145--169
-
Leather:2015:TCR, 112(z)145--169
-
Leavens, Gary T., 55(1)185--208, 62(3)253--286, 63(3)321--374,
78(8)1137--1156
-
Leavens, Gary T., see Clifton, Curtis,
see Müller, Peter,
see Rebêlo, Henrique
-
Leavens:2005:HDJ, 55(1)185--208
-
Leblanc, Maxime, Savary-, 230(z)z--99999999, 234(z)z--99999999
-
LeBlanc, Thomas, 5(3)318--320
-
LeBlanc, Thomas, see Feldman, Jerome A.
-
Lecomte, Thierry, 199(z)z--99999999
-
Lecomte:2020:CSP, 199(z)z--99999999
-
lecture, 1(3)203--222, 11(1)90--91, 11(1)95--97, 12(1)83--84,
12(3)260--264
-
Lédeczi, Á, 56(1)191--210
-
Lédeczi, Á., see Völgyesi, P.
-
Ledru, Y., 20(1)51--71
-
Ledru:1993:DRS, 20(1)51--71
-
Lee, Edward A., 48(1)21--42, 77(12)1235--1271
-
Lee, Edward A., see Bae, Kyungmin,
see Edwards, Stephen A.
-
Lee, I.-Ting Angelina, 63(2)147--171
-
Lee, I.-Ting Angelina, see Danaher, John S.
-
Lee, Insup, 42(1)49--60
-
Lee, Insup, see Kwak, Hee-Hwan
-
Lee, Jaejoon, 78(12)2293--2294, 230(z)z--99999999
-
Lee, Jaejoon, see Bosch, Jan
-
Lee, Ji Soo, 60(1)68--81
-
Lee, Ji Soo, see Sohn, So Young
-
Lee, Matias David, 172(z)1--26
-
Lee, Matias David, see Bonchi, Filippo
-
Lee, Oukseh, 58(1)141--178
-
Lee:2005:SIS, 58(1)141--178
-
Lee:2023:PSI, 230(z)z--99999999
-
Leemans, Sander, 78(12)2435--2452
-
Leemans, Sander, see Hwong, Yi Ling
-
Leeuw, Karl de, 67(1)1--2
-
Leeuwen, 24(1)97--99
-
Leeuwen, Jan, van, 10(2)107--137
-
Left, 96(z)177--190
-
left, right-to-, 75(11)1095--1112
-
Left-Bottom, 15(1)79--94
-
Left-bottom, 15(1)79--94
-
legacy, 45(2)193--243, 60(2)134--148, 74(1)13--22, 78(8)1010--1034
-
Legal, 225(z)z--99999999
-
Legay, Axel, 77(12)1212--1234, 80(z)416--439, 83(z)106--128,
91(z)70--89, 115(z)225--246, 187(z)z--99999999, 213(z)z--99999999,
223(z)z--99999999
-
Legay, Axel, see Basile, Davide,
see Bauer, Sebastian S.,
see Bauer, Sebastian,
see Bertrand, Nathalie,
see Classen, Andreas,
see Dimovski, Aleksandar S.,
see Fahrenberg, Uli,
see Le, Thi Thieu Hoa
-
Leger, Paul, 78(9)1538--1558, 102(z)108--141, 201(z)z--99999999
-
Leger, Paul, see Figueroa, Ismael
-
Leger:2013:MFC, 78(9)1538--1558
-
Leger:2015:ESA, 102(z)108--141
-
Lehman, M. M., 12(3)264--265
-
Lehman:1989:BRB, 12(3)264--265
-
Lehmann, Franz, 94(z)53--66
-
Lehmann, Franz, see Heinrich, Matthias
-
Lei, Bin, 75(10)879--897
-
Lei, Chin-Laung, 8(3)275--306
-
Lei, Chin-Laung, see Emerson, E. Allen
-
Lei:2010:RTS, 75(10)879--897
-
Leich, Thomas, 77(3)174--187, 79(z)70--85
-
Leich, Thomas, see Apel, Sven,
see Thüm, Thomas
-
Leino, K. Rustan M., 37(1)113--138, 55(1)209--226
-
Leino, K. Rustan M., see Joshi, Rajeev
-
Leino:2005:GET, 55(1)209--226
-
Leiserson, Charles E., 63(2)147--171
-
Leiserson, Charles E., see Danaher, John S.
-
Lelkes, Peter I., 78(5)594--611
-
Lelkes, Peter I., see Bai, Linge
-
lemmata, 9(3)213--220
-
Lemos, Otávio Augusto Lazzarini, 74(10)861--878
-
Lemos:2009:ITO, 74(10)861--878
-
Lempel, Ronny, 94(z)18--31
-
Lempel, Ronny, see Liberman, Sonya
-
Lempereur, Lorent, 79(z)260--278
-
Lempereur, Lorent, see De Smet, Benoît
-
Lenarduzzi, Valentina, 229(z)z--99999999
-
Lenarduzzi, Valentina, see Felderer, Michael
-
Lending, 112(z)75--101
-
Lengauer, Christian, 2(1)1--18, 2(1)19--52, 13(1)23--50, 62(1)1--2,
75(11)1022--1047, 77(3)129--130
-
Lengauer, Christian, see Apel, Sven,
see Best, Eike
-
Lengauer:1982:MPCa, 2(1)1--18
-
Lengauer:1982:MPCb, 2(1)19--52
-
Lengauer:2006:P, 62(1)1--2
-
length, 6(3)313--318, 7(1)87--97, 74(7)430--445, 96(z)315--336
-
lens, 172(z)135--159
-
Lensink, Leonard, 76(2)82--99
-
Lensink, Leonard, see Gastel, Bernard van
-
Lenz, Keren, 75(7)573--595
-
Lenz, Keren, see Gil, Joseph (Yossi)
-
Lenzerini, 18(2)209--213
-
Leobas, Guilherme Vieira, 185(z)z--99999999
-
Leobas, Guilherme Vieira, see Lima, Caio
-
Leonardi, Letizia, 54(1)73--98, 59(1)127--146
-
Leonardi, Letizia, see Cabri, Giacomo
-
Leppänen, Ville, 74(5)355--378,
see Mäkelä, Sami
-
Lepper, Markus, 85(z)41--99
-
Lepper, Markus, see Jakumeit, Edgar
-
Lepri, Daniela, 99(z)128--192
-
Lepri:2015:SCT, 99(z)128--192
-
Lera, Isaac, 61(1)27--37
-
Lera:2006:PRO, 61(1)27--37
-
Lesage, Benjamin, 218(z)z--99999999
-
Lesage, Benjamin, see Gleirscher, Mario
-
Lescanne, Pierre, 9(2)137--159
-
Lescanne, Pierre, see Ben Cherifa, Ahlem
-
Leske, Max, 161(z)122--148
-
Leske:2018:ILD, 161(z)122--148
-
Lessons, 51(3)265--290, 113(z)191--220, 130(z)37--68, 232(z)z--99999999
-
let, 55(1)117--159
-
Lethbridge, Timothy C., 208(z)z--99999999
-
Lethbridge:2021:UMD, 208(z)z--99999999
-
Letter, 65(1)v--v
-
Leue, Stefan, 76(2)63--64
-
Leue, Stefan, see Cofer, Darren
-
Leung, Alan, 78(5)458--480
-
Leung, K. R. P. H., 65(1)14--29
-
Leung, K. R. P. H., see Yeung, W. L.
-
Leung:2013:PEJ, 78(5)458--480
-
Leuschel, Michael, 76(10)835--836, 78(3)272--292, 81(z)1--2,
131(z)109--125, 158(z)41--63, 158(z)81--99, 188(z)z--99999999
-
Leuschel, Michael, see Bendisposto, Jens,
see Dobrikov, Ivaylo,
see Hallerstede, Stefan,
see Hansen, Dominik,
see Krings, Sebastian
-
Leuschel:2011:SPI, 76(10)835--836
-
level, 5(2)171--199, 26(1)99--115, 29(1)147--170, 31(2)179--203,
31(2)313--334, 56(1)41--57, 74(5)379--396, 77(6)760--776,
78(4)364--387, 78(10)1809--1827, 80(z)311--342, 135(z)105--121,
150(z)1--25, 208(z)z--99999999, 214(z)z--99999999
-
level, application-, 78(6)725--746
-
level, Architecture-, 90(z)71--92, 160(z)30--47
-
level, bit-, 22(1)107--135
-
level, gate-, 171(z)42--66
-
level, High-, 218(z)z--99999999
-
level, high-, 28(2)247--271, 40(1)97--118, 41(3)195--240,
76(1)23--36
-
level, low-, 52(1)257--280, 80(z)223--263
-
level, Meta-, 20(1)3--50
-
level, multi-, 131(z)42--58
-
level, Safety-, 29(1)147--170
-
level, task-, 80(z)52--64
-
level, Top-, 31(1)113--145
-
level, Two-, 24(2)186--187
-
level, two-, 215(z)z--99999999
-
Levendovszky, Tihamer, 89(z)105--125, 106(z)3--29
-
Levendovszky, Tihamer, see Balasubramanian, Daniel,
see Nadas, Andras
-
leveraging, 98(z)3--27, 181(z)27--46, 191(z)z--99999999,
234(z)z--99999999
-
Lévi, 38(1)147--149
-
Levi, Francesca, 39(1)93--123
-
Levi, G., 27(3)217--262
-
Levi, G., see Bossi, A.
-
Levi, Giorgio, 24(1)99--100, 39(1)1--1, 49(1)89--123
-
Levi, Giorgio, see Comini, Marco
-
Levi:1995:BRB, 24(1)99--100
-
Levi:2001:P, 39(1)1--1
-
Levi:2001:SSA, 39(1)93--123
-
Levy, Leon, 8(3)231--274
-
lexical, 9(3)271--286
-
Lhadj, Abdelwahab, Hamou-, 78(8)1099--1118
-
Lhoták, Ondrej, 78(5)458--480, 98(z)735--763,
see Leung, Alan, \see{Par{\'\i}zek, Pavel
-
Lhoussaine, Cédric, 50(1)225--251
-
Lhoussaine:2004:TID, 50(1)225--251
-
Li, Guodong, 76(2)65--81
-
Li, Hao, 169(z)18--32
-
Li, Hao, see Yin, Jie
-
Li, Hui, 231(z)z--99999999
-
Li, Hui, see Mu, Xiangyu
-
Li, Jingyao, 231(z)z--99999999
-
Li, Jingyao, see Mu, Xiangyu
-
Li, Qin, 131(z)126--150, 162(z)3--34, 215(z)z--99999999,
216(z)z--99999999, 219(z)z--99999999
-
Li, Qin, see Aoki, Toshiaki,
see Chen, Xiaohong, \see{He, Jifeng,
see Mao, Xia
-
Li, Qiwei, 163(z)1--18
-
Li, Qiwei, see Wang, Jue
-
Li, Renjian, 95(z)320--342
-
Li, Renjian, see Chen, Liqian
-
Li, Siliang, 89(z)273--297
-
Li, Wei, 174(z)1--37
-
Li, Wei, see Cavalcanti, Ana
-
Li, Xianfeng, 69(1)56--67
-
Li, Xuandong, 75(10)879--897
-
Li, Xuandong, see Lei, Bin
-
Li, Xun, 226(z)z--99999999
-
Li, Yanhui, 235(z)z--99999999
-
Li, Yanhui, see Cao, Yulu
-
Li, Yi, 113(z)285--301, 170(z)27--44, 177(z)19--40, 192(z)z--99999999
-
Li, Yi, see Zhang, Xiyue
-
Li:2007:CTA, 69(1)56--67
-
Li:2011:FSM, 76(2)65--81
-
Li:2014:EAJ, 89(z)273--297
-
Li:2015:MVC, 113(z)285--301
-
Li:2016:FDM, 131(z)126--150
-
Li:2019:FFC, 177(z)19--40
-
Li:2020:MCB, 192(z)z--99999999
-
Li:2023:LAR, 226(z)z--99999999
-
Liang, P., 121(z)75--99
-
Liang, P., see Graaf, K. A. de
-
Liang, Peng, 168(z)38--70, 229(z)z--99999999
-
Liang, Peng, see Yang, Chen
-
Liang, Yun, 69(1)56--67
-
Liang, Yun, see Li, Xianfeng
-
Liang:2023:SIT, 229(z)z--99999999
-
lib, Frenetic-, 230(z)z--99999999
-
liberal, 22(1)137--155
-
Liberman, Sonya, 94(z)18--31
-
Liberman:2014:AOF, 94(z)18--31
-
library, 45(2)245--270, 50(1)101--127, 53(1)87--105, 72(1)3--21,
76(4)227--242, 76(4)290--306, 76(4)324--346, 77(2)83--95,
92(z)129--161, 95(z)219--253, 134(z)75--99, 134(z)100--111,
150(z)26--30, 171(z)21--41, 172(z)135--159, 184(z)z--99999999,
221(z)z--99999999
-
library-centric, 76(4)225--226
-
Licorish, Sherlock A., 199(z)z--99999999
-
Licorish, Sherlock A., see Meldrum, Sarah
-
LICS, 13(1)131--132
-
Lieberherr, Karl, 29(3)303--326
-
Lieberherr, Karl, see Palsberg, Jens
-
Liebig, Jörg, 77(3)174--187, see Apel, Sven
-
Liebrenz, Timm, 211(z)z--99999999
-
Liebrenz:2021:SOD, 211(z)z--99999999
-
Lienhardt, Michael, 147(z)27--53, 166(z)3--34, 172(z)203--231,
224(z)z--99999999
-
Lienhardt, Michael, see Beek, Maurice H. ter,
see Damiani, Ferruccio, \see{Garcia, Abel
-
Lienhardt:2018:CDO, 166(z)3--34
-
Lievens, David, 78(7)953--968
-
Lievens:2013:AIS, 78(7)953--968
-
life, 88(z)92--109
-
lifecycle, 53(3)259--284
-
lift, 102(z)1--19
-
lifted, 159(z)1--27, 213(z)z--99999999
-
Ligatti, Jay, 63(3)240--266
-
Ligatti:2006:TTI, 63(3)240--266
-
Light, 111(z)365--394
-
lightweight, 42(1)61--74, 54(1)3--23, 57(2)129--163, 77(6)727--740,
78(10)2009--2025, 78(12)2331--2346, 80(z)169--187, 162(z)132--147,
181(z)64--81, 215(z)z--99999999, 226(z)z--99999999,
233(z)z--99999999
-
like, ALGOL-, 13(1)73--110
-
like, apl-, 17(1)217--245
-
like, Hoare-, 9(2)107--136
-
like, Hoare-, 9(2)107--136
-
like, Java-, 78(2)218--247, 78(7)907--932
-
like, JVM-, 67(2)278--300
-
like, Linda-, 63(1)16--38
-
like, ML-, 58(1)141--178
-
like, Pascal-, 34(1)55--73
-
like, software-, 96(z)156--174
-
like, solitaire-, 78(11)2029--2046
-
likely, 69(1)35--45
-
Lim, Ee-Peng, 53(1)87--105
-
Lim, Ee-Peng, see Liu, Zehua
-
Lima Pilla, Maurício, 173(z)56--70,
see Medeiros Duarte, Rodrigo
-
Lima, Caio, 185(z)z--99999999
-
Lima, Fabrício, 78(12)2381--2398,
see Marinho, Fabiana G.
-
Lima, Lucas, 197(z)z--99999999
-
Lima, Ricardo, 78(8)1137--1156
-
Lima, Ricardo, see Rebêlo, Henrique
-
Lima, Ricardo Massa Ferreira, 80(z)51--51
-
Lima, Ricardo Massa Ferreira, see Aldrich, Jonathan
-
Lima:2020:FVD, 197(z)z--99999999
-
Lima:2020:GJT, 185(z)z--99999999
-
limited, 24(2)159--181, 74(7)430--445, 78(5)583--593
-
limited, size-, 206(z)z--99999999
-
Lin, Calvin, 58(1)83--114
-
Lin, Calvin, see Guyer, Samuel Z.
-
Lin, Che-Sheng, 78(9)1294--1323
-
Lin, Chu-Ti, 150(z)1--25
-
Lin, H., 41(3)241--275
-
Lin, H., see Hennessy, M.
-
Lin, Lidan, 234(z)z--99999999
-
Lin, Lidan, see Wu, Xiaoxue
-
Lin:2013:SCT, 78(9)1294--1323
-
Lin:2017:EEG, 150(z)1--25
-
Linares-Vásquez, Mario, 206(z)z--99999999, 225(z)z--99999999,
see Ravelo-Méndez, William
-
Lincke, Jens, 76(12)1194--1209
-
Lincke:2011:OIC, 76(12)1194--1209
-
Linda, 31(2)335--358, 59(1)82--96
-
Linda-like, 63(1)16--38
-
Linde, Ian van der, 198(z)z--99999999
-
Linde, Ian van der, see Bednarik, Roman
-
Lindemann, 38(1)143--146
-
Linden, I., 61(2)152--187
-
Linden, Isabelle, 115(z)79--99, 115(z)149--176
-
Linden, Isabelle, see Jacquet, Jean-Marie
-
Linden:2006:ETC, 61(2)152--187
-
Lindley, Sam, 197(z)z--99999999
-
Lindley, Sam, see Choi, Kwanghoon
-
Lindner, Andreas, 174(z)72--89
-
Lindner:2019:TTA, 174(z)72--89
-
Lindquist, Timothy E., 60(2)134--148
-
Lindquist, Timothy E., see Mudiam, Sudhakiran V.
-
Lindsey, C. H., 12(2)172--173, 16(2)200--201
-
Lindsey:1989:BRB, 12(2)172--173
-
Lindsey:1991:BRB, 16(2)200--201
-
Lindvall, Mikael, 78(12)2360--2380
-
Lindvall, Mikael, see Ganesan, Dharmalingam
-
line, 6(2)159--190, 29(1)235--258, 53(3)285--304, 53(3)305--331,
53(3)353--380, 53(3)381--407, 53(3)409--434, 57(1)73--87,
66(1)71--86, 74(7)414--429, 78(8)1010--1034, 78(12)2293--2294,
78(12)2331--2346, 78(12)2347--2359, 78(12)2360--2380,
78(12)2381--2398, 78(12)2399--2413, 93(z)65--85, 96(z)230--253,
97(z)282--308, 123(z)42--60, 163(z)139--159, 166(z)3--34,
168(z)171--185, 172(z)203--231, 224(z)z--99999999,
230(z)z--99999999
-
line, On-, 34(1)55--73
-
line, on-, 34(1)55--73, 61(1)27--37
-
line, product-, 80(z)416--439, 152(z)116--160
-
linear, 2(2)133--141, 6(2)207--211, 7(1)23--33, 7(3)313--319,
8(1)87--103, 9(1)17--35, 11(2)161--165, 13(2)133--180,
14(2)243--254, 16(1)19--48, 21(2)165--190, 25(1)63--77,
25(2)187--218, 48(1)67--80, 62(2)184--203, 76(4)227--242,
77(10)1122--1150, 78(8)1176--1192, 78(11)2160--2191, 84(z)77--100,
88(z)3--21, 93(z)125--153, 99(z)193--234, 148(z)123--160,
148(z)161--188, 218(z)z--99999999, 225(z)z--99999999
-
linear-bounded, 77(2)96--112
-
linear-time, 6(2)159--190, 32(1)109--143, 35(1)3--27, 232(z)z--99999999
-
Linearisation, 10(3)281--318
-
Linearity, 15(1)79--94
-
linearizability, 96(z)297--314
-
Linearization, 10(3)281--318
-
linearly, 76(7)542--554
-
linguistic, 4(3)257--290, 20(3)173--204, 20(3)223--251, 21(2)141--163,
21(2)165--190, 21(3)225--261, 21(3)263--291, 22(1)21--44,
22(1)137--155, 22(3)231--256, 22(3)283--306, 22(3)307--326,
23(0)107--311, 23(2)227--286, 25(0)79--325, 25(2)81--116,
25(2)117--147, 25(2)149--186, 25(2)251--283, 26(1)167--177,
27(1)37--83, 27(3)217--262, 27(3)289--322, 28(2)111--138,
28(2)171--192, 30(1)3--49, 30(1)51--82, 30(1)119--155,
30(1)157--199, 30(3)309--338, 31(1)47--73, 31(1)113--145,
31(1)147--173, 31(2)231--261, 32(1)49--72, 32(1)109--143,
32(1)145--176, 33(2)133--162, 34(2)79--140, 34(3)163--190,
34(3)191--205, 34(3)207--238, 97(z)11--16
-
linkage, 40(2)213--234, 91(z)249--265
-
linked, 89(z)2--22, 107(0)19--40, 196(z)z--99999999
-
linking, 78(11)2086--2107, 130(z)24--36, 162(z)3--34
-
Linköping, 32(1)73--107, 32(1)109--143, 32(1)145--176,
32(1)177--210
-
links, 25(2)285--327, 89(z)350--373
-
Linter, 223(z)z--99999999
-
Linux, 91(z)234--248
-
Lion, Benjamin, 183(z)z--99999999
-
Lion, Benjamin, see Kappé, Tobias
-
Lisagor, Oleg, 98(z)464--483
-
Lisagor, Oleg, see Bozzano, Marco
-
Liskov, 10(1)92--93
-
LISP, 14(1)110--110
-
lisp, 4(3)291--322, 10(1)19--32, 12(1)83--84, 31(1)47--73
-
LISPer, 11(1)88--90
-
Lisper, Björn, 75(12)1215--1234, 133(z)74--87,
see Bygde, Stefan, \see{Carlson, Jan
-
Lisser, Bert, 114(z)7--19
-
Lisser, Bert, see Basten, Bas
-
list, 5(1)37--58, 22(0)181--356, 22(1)67--105, 22(3)327--354, 33(1)1--27,
95(z)320--342
-
List-Copying, 6(3)213--272
-
list-copying, 6(3)213--272
-
Listener, 76(11)1054--1072
-
Lister, 11(1)90--91
-
Lister, Raymond, 198(z)z--99999999
-
Lister, Raymond, see Bednarik, Roman
-
listings, 22(1)67--105, 24(1)83--95
-
little, 11(1)88--90
-
Liu, Bin, 89(z)350--373
-
Liu, Bin, see Huang, Fuqun
-
Liu, Bo, 202(z)z--99999999
-
Liu, Bo, see Zhang, Yuanrui
-
Liu, Chong, 220(z)z--99999999
-
Liu, Hanbing, 57(3)253--274
-
Liu, Hongyu, 206(z)z--99999999
-
Liu, Hongyu, see Ge, Ning
-
Liu, Huai, 227(z)z--99999999
-
Liu, Huai, see Yang, Bo
-
Liu, Huaxiao, 202(z)z--99999999, 226(z)z--99999999
-
Liu, Huaxiao, see Gao, Shanquan, \see{Li, Xun
-
Liu, Kenan, 230(z)z--99999999
-
Liu, Lei, 202(z)z--99999999, 226(z)z--99999999, 231(z)z--99999999
-
Liu, Lei, see Gao, Shanquan, \see{Li, Xun,
see Mu, Xiangyu
-
Liu, Qianqian, 216(z)z--99999999
-
Liu, Qianqian, see Chen, Xiaohong
-
Liu, Shuqi, 232(z)z--99999999
-
Liu, Weiru, 78(9)1572--1599
-
Liu, Weiru, see Mu, Kedian
-
Liu, Xi, 178(z)1--19
-
Liu, Xi, see Jia, Jingdong
-
Liu, Xiaodong, 56(1)157--170
-
Liu, Xingkun, 54(1)99--124
-
Liu, Xingkun, see O'Neill, Ian
-
Liu, Yanhong A., 24(1)1--39, 41(2)139--172, 47(2)221--242
-
Liu, Yi, 59(1)147--169
-
Liu, Yi, see Cunningham, H. Conrad
-
Liu, Yu David, 173(z)1--2, 230(z)z--99999999
-
Liu, Yu David, see Castor, Fernando,
see Liu, Kenan
-
Liu, Yuzhou, 202(z)z--99999999, 226(z)z--99999999
-
Liu, Yuzhou, see Gao, Shanquan, \see{Li, Xun
-
Liu, Zehua, 53(1)87--105
-
Liu, Zhiming, 74(4)168--196, 75(10)879--897, 94(z)255--288,
113(z)221--222, 202(z)z--99999999
-
Liu, Zhiming, see Chen, Zhenbang,
see Fiadeiro, José Luiz,
see Lei, Bin, \see{Zhang, Yuanrui,
see Zhao, Liang
-
Liu:1995:SDI, 24(1)1--39
-
Liu:2001:SIE, 41(2)139--172
-
Liu:2003:EDC, 47(2)221--242
-
Liu:2004:JBD, 53(1)87--105
-
Liu:2005:ASC, 56(1)157--170
-
Liu:2005:EJM, 57(3)253--274
-
Liu:2022:MCA, 220(z)z--99999999
-
Liu:2023:VGH, 230(z)z--99999999
-
Liu:2024:ETR, 232(z)z--99999999
-
live, 47(2)203--220, 55(1)117--159, 92(z)56--84, 98(z)80--99,
133(z)1--19, 161(z)122--148, 194(z)z--99999999
-
live, Long-, 30(3)287--308
-
lived, 25(1)1--39
-
lived, long-, 25(1)1--39, 30(3)287--308
-
Livelock-Free, 4(3)249--256
-
livelock-free, 4(3)249--256
-
lively, 196(z)z--99999999
-
liveness, 4(3)257--290, 200(z)z--99999999, 225(z)z--99999999
-
Llamas, Camino, Fernández-, 88(z)41--53
-
Llano, Maria Teresa, 78(3)293--309
-
Llano, Maria Teresa, see Ireland, Andrew
-
Lo, David, 77(6)743--759
-
Lo:2012:MQT, 77(6)743--759
-
load, 97(z)366--380
-
loading, 76(11)1037--1053
-
Lobo, 24(1)99--100
-
local, 31(2)179--203, 58(1)264--289, 85(z)204--223, 104(z)44--70,
115(z)199--224, 133(z)20--50, 151(z)18--47
-
locality, 54(2)291--311, 77(3)131--151, 197(z)z--99999999
-
Locality-Sensitive, 145(z)1--12
-
localization, 36(2)267--284, 53(2)165--194, 78(9)1701--1727
-
localized, 99(z)193--234
-
locally, 30(1)51--82, 214(z)z--99999999
-
Lochau, Malte, 172(z)27--47
-
Lochau, Malte, see Luthmann, Lars
-
lock, 58(3)366--383, 181(z)64--81
-
Lock, Hendrik C. R., 30(1)157--199
-
Lock, Hendrik C. R., see Chakravarty, Manuel M. T.
-
Lock-free, 64(3)341--374
-
lock-freedom, 74(3)143--165
-
Lockefeer, Lars, 118(z)3--23
-
Lockefeer:2016:FSV, 118(z)3--23
-
Lodhi, Faiq Khalid, 133(z)154--174
-
Lodhi, Faiq Khalid, see Bukhari, Syed Ali Asadullah
-
Loecks, 13(1)128--130
-
Loeckx, 10(2)211--212
-
Löf's, Martin-, 16(2)202--203
-
lof's, martin-, 8(1)1--42
-
Löf's, Martin-, 8(1)1--42
-
Log, 225(z)z--99999999
-
logging, 214(z)z--99999999
-
logic, co-, 225(z)z--99999999
-
logic, fuzzy-, 230(z)z--99999999
-
logic-based, 30(1)119--155
-
logical, 20(1)141--171, 32(1)145--176, 51(1)153--196, 56(3)363--401,
64(1)29--53, 76(12)1113--1129, 77(4)480--504, 78(8)1035--1054,
188(z)z--99999999, 233(z)z--99999999
-
logical, meta-, 172(z)48--62
-
LogLogics, 65(1)30--40
-
Logozzo, Francesco, 75(9)796--807
-
Logozzo:2010:PWR, 75(9)796--807
-
Loh, Alex, 96(z)460--487
-
Loh, Alex, see Storm, Tijs van der
-
Löh, Andres, 51(1)117--151, 74(8)590--628, 112(z)145--169,
see Hinze, Ralf, \see{Leather, Sean
-
London, 3(1)115--116, 9(1)101--105, 10(1)87--88, 10(1)92--93,
10(2)212--213, 10(2)218--219, 11(2)176--178, 11(2)185--191,
11(2)195--196, 12(1)83--84, 12(1)90--92, 12(3)257--259,
14(1)103--105, 14(1)110--110, 14(1)110--112, 15(1)97--97,
16(2)197--198, 24(1)99--100, 33(2)217--219
-
London, Philip E., 2(2)91--131
-
London:1982:ISF, 2(2)91--131
-
Londonash, 11(2)175--176, 11(2)191--195
-
Long, 25(1)1--39
-
Long-live, 30(3)287--308
-
long-lived, 25(1)1--39, 30(3)287--308
-
long-running, 73(2)76--94
-
longest, 5(2)219--229, 6(3)313--318, 18(1)39--66
-
longest-edge, 90(z)34--41
-
Loomes, 12(2)168--170
-
loop, 2(3)207--214, 18(1)67--106, 20(3)253--289, 67(2)223--246,
74(11)989--1020, 78(5)458--480, 78(8)1193--1206, 92(z)2--24,
209(z)z--99999999
-
loop, hardware-in-the-, 77(2)83--95
-
Lopes, Antónia, 61(2)114--135, 77(5)577--608, 127(z)50--75,
see Cámara, Javier,
see Fiadeiro, José
-
Lopes, Cristina, 79(z)241--259
-
Lopes, Cristina, see Bajracharya, Sushil
-
Lopes, Luiz Gustavo, 65(3)249--274
-
Lopes, Luiz Gustavo, see Murta, Leonardo
-
Lopes, Vitor V., 143(z)9--19
-
Lopes, Vitor V., see Fachada, Nuno
-
Lopes:2006:AMS, 61(2)114--135
-
Lopez, A., Paz-, 78(10)1971--1986
-
López, Claudia, 77(1)66--80
-
López, Javier, 90(z)67--70, see Buhnova, Barbora
-
López, José Antonio Hernández, 231(z)z--99999999
-
López, L., 202(z)z--99999999
-
López, Tomás, Ruiz-, 78(10)1895--1911
-
López-Cuadrado, J. L., 121(z)16--33,
see Villanueva, Daniel
-
López-de-Ipiña, Diego, 78(10)1892--1894
-
Lopez-de-Ipina:2013:PSS, 78(10)1892--1894
-
López-García, Pedro, 58(1)115--140,
see Hermenegildo, Manuel V.
-
López-González, J., 190(z)z--99999999
-
Lopez-Gonzalez:2020:OLI, 190(z)z--99999999
-
López-Jaquero, Víctor, 78(11)2259--2267, 86(z)1--2,
see Figueroa-Martinez, Jose
-
Lopez-Jaquero:2014:PSI, 86(z)1--2
-
Lopez:2012:BGB, 77(1)66--80
-
Lopez:2021:QQA, 202(z)z--99999999
-
Lopez:2024:MLD, 231(z)z--99999999
-
Loreti, Michele, 110(z)23--50, 192(z)z--99999999, 202(z)z--99999999,
235(z)z--99999999
-
Loreti, Michele, see Alrahman, Yehia Abd,
see De Nicola, Rocco,
see Giudice, Nicola Del,
see Latella, Diego
-
Loriant, Nicolas, 79(z)39--51
-
Loriant, Nicolas, see Bertran, Benjamin
-
Losada, Begoña, 78(11)2268--2281
-
Losada:2013:GAD, 78(11)2268--2281
-
Lost, 208(z)z--99999999
-
LOTOS, 15(1)98--98, 23(2)127--149, 74(3)100--127
-
lotos, 23(0)107--311, 23(2)127--149
-
Louhichi, Asma, 78(9)1212--1239
-
Louhichi, Asma, see Mraihi, Olfa
-
Loulergue, Frédéric, 37(1)253--277
-
Loulergue:2000:CFB, 37(1)253--277
-
Louvain, 95(z)44--72
-
L{\o}vengreen, Hans Henrik, 12(1)85--87
-
Lovengreen:1989:BRB, 12(1)85--87
-
Lovert, Matthew J., 94(z)238--252
-
Lovert, Matthew J., see Jones, Cliff B.
-
low, 165(z)24--37
-
low-level, 52(1)257--280, 80(z)223--263
-
Lowe, Gavin, 26(1)197--216, 81(z)3--52
-
Lowe, Gavin, see Curtis, Sharon,
see Mazur, Tomasz
-
Löwe, Michael, 107(0)2--18
-
Lowe:2015:AGT, 107(0)2--18
-
lowering, 140(z)17--29
-
Lowry, Michael R., 14(2)305--321
-
Lowry, Michael R., see Smith, Douglas R.
-
Loyauté, Gautier, 77(9)990--1005,
see Cervelle, Julien
-
Loyens, L. D. J. C., 15(2)159--169
-
Loyens:1990:TSP, 15(2)159--169
-
Lozano, Angela, 76(12)1113--1129, 105(z)73--91
-
Lozano, Angela, see Castro, Sergio
-
Lozano, Miguel, 78(6)715--724
-
Lozano, Miguel, see Vigueras, Guillermo
-
Lozano:2015:UCO, 105(z)73--91
-
Lozes, Étienne, 100(z)28--60
-
Lozes:2015:SCO, 100(z)28--60
-
Lozier, Daniel W., 90(z)2--20
-
Lozier, Daniel W., see Backeljauw, Franky
-
LP, 111(z)505--534
-
LR, 228(z)z--99999999
-
LR-parsing, 19(2)171--196
-
lr-parsing, 19(2)171--196
-
LR-servers, 111(z)505--534
-
LR1, 75(11)943--979
-
LR1, non-, 75(11)943--979
-
LRash, 214(z)z--99999999
-
LRU, 15(2)217--233
-
LSC, 55(1)117--159
-
LSI, 76(12)1261--1274
-
Ltd, 10(2)218--219
-
LTL, 76(2)136--157, 76(10)877--890, 77(7)908--939, 77(12)1272--1288,
235(z)z--99999999
-
Lu, Chenyang, 77(6)663--684, 78(2)195--217
-
Lu, Chenyang, see Fok, Chien-Liang
-
Lu, Jian, 163(z)1--18
-
Lu, Jian, see Wang, Jue
-
Lu, Qiong, 162(z)132--147
-
Lu, Qiong, see Hu, Yan
-
Lu, Zeyu, 206(z)z--99999999
-
Lu, Zeyu, see He, Weigang
-
Lua, 189(z)z--99999999
-
Lub, 161(z)149--171
-
Luburi{\'c}, Nikola, 230(z)z--99999999,
see Slivka, Jelena
-
Lucanu, D., 100(z)61--83
-
Lucanu, D., see Asavoae, I. M.
-
Lucanu, Dorel, 78(9)1324--1345
-
Lucanu, Dorel, see Bonsangue, Marcello
-
Lucchi, Roberto, 63(1)3--15
-
Lucchi, Roberto, see Focardi, Riccardo
-
Lucena, C. J. P., 24(1)41--61
-
Lucena:1995:FDE, 24(1)41--61
-
Luchangco, Victor, 75(9)787--795
-
Luchangco, Victor, see Hallett, J. J.
-
Lucia, Andrea De, 212(z)z--99999999
-
Lucia:2021:UET, 212(z)z--99999999
-
Lúcio, Levi, 170(z)45--79, see Syriani, Eugene
-
Luckmann, M., 1(1)73--114
-
Luckmann, M., see Bauer, F. L.
-
Lüdtke, Andreas, 86(z)43--57,
see Gonzalez-Calleros, Juan
-
Luk, Wayne, 15(2)217--233
-
Luk:1990:SLP, 15(2)217--233
-
Lukkien, Johan, 65(3)222--248
-
Lukkien, Johan, see Voinea, Lucian
-
Lukkien, Johan J., 22(1)137--155
-
Lukkien:1994:OSG, 22(1)137--155
-
Lulu, Leena, 53(1)107--122
-
Lulu, Leena, see Elnagar, Ashraf
-
Lumpe, M., 56(1)59--78
-
Lumpe, Markus, 78(1)27--45, 94(z)253--254, 218(z)z--99999999
-
Lumpe, Markus, see Barbosa, Luís Soares,
see Proença, José
-
Lumpe:2005:FBM, 56(1)59--78
-
Lumpe:2012:PRC, 78(1)27--45
-
Lumsdaine, Andrew, 76(5)423--465
-
Lumsdaine, Andrew, see Siek, Jeremy G.
-
Lund, Henrik, 191(z)z--99999999
-
Lund, Henrik, see Cabrera, Pedro
-
Lundh, Hubert, Comon-, 50(1)51--71
-
Lundkvist, Torbjörn, 68(3)155--178,
see Alanen, Marcus
-
Lundqvist, Kristina, 224(z)z--99999999
-
Lundqvist, Kristina, see Gu, Rong
-
Lung, Chung-Horng, 75(8)672--688
-
Lung:2010:EBA, 75(8)672--688
-
Lungu, Mircea, 75(4)264--275, 79(z)204--223, 161(z)57--88
-
Lungu, Mircea, see Kurs, Jan
-
Lungu:2010:SPO, 75(4)264--275
-
Lungu:2014:ECS, 79(z)204--223
-
Luo, Chen, 145(z)13--36
-
Luo, Chenguang, 82(z)56--76
-
Luo, Chenguang, see Qin, Shengchao
-
Luo:2017:ISB, 145(z)13--36
-
Luqi, 42(1)1--10
-
Luqi:2002:SEB, 42(1)1--10
-
Lustman, François, 45(2)155--174,
see Chaumun, M. Ajmal
-
Luthmann, Lars, 172(z)27--47
-
Luthmann:2019:UMI, 172(z)27--47
-
Lutteroth, Christof, 76(5)392--422
-
Lutteroth:2011:TSR, 76(5)392--422
-
Lüttgen, Gerald, 96(z)277--278
-
Luttgen:2014:SIA, 96(z)277--278
-
Lutz, Alexandre, Duret-, 230(z)z--99999999
-
Lutz, Bianca, 77(7)823--847
-
Lutz, Bianca, see Henrio, Ludovic
-
Lv, Jidong, 172(z)117--134
-
Lv, Jidong, see Han, Xiao
-
LY294002, 232(z)z--99999999
-
Lyakas, Alexander, 56(1)5--21
-
Lyakas, Alexander, see Kantorowitz, Eliezer
-
Lyu, Yu-Han, 98(z)484--515
-
Lyu, Yu-Han, see Mu, Shin-Cheng
-
LYvonnet:2021:PMC, 206(z)z--99999999