Last update: Fri Apr 18 02:03:15 MDT 2025
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, 240(z)z--99999999
-
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, 240(z)z--99999999
-
Lahami:2016:SER, 122(z)1--28
-
Lahami:2025:SLR, 240(z)z--99999999
-
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
-
Lambers, Leen, 240(z)z--99999999
-
Lambers, Leen, see Damasceno, Carlos Diego Nascimento
-
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
-
Lapitre, Arnault, 243(z)z--99999999
-
Lapitre, Arnault, see Bannour, Boutheina
-
Lara, Juan de, 149(z)1--2, 163(z)85--92, 180(z)71--80,
230(z)z--99999999, 243(z)z--99999999
-
Lara, Juan de, see Campos-López, Rubén,
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,
244(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, 238(z)z--99999999,
239(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
-
Latch, 238(z)z--99999999
-
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.
-
Lauwaerts, Tom, 238(z)z--99999999
-
Lauwaerts:2024:LEL, 238(z)z--99999999
-
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
-
layout, 197(z)z--99999999, 244(z)z--99999999
-
LayoutOptimizer, 244(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,
241(z)z--99999999, 243(z)z--99999999
-
Le Gall, Pascale, see Bannour, Boutheina,
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,
236(z)z--99999999, 237(z)z--99999999, 238(z)z--99999999,
240(z)z--99999999, 242(z)z--99999999, 244(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, Junsoo, 238(z)103152--103152
-
Lee, Junsoo, see Hong, Jaemin
-
Lee, Matias David, 172(z)1--26
-
Lee, Matias David, see Bonchi, Filippo
-
Lee, Oukseh, 58(1)141--178
-
Lee, Seongmin, 240(z)z--99999999
-
Lee, Sungho, 242(z)z--99999999
-
Lee, Sungho, see Sim, Yusung
-
Lee:2005:SIS, 58(1)141--178
-
Lee:2023:PSI, 230(z)z--99999999
-
Lee:2025:CPD, 240(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, 236(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, 240(z)z--99999999
-
Legay, Axel, see Baranov, Eduard,
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, Stefanie Muroya, 240(z)z--99999999
-
Lei, Stefanie Muroya, see Chalupa, Marek
-
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.
-
Leitão, João, 238(z)z--99999999,
see Costa, Pedro Ákos
-
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, 237(z)z--99999999
-
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,
240(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, System-, 242(z)z--99999999
-
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, 240(z)z--99999999
-
Li, Qin, see Aoki, Toshiaki,
see Chen, Xiaohong, \see{He, Jifeng,
see Mao, Xia, \see{Yang, Peiye
-
Li, Qiwei, 163(z)1--18
-
Li, Qiwei, see Wang, Jue
-
Li, Ren, 241(z)z--99999999
-
Li, Ren, see Chen, Zhiqi
-
Li, Renjian, 95(z)320--342
-
Li, Renjian, see Chen, Liqian
-
Li, Shaowen, 243(z)z--99999999
-
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, 238(z)z--99999999
-
Li, Yanhui, see Cao, Yulu, \see{Liu, Xutong
-
Li, Yi, 113(z)285--301, 170(z)27--44, 177(z)19--40, 192(z)z--99999999
-
Li, Yi, see Zhang, Xiyue
-
Li, Yishu, 237(z)z--99999999
-
Li, Yishu, see Liu, Shuo
-
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
-
Li:2025:SSS, 243(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, 238(z)z--99999999,
240(z)z--99999999
-
Liang, Peng, see Wang, Ying, \see{Yang, Chen
-
Liang, Yun, 69(1)56--67
-
Liang, Yun, see Li, Xianfeng
-
Liang, Zhen, 236(z)z--99999999
-
Liang:2023:SIT, 229(z)z--99999999
-
Liang:2024:VSN, 236(z)z--99999999
-
Liao, Yihan, 237(z)z--99999999
-
Liao, Yihan, see Liu, Shuo
-
lib, Frenetic-, 230(z)z--99999999
-
liberal, 22(1)137--155
-
Liberman, Sonya, 94(z)18--31
-
Liberman:2014:AOF, 94(z)18--31
-
libmg, 238(z)z--99999999
-
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, 236(z)z--99999999, 238(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
-
Liem, Cynthia C. S., 238(z)z--99999999
-
Liem, Cynthia C. S., see Bartlett, Antony
-
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
-
lifeline, 241(z)z--99999999
-
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, Guilherme, 242(z)z--99999999
-
Lima, Lucas, 197(z)z--99999999, 238(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
-
Lima:2024:SPB, 238(z)z--99999999
-
Lima:2025:ULH, 242(z)z--99999999
-
limited, 24(2)159--181, 74(7)430--445, 78(5)583--593
-
limited, size-, 206(z)z--99999999, 236(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, 243(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,
243(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
-
literature, 240(z)z--99999999
-
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, 241(z)z--99999999,
244(z)z--99999999
-
Liu, Huaxiao, see Chen, Zhiqi,
see Gao, Shanquan, \see{Li, Xun,
see Wu, Yue
-
Liu, Huihui, 238(z)z--99999999
-
Liu, Huihui, see Liu, Xutong
-
Liu, Kenan, 230(z)z--99999999
-
Liu, Lei, 202(z)z--99999999, 226(z)z--99999999, 231(z)z--99999999,
241(z)z--99999999
-
Liu, Lei, see Chen, Zhiqi, \see{Gao, Shanquan,
see Li, Xun, \see{Mu, Xiangyu
-
Liu, Qianqian, 216(z)z--99999999
-
Liu, Qianqian, see Chen, Xiaohong
-
Liu, Shiran, 238(z)z--99999999
-
Liu, Shiran, see Liu, Xutong
-
Liu, Shuai, 239(z)z--99999999
-
Liu, Shuai, see Dong, Yukun
-
Liu, Shuo, 237(z)z--99999999
-
Liu, Shuqi, 232(z)z--99999999, 242(z)z--99999999
-
Liu, Wanwei, 236(z)z--99999999
-
Liu, Wanwei, see Liang, Zhen
-
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, Xiaoshan, 239(z)z--99999999
-
Liu, Xiaoshan, see Dong, Yukun
-
Liu, Xingkun, 54(1)99--124
-
Liu, Xingkun, see O'Neill, Ian
-
Liu, Xiulei, 238(z)z--99999999
-
Liu, Xiulei, see Cui, Zhanqi
-
Liu, Xutong, 238(z)z--99999999, 244(z)z--99999999
-
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, 241(z)z--99999999
-
Liu, Yuzhou, see Chen, Zhiqi,
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
-
Liu:2024:TFR, 238(z)z--99999999
-
Liu:2024:TGE, 237(z)z--99999999
-
Liu:2025:HLO, 244(z)z--99999999
-
Liu:2025:IBS, 242(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, 237(z)z--99999999
-
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, 236(z)z--99999999
-
local, step-, 241(z)z--99999999
-
local, thread-, 241(z)z--99999999
-
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
-
location, 238(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, 244(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
-
Loh, JiMeng, 239(z)z--99999999
-
Loh, JiMeng, see AlBlwi, Samia
-
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, 243(z)z--99999999
-
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
-
loop, Human-in-the-, 244(z)z--99999999
-
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, Rubén, Campos-, 243(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, 236(z)z--99999999, 238(z)z--99999999
-
Loreti, Michele, see Alrahman, Yehia Abd,
see Belenchia, Matteo,
see Castiglioni, Valentina,
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, 236(z)z--99999999
-
Lu, Chenyang, 77(6)663--684, 78(2)195--217
-
Lu, Chenyang, see Fok, Chien-Liang
-
Lu, Hongmin, 238(z)z--99999999
-
Lu, Hongmin, see Liu, Xutong
-
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, 238(z)z--99999999,
see Proki{\'c}, Simona,
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, Xiapu, 238(z)z--99999999
-
Luo, Xiapu, see Wang, Ying
-
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