Index file section M for toplas.bib
Last update: Thu Apr 11 02:12:53 MDT 2024
Return to index directory
M
-
M, 13(4)633--633
-
m, 27(6)1097--1146, 37(4)13--13
-
M-expression, 14(4)589--616
-
M-LISP, 14(4)589--616
-
Ma, Haojun, 44(2)12--12
-
Ma, Haojun, see Lorch, Jacob R.
-
Ma, Perng-Ti, 2(2)239--262
-
Ma, Zequn, 43(3)11--11
-
Ma, Zequn, see Gange, Graeme
-
Ma:1980:DMI, 2(2)239--262
-
Maassen, Jason, 23(6)747--775
-
Maassen:2001:EJR, 23(6)747--775
-
MacDonald, Andrew, 20(6)1223--1250
-
MacDonald, Andrew, see Kelly, Andrew D.
-
MacDonald, Steve, 31(3)9--9
-
MacDonald:2009:DDP, 31(3)9--9
-
Macedonio, Damiano, 41(3)18--18
-
Macedonio, Damiano, see Spoto, Fausto
-
Machine, Finite-State-, 7(1)10--36
-
machine, product-, 20(1)51--115
-
machine-based, 4(1)1--20
-
machine-based, stack-, 4(1)21--36
-
machine-checked, 28(4)619--695, 35(3)9--9, 35(4)12--12, 37(2)7--7,
40(2)6--6
-
Machine-Code, 19(3)492--524, 35(1)4--4
-
machine-code, 35(1)4--4
-
machine-dependent, 7(4)560--599, 14(1)54--106
-
Machine-Independent, 2(2)239--262
-
machine-independent, 9(2)257--276, 9(3)367--389, 14(1)54--106,
19(3)492--524, 20(4)869--916
-
machine-integer, 36(4)11--11
-
machine-language, 32(3)7--7
-
Machine-Learning, 41(2)13--13
-
machine-learning, 41(2)13--13
-
machine-level, 19(3)492--524, 30(5)25--25, 33(3)10--10
-
Machine-Specific, 5(3)478--498
-
machine-specific, 16(6)1768--1810
-
machinery, 22(1)45--86, 34(1)3--3
-
Mackenzie, Kenneth, 39(4)17--17
-
Mackenzie, Kenneth, see Trinder, Phil
-
macro, 9(2)257--276, 13(1)52--98, 14(3)299--338, 21(3)527--568
-
made, 6(2)159--174, 6(4)505--526, 8(4)577--608, 14(2)265--297,
14(4)490--520, 16(5)1449--1466, 16(6)1768--1810, 17(1)1--15,
17(2)394--429, 17(5)691--703, 18(6)683--710, 18(6)752--779,
20(6)1223--1250, 21(2)175--188, 22(3)506--539, 22(5)861--931,
27(6)1270--1343, 28(1)70--105, 30(3)12--12, 30(3)17--17, 36(1)3--3,
38(1)3--3, 38(2)5--5, 39(4)17--17, 41(3)15--15, 44(2)6--6,
44(4)25--25
-
Madhavan, Maya, 22(6)973--1001
-
Madhavan:2000:EGG, 22(6)973--1001
-
Madhusudan, P., 33(5)15--15, 45(2)7--7
-
Madhusudan, P., see Alur, Rajeev,
see Murali, Adithya
-
Madison, Wisconsin-, 9(2)235--256
-
Madrid, Natividad Mart{\'i}nez, 19(4)586--616,
see Breuer, Peter T.
-
Madsen's, Steensgaard-, 4(1)120--122, 4(1)122--123
-
Madsen, J., Steensgaard-, 3(1)1--10, 4(1)122--123, 11(1)67--89
-
Madsen, Ole Lehrmann, 3(1)60--82
-
Madsen, Ole Lehrmann, see Kristensen, Bent Bruun
-
Madsen:1981:SOA, Steensgaard-, 4(1)120--122, 4(1)122--123
-
Madsen:1982:TCS, Steensgaard-, 3(1)1--10, 4(1)120--122
-
Maffei, Matteo, 37(4)11--11
-
Maffei, Matteo, see Bugliesi, Michele
-
Maffeis, Sergio, 29(5)25--25, 33(2)8--8
-
Maffeis, Sergio, see Bengtson, Jesper,
see Fournet, Cédric
-
magic, 14(4)574--588, 44(3)16--16
-
magic-wand, 44(3)16--16
-
MAGICA, 28(5)848--907
-
Magma2, 6(4)468--486
-
magnitude, 13(1)1--20, 17(2)197--216, 20(3)586--634, 21(2)324--369,
21(2)370--416, 23(2)105--186, 28(3)476--516, 31(6)20--20, 32(1)3--3,
34(2)7--7, 35(2)7--7, 36(4)14--14, 40(1)3--3, 41(1)6--6, 41(3)17--17
-
Maher, B., 5(2)236--264
-
Maher:1983:API, 5(2)236--264
-
Maillard, Kenji, 44(2)7--7, 45(3)15--15
-
Maillard, Kenji, see Haselwarter, Philipp G.,
see Lennon-Bertrand, Meven
-
main, 5(3)405--421, 11(3)388--403, 13(1)21--51, 14(4)521--573,
16(4)1081--1096, 17(2)217--227, 18(2)175--234, 19(1)188--222,
21(2)240--285, 21(2)286--323, 21(4)703--746, 22(2)378--415,
22(5)861--931, 28(4)747--793, 30(4)22--22, 31(4)15--15, 33(3)9--9,
33(3)10--10, 34(1)6--6, 37(3)8--8, 38(1)1--1, 38(2)6--6, 38(3)11--11,
39(2)8--8, 39(4)14--14, 40(1)4--4, 40(2)7--7, 40(3)9--9, 40(3)12--12,
40(3)13--13, 41(2)8--8, 41(4)21--21, 41(4)23--23
-
mainly, 14(2)147--172, 18(4)477--518, 18(6)752--779, 20(6)1223--1250,
32(3)9--9, 36(1)1--1, 44(4)25--25
-
mainstream, 29(5)29--29, 31(1)1--1, 32(1)2--2
-
maintain, 4(2)149--178, 8(4)524--546, 14(2)173--200, 17(1)28--44,
20(3)546--585, 21(3)569--626, 32(4)14--14, 36(3)10--10, 39(4)17--17,
41(2)8--8, 42(3)14--14
-
maintainability, 41(1)4--4
-
maintainable, 36(1)2--2
-
maintained, 16(3)727--774, 19(3)525--555, 20(3)546--585
-
maintaining, 16(3)986--1009, 20(2)274--301, 21(5)977--1027,
27(6)1049--1096, 31(4)14--14, 32(6)24--24, 38(1)3--3, 38(4)13--13,
39(4)17--17, 41(3)16--16
-
maintenance, 8(3)273--291, 9(2)277--295, 10(4)627--632, 10(4)633--634,
11(3)345--387, 14(2)173--200, 15(2)357--365, 16(1)102--150,
16(3)727--774, 16(3)775--797, 16(5)1648--1659, 16(6)1875--1903,
17(2)197--216, 19(5)751--803, 20(5)980--1013, 22(3)540--582,
31(3)9--9, 31(6)21--21, 32(1)1--1
-
maintenance, relation-, 32(6)24--24
-
Maj, Petr, 41(4)21--21
-
Maj, Petr, see Berger, Emery D.
-
major, 8(4)419--490, 8(4)547--576, 9(2)257--276, 9(3)408--440,
14(4)490--520, 16(4)1081--1096, 16(4)1156--1214, 19(6)1053--1084,
20(1)116--165, 21(1)90--137, 28(1)134--174, 28(4)747--793,
30(3)17--17, 34(4)17--17, 40(3)9--9, 41(2)13--13, 45(1)4--4,
45(4)20--20
-
majority, 22(3)506--539, 28(1)106--133, 30(4)20--20
-
Majumdar, Rupak, 34(1)6--6
-
Majumdar, Rupak, see Ganty, Pierre
-
make, 4(2)179--195, 4(3)382--401, 5(2)236--264, 5(3)405--421,
6(4)632--646, 8(4)491--523, 9(2)277--295, 9(3)319--349,
9(4)491--542, 10(2)189--203, 11(4)598--632, 12(4)643--669,
13(1)21--51, 15(4)632--658, 16(1)35--101, 16(2)205--258,
16(3)607--648, 16(3)798--842, 16(3)1010--1023, 16(6)1768--1810,
16(6)1811--1841, 17(2)181--196, 18(1)30--72, 18(2)175--234,
18(3)300--324, 18(6)730--751, 18(6)752--779, 19(3)444--461,
20(1)51--115, 20(2)274--301, 20(2)302--343, 20(4)869--916,
20(5)980--1013, 20(5)1014--1066, 21(1)46--89, 21(2)175--188,
21(3)502--526, 21(3)569--626, 21(4)790--812, 21(5)914--947,
22(2)378--415, 22(3)431--470, 22(4)701--771, 22(6)1037--1080,
23(1)30--72, 27(6)1049--1096, 27(6)1097--1146, 28(5)795--847,
28(5)908--941, 30(5)25--25, 30(5)29--29, 31(1)1--1, 31(3)9--9,
31(4)14--14, 31(5)19--19, 32(2)5--5, 32(4)11--11, 33(4)12--12,
34(1)3--3, 34(1)6--6, 34(2)7--7, 36(2)5--5, 36(3)10--10, 36(4)13--13,
38(1)1--1, 38(3)8--8, 38(4)15--15, 39(1)2--2, 39(1)3--3, 39(4)17--17,
40(1)1--1, 40(3)10--10, 41(2)12--12, 41(3)15--15, 41(3)16--16,
42(1)1--53, 43(1)2--2, 44(2)10--10, 44(4)22--22, 45(1)1--1
-
make-array, 11(4)598--632
-
making, 4(2)179--195, 9(4)491--542, 13(2)211--236, 15(4)706--734,
16(3)305--327, 17(4)635--671, 19(3)492--524, 19(6)1031--1052,
20(2)344--387, 21(3)430--501, 22(2)416--430, 30(6)31--31,
32(4)11--11, 35(2)7--7, 35(4)12--12, 36(4)13--13, 37(1)1--1,
37(3)8--8, 38(4)16--16, 39(2)7--7, 42(1)3--3, 46(1)4--4
-
malfunctioning, 4(3)382--401
-
malicious, 21(3)527--568, 39(3)10--10, 41(3)18--18
-
Malik, Sharad, 21(4)703--746
-
Malik, Sharad, see Ghosh, Somnath
-
Mallgren, William R., 4(4)687--710
-
Mallgren:1982:FSG, 4(4)687--710
-
Malmkjær, Karoline, 18(6)730--751, see Danvy, Olivier
-
malware, 30(5)25--25
-
manage, 4(4)585--600, 9(2)277--295, 30(4)22--22, 36(1)2--2, 46(1)2--2
-
manageability, 18(1)30--72
-
manageable, 32(4)14--14
-
managed, 36(2)6--6, 38(3)9--9, 39(1)2--2
-
MANAGEMENT, 8(1)50--87, 8(4)577--608, 9(3)297--318, 11(2)249--283,
12(2)178--202, 14(2)201--264, 15(3)494--534, 15(5)795--825,
16(1)102--150, 16(3)727--774, 16(3)775--797, 16(3)986--1009
-
management, storage-, 9(3)408--440
-
manager, 18(5)615--647, 21(4)790--812, 21(4)813--847
-
managing, 2(3)269--273, 16(3)727--774, 28(2)290--330, 34(1)6--6
-
Manber, Udi, 9(2)235--256
-
Manber, Udi, see Finkel, Raphael
-
Mancarella, Paolo, 16(4)1361--1398
-
Mancarella, Paolo, see Brogi, Antonio
-
Mandrioli, Dino, 1(1)58--70, 14(4)521--573, 45(3)19--19
-
Mandrioli, Dino, see Chiari, Michele,
see Ghezzi, Carlo, \see{Morzenti, Angelo
-
manifest, 39(1)3--3, 40(1)3--3
-
manifested, 16(6)1842--1874
-
manipulate, 11(4)598--632, 19(5)639--684, 19(6)942--991, 21(3)430--501,
32(2)5--5, 36(2)5--5, 38(1)3--3
-
manipulated, 16(3)456--492
-
manipulating, 19(3)427--443, 21(4)703--746, 32(5)17--17, 33(5)17--17
-
manipulating, bit-, 19(3)492--524
-
manipulating, heap-, 32(5)18--18
-
manipulating, pointer-, 43(4)15--15
-
MANIPULATION, 10(1)118--155, 13(3)315--341, 13(4)451--490,
14(2)147--172, 14(3)339--395, 14(4)574--588, 17(2)366--393,
17(3)487--506, 18(1)30--72, 18(4)477--518, 18(6)730--751,
19(3)427--443, 19(3)462--491, 19(6)899--915
-
manipulation, 4(2)226--238, 8(4)419--490, 16(4)1361--1398,
19(5)639--684, 21(2)286--323, 21(3)627--676, 22(6)1002--1036,
30(6)32--32, 32(5)18--18, 38(1)1--1, 42(3)14--14, 44(2)10--10
-
Manna, 20(1)51--115
-
Manna, Zohar, 2(1)90--121, 6(1)68--93
-
Manna:1980:DAP, 2(1)90--121
-
Manna:1984:SCP, 6(1)68--93
-
manner, 7(2)183--213, 9(3)319--349, 16(3)370--386, 16(3)1010--1023,
16(4)1279--1318, 16(6)1661--1674, 17(1)123--156, 17(3)431--447,
20(6)1297--1322, 27(6)1049--1096, 27(6)1344--1395, 28(5)795--847,
32(4)14--14, 39(3)10--10
-
Mannucci, Stefano, 10(3)345--373
-
Mannucci, Stefano, see Degano, Pierpaolo
-
manual, 9(4)491--542, 16(3)727--774, 30(3)17--17, 34(3)11--11,
36(3)10--10, 41(2)13--13, 42(1)2--2, 45(2)12--12
-
manually, 3(2)126--143, 4(4)650--667, 9(2)257--276, 16(4)1248--1278,
20(1)51--115, 34(2)7--7, 35(4)13--13, 36(3)10--10, 43(1)4--4
-
manufactured, 9(4)491--542
-
manuscript, 44(4)24--24
-
map, 9(3)297--318, 14(2)265--297, 14(4)471--489, 15(4)575--631,
19(1)188--222, 19(3)492--524, 20(3)483--545, 21(3)430--501,
22(3)431--470, 22(4)673--700, 30(4)23--23, 34(2)8--8, 36(1)1--1
-
mapped, 14(1)28--53, 14(4)574--588, 21(3)527--568, 22(3)490--505,
36(1)1--1
-
mapping, 4(1)44--82, 5(2)127--163, 14(1)28--53, 14(4)574--588,
16(3)387--427, 16(3)524--576, 16(3)577--604, 17(4)576--599,
21(2)240--285, 31(1)4--4, 37(4)12--12, 38(3)11--11, 44(2)6--6
-
MapReduce, 41(3)15--15
-
Mar.--Dec, 17(1)180--180
-
Maranget, Luc, 36(2)7--7, 43(2)8--8
-
Maranget, Luc, see Alglave, Jade
-
Marathe, Jaydeep, 29(2)12--12
-
Marathe:2007:MMT, 29(2)12--12
-
Marchiori, Elena, 19(5)685--725
-
Marchiori, Elena, see De Boer, Frank S.
-
Marino, Daniel, 32(2)4--4, 34(1)4--4, 38(4)16--16
-
Marino, Daniel, see Dolby, Julian,
see Markstrum, Shane
-
Marino:2016:DXU, 38(4)16--16
-
Maris, Justin T., 26(3)578--608
-
Maris, Justin T., see Keen, Aaron W.
-
mark, 16(4)1156--1214, 28(1)1--69
-
mark-and-sweep, 15(1)1--35, 28(5)908--941
-
mark-evacuate, 44(4)22--22
-
mark-sweep, 27(6)1097--1146, 36(1)3--3
-
marked, 18(6)659--682
-
markets, 39(2)7--7
-
marking, 14(3)417--461, 20(5)917--979, 32(1)2--2
-
marking, graph-, 4(3)362--381
-
Markov, 40(1)4--4
-
Markstrum, Shane, 32(2)4--4
-
Markstrum:2010:JDP, 32(2)4--4
-
markup, 19(3)413--426
-
Marlin, Benjamin M., 41(1)3--3
-
Marlin, Benjamin M., see Jacek, Nicholas
-
Marlowe, Thomas J., 17(5)777--803
-
Marlowe, Thomas J., see Masticola, Stephen P.
-
Marques, Paulo, 36(1)2--2
-
Marques, Paulo, see Stork, Sven
-
marries, 38(4)14--14
-
Marriott, 21(5)948--976
-
Marriott, Kim, 16(3)607--648, 16(3)649--686, 20(6)1223--1250,
22(2)187--223, 22(2)296--339
-
Marriott, Kim, see Codish, Michael,
see De La Banda, Marí García,
see Hermenegildo, Manuel,
see Kelly, Andrew D.
-
Marriott:1994:DAI, 16(3)607--648
-
marshalling, 21(1)11--45, 40(2)8--8
-
Martelli, Alberto, 4(2)258--282
-
Martelli:1982:EUA, 4(2)258--282
-
Martens, Bern, 20(1)208--258
-
Martens, Bern, see Leuschel, Michael
-
Martin, David F., 8(2)185--214
-
Martin, David F., see Chirica, Laurian M.
-
Martin, James, 19(1)188--222
-
Martin, James, see Calder, Brad
-
martingale-based, 43(2)5--5
-
Martini, L., 31(1)3--3
-
Martini, L., see Bernardeschi, C.
-
Martins, Francisco, 41(1)1--1, 44(4)26--26
-
Martins, Francisco, see Cogumbreiro, Tiago,
see Vasconcelos, Vasco T.
-
Martonosi, Margaret, 21(4)703--746
-
Martonosi, Margaret, see Ghosh, Somnath
-
Masci, P., 31(1)3--3
-
Masci, P., see Bernardeschi, C.
-
massaging, 18(6)730--751
-
massive, 9(4)491--542, 30(1)3--3
-
massively, 17(1)123--156, 37(3)10--10
-
master-worker, 32(3)9--9
-
Masticola, Stephen P., 17(5)777--803
-
Masticola:1995:LFM, 17(5)777--803
-
Masud, Abu Naser, 34(4)16--16, 42(4)19--19
-
Masud, Abu Naser, see Ben-Amram, Amir M.
-
Masud:2021:SCD, 42(4)19--19
-
matalinguistic, 14(4)589--616
-
match, 19(1)48--86, 19(3)413--426, 22(1)162--186, 22(2)224--264,
28(3)389--428, 30(4)22--22, 32(1)2--2, 35(3)10--10
-
matched-parenthesis, 22(1)162--186
-
matcher, 28(4)696--714
-
matching, 11(4)491--516, 14(4)574--588, 17(2)394--429, 18(4)401--423,
18(5)528--563, 18(6)752--779, 20(2)259--273, 22(1)162--186,
22(6)973--1001, 28(3)389--428, 28(4)696--714, 29(1)3--3,
30(4)18--18, 30(5)25--25, 31(2)7--7
-
matching, pattern-, 14(1)107--125
-
Matching-Based, 17(2)394--429
-
matching-based, 17(2)394--429
-
Mateev, Nikolay, 25(6)776--813
-
Mateev, Nikolay, see Menon, Vijay
-
material, 7(1)62--79, 9(2)125--163
-
materializations, 28(6)1145--1177
-
materialized, 32(6)24--24
-
MATHEMATICAL, 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)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(6)899--915, 19(6)916--941,
20(1)208--258, 20(2)344--387, 20(3)586--634, 20(5)1067--1109
-
mathematical, 4(1)83--112, 4(2)283--294, 4(3)362--381, 7(2)270--298,
7(2)299--310, 8(2)244--263, 8(3)406--407, 9(1)100--120,
9(4)618--645, 10(1)87--117, 11(1)67--89, 11(3)418--450,
11(3)451--481, 11(4)633--649, 11(4)650--665, 12(1)123--134,
13(1)99--123, 13(4)577--625, 14(1)54--106, 14(2)127--144,
14(2)147--172, 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, 15(5)771--794,
16(3)493--523, 16(3)605--606, 16(3)607--648, 16(3)687--726,
16(4)1081--1096, 16(4)1361--1398, 16(5)1467--1471, 17(6)844--895,
18(3)235--253, 18(6)730--751, 19(1)1--6, 19(2)386--412,
19(6)899--915, 19(6)916--941, 20(1)208--258, 20(2)344--387,
20(3)586--634, 20(5)1067--1109, 20(6)1171--1194, 20(6)1223--1250,
21(3)677--701, 21(4)703--746, 21(6)1077--1136, 22(1)162--186,
22(2)224--264, 22(2)416--430, 22(5)861--931, 28(4)747--793,
29(6)35--35, 33(3)10--10, 33(4)13--13, 37(1)2--2, 37(4)12--12,
44(2)6--6
-
mathematically, 43(3)11--11, 46(1)3--3
-
MATHEMATICS, 7(2)348--357, 7(4)680--685, 9(1)25--53, 11(4)562--584,
12(1)26--60, 12(1)84--101, 12(1)102--122, 12(1)123--134,
12(2)203--223, 12(3)341--395, 13(3)372--398, 14(2)265--297,
14(4)574--588, 17(1)123--156, 17(3)487--506, 18(3)235--253,
18(3)300--324, 18(4)477--518, 20(6)1195--1222, 20(6)1265--1296
-
mathematics, 7(2)348--357, 7(4)680--685, 9(1)25--53, 10(2)313--337,
11(4)562--584, 12(1)26--60, 12(1)84--101, 12(1)102--122,
12(1)123--134, 12(2)203--223, 12(3)341--395, 13(3)372--398,
14(2)127--144, 14(2)265--297, 14(3)339--395, 14(4)574--588,
16(3)798--842, 17(1)123--156, 17(3)487--506, 18(2)139--174,
18(3)235--253, 18(3)300--324, 18(3)325--353, 18(4)477--518,
20(4)869--916, 20(6)1195--1222, 20(6)1265--1296, 21(2)175--188,
21(3)417--429, 21(3)677--701, 22(1)162--186, 28(4)747--793,
32(4)14--14
-
MATLAB, 21(2)286--323, 28(5)848--907
-
MATLAB-to-Fortran, 21(2)286--323
-
MATLAB®, 28(5)848--907
-
matrix, 5(2)236--264, 6(4)546--572, 20(6)1195--1222, 21(3)430--501,
22(5)773--815, 30(6)32--32, 34(3)14--14, 41(4)20--20
-
matrix-multiply, 22(2)265--295
-
Matrix-Vector, 17(4)561--575
-
matrix-vector, 17(4)561--575
-
Matsushita, Yusuke, 43(4)15--15
-
Matsushita:2021:RCB, 43(4)15--15
-
Mattern, Friedmann, 15(1)1--35
-
Mattern, Friedmann, see Tel, Gerard
-
matters, 21(2)324--369, 38(2)6--6
-
Matthews, Jacob, 31(3)12--12
-
Matthews:2009:OSM, 31(3)12--12
-
mature, 27(6)1097--1146
-
Mauborgne, Laurent, 29(5)26--26
-
Mauborgne, Laurent, see Rival, Xavier
-
Mauney, Jon, 10(3)456--469
-
Mauney:1988:DEL, 10(3)456--469
-
Maurer, 15(1)1--35
-
max, 31(3)10--10
-
Max-SAT, 41(2)12--12
-
maximal, 11(1)57--66, 20(2)259--273, 22(1)87--128, 23(1)73--103,
36(3)9--9
-
maximal-munch, 20(2)259--273
-
maximally, 22(3)540--582
-
Maximization, 10(2)313--337
-
maximize, 19(4)557--567, 28(2)331--388, 45(2)13--13
-
maximum, 12(2)203--223, 19(3)444--461, 27(6)1097--1146, 33(3)11--11,
41(1)2--2
-
May-Alias, 19(1)1--6
-
may-alias, 16(5)1467--1471, 19(1)1--6
-
MB, 600-, 27(6)1097--1146
-
MC-68000, 7(4)560--599
-
MCALIB, 37(2)5--5
-
McAllester, David, 23(5)657--683
-
McAllester, David, see Appel, Andrew W.
-
McCarthy, 10(2)248--266, 22(1)162--186
-
McDaniel, Rich, 23(6)776--796
-
McDaniel, Rich, see Vander Zanden, Bradley T.
-
McDowell, Charles E., 15(2)357--365
-
McDowell, Charles E., see Copperman, Max
-
McGraw, 16(6)1675--1683
-
McGraw, James R., 4(1)44--82
-
McGraw:1982:VLD, 4(1)44--82
-
McIver, Annabelle, 18(3)325--353
-
McIver, Annabelle, see Morgan, Carroll
-
Mciver, Annabelle, 40(1)4--4
-
Mciver, Annabelle, see Olmedo, Federico
-
McKeag, R. M., 6(2)175--191
-
McKeag, R. M., see Hull, M. Elizabeth C.
-
Mckee, Sally A., 29(2)12--12, 40(1)3--3
-
Mckee, Sally A., see Lidman, Jacob,
see Marathe, Jaydeep
-
McKenzie, Bruce J., 17(4)672--689
-
McKenzie:1995:ERS, 17(4)672--689, 21(1)1--10
-
McKinley, Kathryn, 31(4)17--17
-
McKinley, Kathryn, see Pingali, Keshav
-
McKinley, Kathryn S., 18(4)424--453, 23(1)30--72, 28(3)476--516,
29(6)30--30
-
McKinley, Kathryn S., see Diwan, Amer,
see Hertz, Matthew
-
Mckinley, Kathryn S., 29(1)2--2, 32(4)10--10, 32(6)20--20, 37(1)4--4
-
Mckinley, Kathryn S., see Blackburn, Stephen M.,
see Porter, Donald E.
-
McKinley:1996:IDL, 18(4)424--453
-
McKinley:2007:ECG, 29(6)30--30
-
Mckinley:2010:DVT, 32(4)10--10
-
Mckinley:2010:PVT, 32(6)20--20
-
McMullin, Paul, 3(3)211--223
-
McMullin, Paul, see Gannon, John
-
McPeak, Scott, 27(3)477--526
-
McPeak, Scott, see Necula, George C.
-
mean, 5(2)236--264, 7(4)501--538, 8(4)524--546, 9(2)125--163,
14(1)28--53, 14(4)490--520, 15(1)133--181, 15(4)659--680,
15(5)771--794, 15(5)876--895, 16(1)151--174, 16(3)607--648,
19(4)586--616, 20(4)768--844, 20(5)917--979, 21(5)977--1027,
22(4)638--672, 28(5)795--847, 31(1)1--1, 38(3)8--8, 38(3)12--12,
39(4)17--17, 40(3)13--13, 41(2)8--8, 41(3)17--17, 43(1)1--1,
43(1)2--2, 44(4)25--25
-
meaning, 4(1)83--112, 8(1)109--139, 14(4)521--573, 16(4)1279--1318,
17(1)63--84, 18(2)175--234, 19(2)223--238, 19(2)253--291,
19(2)334--385, 19(2)386--412, 20(2)302--343, 21(1)46--89,
21(1)90--137, 21(2)189--239, 21(2)240--285, 21(2)370--416,
21(3)417--429, 21(3)502--526, 21(3)527--568, 21(3)677--701,
21(4)747--789, 21(5)948--976, 21(6)1196--1250, 22(2)187--223,
22(2)296--339, 22(2)340--377, 22(3)540--582, 22(4)701--771,
22(6)1037--1080, 23(2)105--186, 27(6)1216--1269, 32(6)22--22,
33(5)16--16, 35(2)8--8, 43(1)1--1, 45(2)7--7
-
meaningful, 8(4)524--546, 39(1)2--2, 41(4)21--21
-
meant, 30(4)24--24
-
meanwhile, 20(1)208--258
-
measure, 10(2)189--203, 11(3)451--481, 14(1)54--106, 15(5)826--875,
16(5)1472--1511, 17(3)535--559, 20(2)344--387, 28(3)476--516,
31(6)20--20, 33(3)10--10, 35(3)10--10, 38(4)13--13, 40(1)3--3,
41(4)20--20, 42(2)9--9
-
measured, 14(2)265--297, 16(4)1319--1360, 35(1)3--3
-
measurement, 4(1)21--36, 7(1)1--9, 7(1)62--79, 8(1)88--108,
10(2)189--203, 10(2)248--266, 11(1)1--32, 12(1)61--83,
12(4)501--536, 13(1)1--20, 13(4)491--530, 14(1)1--27, 14(3)299--338,
16(4)1156--1214, 16(4)1319--1360, 16(5)1399--1410, 16(6)1768--1810,
17(2)233--263, 17(4)561--575, 17(5)691--703, 18(3)235--253,
18(3)300--324, 18(5)528--563, 18(5)564--614, 19(1)153--187,
19(1)188--222, 19(3)525--555, 20(1)116--165, 21(2)324--369,
21(3)627--676, 21(4)703--746, 21(4)848--894, 28(5)848--907,
31(6)20--20, 33(1)3--3, 37(2)5--5, 37(2)6--6, 39(2)8--8, 39(4)17--17
-
measurement-such, 10(2)189--203
-
measuring, 16(4)1319--1360, 18(6)752--779, 21(2)240--285, 37(2)5--5
-
mechanical, 4(2)258--282, 7(3)359--379, 7(4)637--655, 8(2)244--263,
8(3)344--387, 8(4)524--546, 12(2)303--339, 15(1)36--72,
16(3)687--726, 16(3)843--871, 16(5)1512--1542, 19(2)253--291,
19(2)386--412, 19(3)427--443, 20(1)51--115, 20(5)917--979,
21(2)370--416, 21(3)502--526, 21(4)747--789, 21(6)1196--1250,
38(1)2--2
-
mechanical, quantum-, 21(3)417--429
-
mechanically, 10(2)248--266, 20(1)51--115, 33(1)4--4, 42(1)2--2
-
mechanics, 21(3)417--429, 34(4)17--17
-
mechanism, 4(2)125--148, 4(2)149--178, 4(4)552--562, 4(4)563--584,
5(2)127--163, 7(2)214--243, 7(3)404--425, 12(1)1--25, 13(1)99--123,
14(1)28--53, 14(1)107--125, 14(3)299--338, 15(5)771--794,
16(3)456--492, 16(3)607--648, 16(3)954--985, 17(2)233--263,
17(2)366--393, 17(3)431--447, 17(3)448--460, 18(4)454--476,
19(1)188--222, 19(6)899--915, 20(2)274--301, 20(4)768--844,
21(1)1--10, 21(6)1077--1136, 22(5)816--860, 27(6)1097--1146,
28(1)175--205, 28(2)331--388, 28(5)795--847, 29(1)3--3, 30(4)21--21,
30(4)22--22, 30(6)30--30, 30(6)32--32, 31(2)7--7, 32(3)9--9,
32(4)14--14, 32(6)24--24, 33(4)12--12, 33(5)16--16, 34(3)12--12,
34(4)15--15, 35(1)2--2, 35(3)9--9, 35(4)12--12, 36(1)2--2,
36(4)13--13, 36(4)14--14, 37(1)3--3, 37(2)6--6, 37(4)11--11,
38(4)14--14, 39(1)5--5, 39(3)10--10, 39(4)14--14, 40(2)8--8,
41(3)18--18, 43(1)1--1, 43(3)10--10, 43(3)12--12, 43(4)17--17
-
mechanisms**, 19(6)899--915
-
mechanization, 10(2)248--266
-
mechanize, 33(1)4--4
-
mechanized, 21(3)502--526
-
Mechanizing, 23(5)626--656
-
media, 29(6)35--35
-
MediaBench, 41(3)17--17
-
median, 2(1)129--133, 6(3)380--401
-
mediate, 29(6)33--33, 34(1)6--6, 37(1)4--4
-
mediated, 40(4)16--16
-
medical, 39(1)5--5, 40(3)10--10
-
medium-sized, 22(5)932--972, 41(3)17--17
-
meet, 4(1)44--82, 14(1)107--125, 16(3)872--923, 16(6)1811--1841,
17(5)777--803, 21(1)46--89, 21(2)240--285, 30(4)24--24, 30(6)33--33,
32(2)5--5, 33(1)5--5, 43(2)6--6, 44(1)4--4
-
meet-based, 32(2)5--5
-
meets, join-of-, 17(5)777--803
-
megaflops, 22(2)265--295
-
megamax, 9(2)235--256
-
Mehl, Michael, 19(5)804--851, 21(3)569--626
-
Mehl, Michael, see Haridi, Seif,
see Van Roy, Peter
-
Meidal, Sigurd, 17(2)366--393
-
Meidal, Sigurd, see Walicki, Michal
-
Melicher, Darya, 44(1)5--5
-
Melicher:2022:BAE, 44(1)5--5
-
Mello, Paola, 27(2)236--263
-
Mello, Paola, see Gavanelli, Marco
-
Melo, Leandro T. C., 42(3)15--15
-
Melo:2020:TIC, 42(3)15--15
-
member, data-, 22(3)490--505
-
members, 22(3)490--505, 22(3)540--582, 35(1)5--5
-
membership, 18(1)73--108, 40(2)7--7, 41(1)1--1
-
memcached, 39(2)6--6
-
memoization, 18(2)175--234, 20(6)1265--1296, 27(6)1147--1215,
28(4)696--714, 32(1)3--3
-
memoizing, 28(4)696--714
-
memories, 7(1)80--112, 14(2)265--297, 15(1)1--35, 15(1)182--205,
17(4)561--575, 18(4)424--453, 18(5)615--647, 18(6)659--682,
21(4)703--746, 32(4)13--13, 44(2)8--8
-
MEMORY, 8(1)142--153, 10(4)579--601, 14(2)265--297, 15(1)182--205,
17(4)561--575, 18(6)659--682
-
Memory, Distributed-, 17(2)233--263, 20(4)869--916
-
memory, distributed-, 17(1)123--156, 17(2)233--263,
20(6)1131--1170, 20(6)1195--1222, 21(6)1251--1297, 22(5)816--860,
31(3)9--9
-
memory, in-, 20(3)586--634, 41(3)15--15
-
Memory, Shared-, 15(3)400--462
-
memory, shared-, 16(1)151--174, 16(3)577--604, 18(6)659--682,
20(3)483--545, 22(4)673--700, 28(2)207--255, 31(3)9--9, 34(2)9--9,
36(2)6--6, 38(4)16--16, 41(3)19--19
-
memory-efficient, 26(6)938--974
-
memory-hierarchy, 22(3)490--505
-
memoryful, 37(3)9--9
-
Menon, Vijay, 25(6)776--813
-
Menon:2003:FSA, 25(6)776--813
-
mention, 16(3)1051--1077, 34(1)2--2
-
mentioned, 44(4)25--25
-
mentioned, above-, 16(3)305--327, 18(6)752--779
-
Meo, Maria Chiara, 23(3)304--395
-
Meo, Maria Chiara, see Etalle, Sandro
-
merely, 17(1)1--15, 20(6)1297--1322, 36(4)14--14
-
merge, 16(6)1875--1903, 30(4)21--21, 38(2)7--7, 41(4)20--20
-
merge-sort, 21(3)430--501
-
merged, 16(6)1875--1903
-
merging, 16(6)1875--1903, 41(2)12--12
-
merging, change-, 16(6)1875--1903
-
merging, rule-, 41(2)12--12
-
Merlin, 28(3)476--516
-
Merlin, Philip, 5(1)1--25
-
Merlin:1983:CSS, 5(1)1--25
-
Merritt, Michael, 15(1)182--205, 16(3)939--953
-
Merritt, Michael, see Afek, Yehuda
-
Merro, Massimo, 28(2)290--330
-
Merro:2006:BBS, 28(2)290--330
-
Merz, Stephan, 44(2)6--6
-
Merz, Stephan, see Lamport, Leslie
-
mesh, 34(1)5--5
-
Mesnard, Fred, 28(2)256--289, 32(3)8--8, 32(6)21--21
-
Mesnard, Fred, see Payet, Etienne,
see Ruggieri, Salvatore,
see Spoto, Fausto
-
message, 1(2)287--294, 4(3)382--401, 4(4)527--551, 4(4)615--649,
4(4)678--686, 4(4)758--762, 6(3)402--431, 7(1)80--112, 9(2)164--197,
11(4)585--597, 12(1)102--122, 13(2)211--236, 14(1)28--53,
14(3)417--461, 15(5)771--794, 16(1)151--174, 16(2)259--303,
16(6)1661--1674, 17(3)535--559, 18(6)711--729, 21(3)569--626,
21(6)1077--1136, 21(6)1251--1297, 25(5)631--640, 26(1)47--56,
27(6)1344--1395, 28(4)715--746, 29(6)35--35, 31(2)7--7, 32(4)12--12,
32(4)13--13, 34(2)8--8, 39(4)15--15, 40(2)8--8, 40(4)17--17,
44(4)26--26
-
message-efficient, 16(3)954--985
-
message-passing, 4(2)125--148, 13(1)124--149, 20(3)483--545,
21(6)1251--1297, 44(3)19--19
-
messenger, 4(3)382--401
-
met, 18(1)30--72
-
meta-, 16(4)1361--1398
-
meta-circular, 38(1)2--2
-
meta-continuation, 38(1)2--2
-
meta-programming, 30(6)31--31
-
metalanguage, 14(4)589--616
-
metalevel, 16(3)456--492, 16(4)1361--1398
-
metalinguistic, 14(4)589--616
-
metaprogramming, 6(1)20--54, 13(1)99--123, 41(3)14--14
-
metatheoretical, 39(1)3--3
-
metatheory, 41(2)9--9, 42(1)2--2
-
metatool, 35(1)4--4
-
Métayer, Daniel, Le, 10(2)248--266, 13(1)21--51
-
method-a, 39(2)9--9
-
method-based, 28(1)134--174
-
methodash, 28(5)795--847
-
methodological, 41(4)21--21
-
methodologically, 8(4)524--546
-
METRIC, 29(2)12--12
-
metric, 4(1)21--36, 10(2)189--203, 10(2)248--266, 11(3)451--481,
14(1)54--106, 15(5)826--875, 17(1)123--156, 17(2)197--216,
20(2)344--387, 21(2)240--285, 30(4)23--23, 41(3)19--19
-
Meuter, Wolfgang, De, 42(4)17--17
-
Mexico, 11(4)598--632
-
Meyer, Albert R., 3(4)484--507
-
Meyer, Albert R., see Greif, Irene
-
Mezini, Mira, 45(3)17--17, 46(1)2--2
-
Mezini, Mira, see Haas, Julian,
see Richter, David
-
Mezzo, 38(4)14--14
-
Mflops, 22(2)265--295
-
MGLL, 45(3)14--14
-
MHz, 550-, 28(1)1--69
-
Micallef, Josephine, 16(5)1572--1612
-
Micallef:1994:EAG, 16(5)1572--1612
-
Michael, 34(1)1--1
-
Michaylov, Spiro, 14(3)339--395
-
Michaylov, Spiro, see Jaffar, Joxan
-
Michell, S., 22(3)506--539
-
Michell, S., see Wellings, A. J.
-
Microanalysis, 14(1)54--106
-
microcode, 9(2)257--276, 33(3)10--10
-
microcomputers, 4(1)21--36
-
microinstruction, 9(2)257--276
-
microprocessor, 9(3)367--389, 16(6)1768--1810, 17(4)600--634,
21(5)1028--1075, 23(1)73--103, 31(6)22--22, 43(3)12--12
-
microprogram, 9(2)257--276, 19(4)586--616
-
microprogrammable, 9(2)257--276
-
MICROPROGRAMMING, 9(2)257--276, 19(4)586--616
-
microprogramming, 9(2)257--276, 21(5)1028--1075
-
microseconds, 30(5)28--28
-
Microsystems, 28(1)1--69
-
microtrees, 20(6)1265--1296
-
MicroVAX-2, 13(1)1--20
-
middle, 45(1)1--1
-
Middle-End, 36(1)4--4
-
middle-end, 36(1)4--4
-
Midkiff, Samuel P., 22(2)265--295, 25(6)876--910
-
Midkiff, Samuel P., see Choi, Jong-Deok,
see Moreira, José E.
-
might, 13(2)269--290, 16(4)1248--1278, 16(5)1449--1466, 20(3)635--678,
35(2)7--7, 35(2)8--8, 35(4)14--14, 39(1)3--3, 41(3)18--18,
44(4)22--22
-
migrate, 28(2)290--330, 40(2)8--8
-
migrating, 16(6)1842--1874, 17(2)233--263, 32(4)12--12
-
migration, 17(5)704--739, 18(5)615--647, 32(4)12--12
-
MIL, 16(1)151--174
-
Milano, Michela, 27(2)236--263
-
Milano, Michela, see Gavanelli, Marco
-
Milieux, 16(1)102--150, 16(3)986--1009
-
Miller, Barton P., 13(4)491--530
-
Miller, Barton P., see Choi, Jong-Deok
-
Miller, Rob, 23(6)776--796
-
Miller, Rob, see Vander Zanden, Bradley T.
-
Miller, Webb, 11(1)33--56
-
Miller, Webb, see Myers, Eugene W.
-
Millikin, Kevin, 38(1)2--2
-
Millikin, Kevin, see Biernacki, Dariusz
-
million, 14(4)574--588, 30(2)8--8, 35(2)7--7, 36(3)8--8
-
Millstein, Todd, 26(5)836--889, 27(2)314--343, 28(3)517--575, 31(2)7--7,
32(2)4--4, 38(4)16--16, 43(3)10--10
-
Millstein, Todd, see Ball, Thomas,
see Clifton, Curtis, \see{Liu, Lun,
see Marino, Daniel, \see{Markstrum, Shane
-
Millstein:2004:MTH, 26(5)836--889
-
Millstein:2009:EMP, 31(2)7--7
-
Milne, George J., 7(2)270--298
-
Milne:1985:CRC, 7(2)270--298
-
Milner, 15(1)36--72
-
Milner, Hindley-, 16(5)1411--1430, 18(2)109--138, 19(1)87--152
-
Milthorpe, Josh, 41(3)15--15
-
Milthorpe, Josh, see Grove, David
-
MIMD, 7(4)501--538, 9(4)599--617, 10(4)579--601, 14(1)28--53,
14(1)54--106, 15(4)659--680, 15(5)745--770, 17(1)123--156,
18(6)659--682
-
min, 31(3)10--10
-
mind, 44(4)26--26
-
minded, simple-, 41(2)13--13
-
mini, 4(1)21--36
-
mini-languages, 30(6)31--31
-
minification, 41(2)12--12
-
minifiers, 41(2)12--12
-
minimal, 9(2)235--256, 14(2)201--264, 20(3)586--634, 20(3)679--706,
20(6)1111--1130, 22(3)471--489, 22(3)540--582, 23(3)396--450,
36(2)5--5, 36(3)10--10, 40(3)11--11, 41(2)8--8
-
minimal, exception-, 28(1)70--105
-
minimalist, 35(1)2--2
-
minimise, 41(2)12--12
-
minimization, 6(4)527--545, 18(5)528--563
-
minimize, 13(1)1--20, 16(4)1117--1155, 17(2)366--393, 17(5)740--776,
20(6)1297--1322, 21(1)138--173, 21(4)703--746, 21(5)977--1027,
22(3)490--505, 22(5)773--815, 23(1)73--103, 28(5)908--941,
38(3)11--11, 40(1)3--3
-
minimized, 7(1)62--79, 18(3)235--253, 30(4)23--23
-
minimizing, 6(4)527--545, 27(6)1097--1146, 28(6)1145--1177, 36(3)10--10,
36(4)13--13
-
minimum, 15(4)632--658, 15(5)771--794, 17(4)600--634, 19(6)1031--1052,
27(6)1097--1146, 33(3)11--11
-
minimum-cost, 17(1)123--156
-
Minimum-Weight, 5(1)66--77
-
Mining, 36(2)7--7
-
minor, 22(2)224--264
-
Minsky, Naftaly H., 6(4)573--602
-
Minsky:1984:SLC, 6(4)573--602
-
minutes, 30(3)17--17, 35(1)5--5, 39(2)7--7
-
MIPS, 19(3)492--524, 22(3)431--470, 41(3)17--17
-
Miquey, Étienne, 41(2)8--8
-
Miquey:2019:CSC, 41(2)8--8
-
miracle, 16(3)924--938
-
Mirani, Rajiv, 26(4)609--651
-
Mirani:2004:FCM, 26(4)609--651
-
misbehave, 41(2)8--8
-
Miscellaneous, 12(4)670--699, 14(2)127--144, 14(3)339--395,
16(3)524--576, 17(2)264--292, 17(5)691--703, 18(4)355--400,
18(5)564--614
-
misdirect, 38(4)15--15
-
Misled, 16(3)387--427
-
mismatch, 38(3)8--8
-
mismatched, 22(1)162--186
-
Misra, 17(1)157--179
-
Misra, J., 16(6)1737--1767
-
Misra, Jayadev, 3(1)104--109, 4(1)37--43, 4(4)678--686, 6(4)632--646,
8(1)142--153, 8(3)326--343
-
Misra, Jayadev, see Chandy, K. M.
-
Misra:1981:EPE, 3(1)104--109
-
Misra:1982:DGA, 4(4)678--686
-
Misra:1982:TDD, 4(1)37--43
-
Misra:1986:AMA, 8(1)142--153
-
Misra:1994:PSP, 16(6)1737--1767
-
miss, 19(1)188--222, 21(4)703--746, 21(5)977--1027, 22(3)490--505,
31(6)20--20
-
miss, allocate-on-write-, 14(2)265--297
-
missed, 40(3)13--13, 41(3)19--19
-
missing, 22(1)1--44, 31(5)17--17, 41(4)21--21, 42(3)15--15
-
mistakes, 39(4)18--18
-
misunderstandings, 15(4)681--705
-
Mitchell, 16(5)1411--1430
-
Mitchell, John C., 10(3)470--502, 15(2)211--252, 21(6)1196--1250
-
Mitchell, John C., see Freund, Stephen N.,
see Harper, Robert
-
Mitchell:1988:ATE, 10(3)470--502
-
mitigated, 7(4)501--538
-
Mitra, Tulika, 32(4)13--13
-
Mitra, Tulika, see Suhendra, Vivy
-
mix, 30(5)27--27
-
mix, lambda-, 14(2)147--172, 18(6)730--751
-
mixed, 20(6)1195--1222, 41(1)5--5
-
mixed-language, 16(1)151--174
-
mixed-size, 43(2)8--8
-
mixin, 25(5)641--712, 27(5)857--881, 28(2)331--388, 35(1)2--2,
35(3)11--11
-
mixin-style, 35(1)2--2
-
MixML, 35(1)2--2
-
ML, 8(2)215--243, 15(2)211--252, 15(2)253--289, 16(6)1699--1718,
18(3)254--267, 20(4)724--767, 21(3)569--626, 21(4)790--812,
21(4)813--847, 22(1)1--44, 22(1)129--161, 22(2)340--377,
25(1)117--158, 26(4)652--701, 28(3)517--575, 31(1)5--5, 35(1)2--2,
41(2)11--11, 42(3)15--15
-
ML-like, 31(3)12--12
-
ML-style, 28(3)429--475, 35(1)2--2
-
ML-to-sparc, core-, 32(3)7--7
-
MM, 38(4)16--16
-
mobile, 19(5)804--851, 21(1)90--137, 25(1)1--69, 26(1)57--124,
28(2)290--330, 31(5)18--18, 32(3)8--8, 32(4)12--12, 32(5)16--16,
33(4)13--13
-
mobility, 18(5)615--647, 19(5)804--851, 32(4)12--12
-
Mock, Markus, 22(5)932--972
-
Mock, Markus, see Grant, Brian
-
MOD, 23(2)105--186
-
mod, 14(2)127--144
-
Modal, 31(4)15--15
-
modalities, 42(1)4--4
-
modality-defined, 42(1)4--4
-
mode, 7(2)270--298, 7(2)348--357, 7(3)404--425, 8(4)547--576,
9(3)367--389, 9(4)618--645, 10(1)87--117, 10(4)579--601,
11(1)90--114, 11(3)418--450, 11(4)562--584, 12(2)203--223,
12(3)463--492, 15(3)563--573, 15(5)771--794, 16(1)35--101,
16(3)924--938, 17(2)366--393, 18(3)235--253, 18(3)268--299,
18(3)325--353, 19(6)899--915, 21(2)240--285, 21(3)569--626,
21(6)1137--1195, 32(4)11--11, 44(3)20--20
-
mode, Reverse-, 30(2)7--7
-
mode-dependent, 7(2)183--213
-
Model-Based, World-, 7(2)334--347
-
model-check, 33(5)15--15
-
model-checked, 31(6)23--23
-
Model-Checking, 19(4)617--638
-
model-checking, 20(2)302--343, 21(4)747--789, 30(5)25--25, 31(6)23--23,
33(5)15--15, 36(2)5--5, 37(3)9--9
-
model-parametric, 14(4)521--573
-
model-theoretic, 14(4)521--573, 16(3)607--648, 23(1)1--29, 30(5)26--26
-
model/code, 40(1)2--2
-
modeled, 15(1)1--35, 17(1)16--27, 19(6)992--1030, 38(2)7--7
-
MODELING, 15(5)771--794
-
modeling, 6(3)370--379, 9(2)257--276, 10(2)313--337, 11(3)404--417,
12(2)303--339, 14(2)201--264, 17(4)561--575, 20(6)1223--1250,
21(3)417--429, 21(4)703--746, 28(5)848--907, 30(2)8--8, 30(6)34--34,
31(6)20--20, 33(1)3--3, 34(1)5--5, 34(4)17--17, 38(1)3--3,
38(3)12--12, 39(4)15--15, 41(4)21--21
-
modelling, 30(1)4--4, 36(2)7--7, 43(2)8--8, 44(1)4--4
-
MODELS, 10(2)215--247, 12(2)143--177
-
models., 14(1)28--53
-
moderate, 44(4)22--22
-
moderately, 14(2)265--297
-
modern, 16(4)1361--1398, 16(5)1572--1612, 17(2)181--196, 17(4)600--634,
22(1)129--161, 22(2)224--264, 23(1)30--72, 26(5)769--804,
27(6)1097--1146, 29(5)27--27, 30(4)19--19, 31(6)20--20, 32(4)11--11,
37(4)11--11, 37(4)12--12, 38(3)12--12, 39(1)2--2, 39(2)6--6,
39(3)11--11, 40(1)3--3, 41(1)1--1, 43(3)10--10, 44(4)22--22
-
modest, 30(2)11--11, 32(4)15--15, 34(1)4--4, 37(1)1--1, 41(1)3--3,
43(1)4--4
-
modification, 12(4)610--640, 14(4)490--520, 16(3)305--327,
16(3)1010--1023, 16(6)1875--1903, 17(4)635--671, 19(3)427--443,
20(4)845--868, 20(5)980--1013, 20(5)1014--1066, 21(6)1251--1297,
22(3)471--489, 23(2)105--186, 28(3)517--575, 30(6)30--30, 32(1)2--2,
32(1)3--3, 33(6)20--20, 41(1)6--6, 41(4)22--22, 43(3)10--10
-
modification, auto-, 32(4)11--11
-
modification, pre-, 32(4)11--11
-
modified, 9(2)277--295, 16(3)727--774, 16(3)1010--1023, 16(4)1117--1155,
28(5)795--847, 37(1)4--4
-
modifier, 33(6)20--20
-
modifier, owner-as-, 33(6)20--20
-
modify, 13(1)52--98, 21(2)175--188, 21(3)430--501, 40(3)10--10,
40(3)12--12
-
modify-write, read-, 16(3)939--953
-
modifying, 9(3)319--349, 14(3)299--338, 16(3)775--797, 16(4)1081--1096,
37(1)3--3
-
modifying, self-, 14(2)265--297
-
moding, well-, 32(6)21--21
-
Modula, 2(4)522--543
-
MODULA-2, 8(4)547--576
-
Modula-2, 10(2)204--214, 16(5)1411--1430
-
Modula-3, 21(1)11--45, 23(1)30--72
-
modular, 7(2)214--243, 11(2)249--283, 12(1)84--101, 14(2)173--200,
15(1)73--132, 16(3)456--492, 16(3)843--871, 16(4)1361--1398,
17(2)394--429, 18(1)16--29, 21(2)370--416, 21(4)813--847,
22(1)87--128, 22(5)773--815, 26(2)339--369, 26(5)836--889,
28(3)517--575, 29(5)29--29, 30(5)29--29, 31(1)1--1, 31(2)7--7,
32(3)7--7, 34(4)15--15, 36(1)2--2, 36(4)12--12, 37(4)13--13,
38(4)13--13, 38(4)14--14, 40(1)1--1, 40(2)6--6, 40(3)12--12,
42(1)3--3, 45(3)15--15, 46(1)3--3
-
modular, non-, 42(1)3--3
-
Modular, Procedure-, 40(1)1--1
-
modularity, 14(1)28--53, 16(4)1361--1398, 21(4)813--847, 31(3)11--11,
43(3)9--9
-
modularization, 16(4)1361--1398
-
modularize, 32(5)19--19
-
modularly, 42(1)3--3
-
module, 4(4)552--562, 5(2)127--163, 5(2)190--222, 7(2)214--243,
7(2)244--269, 8(3)273--291, 8(4)491--523, 9(1)1--24, 9(3)297--318,
10(2)189--203, 10(2)204--214, 10(4)627--632, 10(4)633--634,
12(1)135--138, 12(4)670--699, 13(1)1--20, 14(2)201--264,
14(3)339--395, 14(4)574--588, 15(1)73--132, 15(2)211--252,
15(2)337--356, 15(5)876--895, 16(1)151--174, 16(2)259--303,
16(4)1361--1398, 16(5)1411--1430, 16(5)1572--1612, 16(6)1719--1736,
16(6)1842--1874, 17(2)394--429, 17(6)805--843, 19(1)153--187,
21(4)790--812, 21(4)813--847, 22(1)87--128, 27(5)857--881,
30(4)22--22, 31(3)11--11, 34(4)15--15, 35(1)2--2, 35(2)6--6,
36(4)11--11, 37(1)4--4, 37(2)6--6, 40(2)6--6, 44(4)25--25
-
modulo, 14(3)417--461, 29(5)29--29, 30(5)26--26, 36(1)1--1, 36(4)11--11,
37(4)12--12, 45(1)6--6
-
Moessenboeck, H., 16(6)1684--1698
-
Moessenboeck, H., see Brandis, M. M.
-
Moggi, 19(6)916--941
-
Mogk, Ragnar, 46(1)2--2
-
Mogk, Ragnar, see Haas, Julian
-
Mohan, C., 3(1)112--112
-
Mohan, Tushar, 29(2)12--12
-
Mohan, Tushar, see Marathe, Jaydeep
-
Mohan:1981:TCF, 2(1)42--55, 2(3)463--463, 3(1)112--112, 3(1)112--113
-
Mohr, Manuel, 36(1)2--2
-
Mohr, Manuel, see Stork, Sven
-
Moitra, Abha, 5(3)500--501
-
Moitra:1983:TCA, 2(3)359--385, 5(3)500--501
-
Mojana, Bruno, 10(3)345--373
-
Mojana, Bruno, see Degano, Pierpaolo
-
Mok, Aloysius K., 19(2)386--412
-
Mok, Aloysius K., see Yang, Jin
-
mole, 36(2)7--7
-
M{\o}ller, Anders, 25(6)814--875, 29(4)21--21, 42(2)10--10,
see Christensen, Aske Simon, \see{Li, Yue
-
Moller:2007:SVX, 29(4)21--21
-
Molnar, David, 38(1)1--1
-
Molnar, David, see D'antoni, Loris
-
moment, 18(5)615--647
-
monad, 19(6)916--941, 35(2)6--6, 38(1)2--2
-
monadic, 26(4)609--651, 41(2)10--10
-
Möncke, Ulrich, 13(3)295--314,
see Börstler, Jürgen
-
Mondrian, 31(3)12--12
-
monitor, 13(4)491--530, 27(6)1270--1343, 28(1)175--205, 31(6)23--23,
34(2)7--7, 38(2)7--7, 39(4)17--17
-
monitor-based, 27(6)1270--1343
-
monitoring, 4(2)226--238, 16(4)1319--1360, 31(5)17--17, 32(4)13--13,
34(2)7--7, 37(1)4--4, 38(2)7--7
-
Monkey, 39(4)17--17
-
Monniaux, David, 30(3)12--12
-
Monniaux:2008:PVF, 30(3)12--12
-
monolingual, 7(2)183--213
-
monolithic, 40(1)1--1
-
monomorphic, 23(1)30--72, 30(4)18--18, 32(1)2--2
-
monotone, 16(5)1472--1511, 18(4)454--476, 22(4)638--672
-
monotone-interval, 23(1)73--103
-
monotonic, 16(3)924--938, 17(1)85--122
-
monotonicity, 28(5)848--907
-
monotonous, 20(1)116--165
-
monovariant, 20(1)166--207
-
Montanari, Ugo, 4(2)258--282, 23(1)1--29
-
Montanari, Ugo, see Bistarelli, Stefano,
see Martelli, Alberto
-
Monte, 16(3)798--842, 37(2)5--5
-
Montesi, Fabrizio, 46(1)1--1
-
Montesi, Fabrizio, see Giallorenzo, Saverio
-
Moon, Soo-Mook, 19(6)853--898, 26(4)735--765
-
Moon, Soo-Mook, see Park, Jinpyo
-
Moon:1997:PNC, 19(6)853--898
-
Moore, 28(4)696--714, 45(1)2--2
-
Moore, J. Strother, 24(3)193--216
-
Moore, Jonathan T., 29(3)17--17
-
Moore, Jonathan T., see Foster, J. Nathan
-
Moore:2002:AC, 24(3)193--216
-
MOPPER, 39(4)15--15
-
Moran, S., 12(1)84--101
-
Moran, S., see Korach, E.
-
Mordido, Andreia, 44(3)19--19
-
Mordido, Andreia, see Das, Ankush
-
Moreau, Luc, 27(3)441--476, 27(6)1344--1395
-
Moreau:2005:BDR, 27(6)1344--1395
-
Moreau:2005:RAP, 27(3)441--476
-
Moreira, José E., 22(2)265--295
-
Moreira:2000:FMJ, 22(2)265--295
-
Morel, 10(4)635--640, 11(4)666--668, 13(2)291--294
-
Moreover, 13(1)124--149, 15(4)575--631, 17(2)264--292, 22(1)129--161,
22(4)701--771, 28(2)290--330, 29(2)13--13, 29(5)29--29, 30(6)30--30,
31(6)22--22, 32(4)11--11, 32(5)16--16, 33(4)12--12, 34(1)2--2,
34(1)4--4, 34(2)7--7, 35(1)2--2, 35(4)14--14, 36(2)5--5, 37(2)6--6,
40(2)7--7, 40(3)13--13, 41(1)6--6, 41(2)8--8, 41(4)21--21
-
Moret, B. M. E., 2(4)580--595
-
Moret:1980:AVR, 2(4)580--595
-
Morgan, C. C., 0(z)0--0
-
Morgan, Carroll, 10(3)403--419, 18(3)325--353
-
Morgan:1988:RC, 0(z)0--0, 10(3)403--419
-
Morgan:1988:SS, 10(3)403--419
-
Morgan:1996:PPT, 18(3)325--353
-
Morgavi, M., 13(1)150--178
-
Morgavi, M., see Ancona, M.
-
Moriconi, Mark, 8(4)524--546
-
Moriconi:1986:PSP, 8(4)524--546
-
Morphing, 33(2)6--6
-
Morris, 1(1)115--120, 28(4)696--714
-
Morris, J. M., 21(3)677--701
-
Morris, Joseph M., 30(6)34--34, 31(4)16--16
-
Morris-Pratt, Knuth-, 17(2)293--330
-
Morris:1999:SF, 21(3)677--701
-
Morris:2008:DNF, 30(6)34--34
-
Morris:2009:TTN, 31(4)16--16
-
Morrisett, Greg, 21(3)527--568, 22(4)701--771, 22(6)1037--1080,
28(1)175--205
-
Morrisett, Greg, see Grossman, Dan,
see Hamlen, Kevin W., \see{Walker, David
-
Morrisett, J. G., 16(6)1719--1736
-
Morrisett, J. G., see Haines, N.
-
Morrisett:1999:SFT, 21(3)527--568
-
Morrison, R., 13(3)342--371
-
Morrison, Ronald, 7(4)539--559
-
Morrison, Ronald, see Atkinson, Malcolm P.
-
Morrison:1991:AHA, 13(3)342--371
-
Morzenti, Angelo, 14(4)521--573
-
Morzenti:1992:MPR, 14(4)521--573
-
MOS, 36(4)11--11
-
Moss, J. Eliot B., 23(1)30--72, 28(3)476--516, 29(1)2--2, 29(4)18--18,
41(1)3--3
-
Moss, J. Eliot B., see Blackburn, Stephen M.,
see Diwan, Amer, \see{Hertz, Matthew,
see Jacek, Nicholas, \see{Lee, Han B.
-
mostly, 27(6)1049--1096, 27(6)1097--1146, 31(5)17--17, 31(5)19--19,
32(4)13--13, 39(4)14--14, 39(4)18--18, 44(4)22--22
-
motion, 9(3)319--349, 16(4)1117--1155, 16(4)1156--1214, 18(3)268--299,
19(6)853--898, 20(6)1297--1322, 21(3)627--676, 22(4)583--637,
39(1)5--5
-
motivate, 15(1)182--205, 18(1)1--15, 21(3)527--568, 22(1)1--44,
28(3)517--575, 30(5)29--29, 33(4)12--12, 38(3)8--8
-
motivated, 8(4)577--608, 43(2)6--6
-
motivating, 14(2)201--264
-
motivation, 14(4)521--573, 16(2)205--258, 16(5)1472--1511, 30(4)19--19,
38(2)5--5
-
Motorola, 19(3)492--524
-
Motzkin, Fourier-, 34(1)3--3
-
Moura, Ana Lúcia, De, 31(2)6--6
-
move, 18(3)300--324, 22(3)431--470, 32(4)12--12, 43(1)3--3
-
move-semantics, 43(1)3--3
-
moved, 16(4)1156--1214, 34(3)13--13
-
moving, 18(6)730--751, 19(6)853--898, 35(2)8--8
-
Mozart, 21(3)569--626
-
Mozer, Michael, 19(1)188--222
-
Mozer, Michael, see Calder, Brad
-
Mozilla, 38(3)9--9
-
MPI, 22(4)673--700, 39(4)15--15
-
MrSpidey, 21(2)370--416
-
MSC, 32(4)13--13
-
\mu, 37(3)9--9
-
much, 4(2)283--294, 7(2)183--213, 7(3)404--425, 13(1)21--51,
13(1)124--149, 14(2)147--172, 16(3)524--576, 16(5)1613--1647,
17(1)157--179, 17(2)233--263, 17(5)691--703, 18(1)1--15,
18(3)300--324, 18(4)355--400, 18(4)477--518, 19(3)444--461,
20(5)917--979, 20(6)1265--1296, 21(1)138--173, 21(3)430--501,
23(2)105--186, 28(2)207--255, 28(5)908--941, 30(4)18--18, 33(1)3--3,
33(3)10--10, 34(2)7--7, 34(2)9--9, 35(3)11--11, 36(3)10--10,
37(1)1--1, 38(3)12--12, 39(1)2--2, 39(2)7--7, 40(4)15--15, 41(1)2--2,
41(3)18--18, 41(4)23--23, 42(3)14--14, 44(2)6--6, 44(3)18--18,
45(3)19--19
-
Mudambi, 16(1)35--101
-
Mueller, Frank, 24(4)299--333, 29(2)12--12, 34(1)5--5
-
Mueller, Frank, see Marathe, Jaydeep,
see Unger, Sebastian, \see{Wu, Xing
-
Mueller, Robert A., 9(2)257--276
-
Mueller:1987:RMS, 9(2)257--276
-
Mühlberg, Jan Tobias, 43(3)12--12, see Busi, Matteo
-
Mulkers, Anne, 16(2)205--258, 17(1)28--44
-
Mulkers, Anne, see Codish, Michael
-
Mulkers:1994:LSD, 16(2)205--258
-
Muller, Gilles, 22(3)471--489
-
Muller, Gilles, see Clausen, Lars Ræder
-
Müller, Peter, 33(6)20--20, 42(1)3--3, 43(4)13--13,
see Dietl, Werner, \see{Eilers, Marco
-
Muller, Robert, 14(4)589--616
-
Müller--Olmash, 36(4)11--11
-
Müller-Olm, Markus, 29(5)29--29
-
Müller-olm, Markus, 33(6)21--21, see Flexeder, Andrea
-
Muller-Olm:2007:AMA, 29(5)29--29
-
Muller:1992:MLR, 14(4)589--616
-
Muller:2021:ISS, 43(4)13--13
-
Mullin, Lenore R., 28(6)1145--1177
-
Mullin, Lenore R., see Rosenkrantz, Daniel J.
-
multi-core, 45(2)11--11
-
Multi-Cores, 45(2)11--11
-
Multi-Language, 40(2)8--8, 40(4)18--18
-
multi-language, 31(3)12--12, 40(2)8--8
-
multi-threaded, 38(4)16--16, 44(1)1--1, 45(1)6--6
-
multiagent, 37(3)9--9
-
multialgebra, 17(2)366--393
-
multialgebraic, 17(2)366--393
-
multicomputer, 9(2)235--256, 16(3)577--604
-
multicore, 32(4)13--13, 32(4)14--14, 35(1)3--3, 38(3)12--12, 39(4)17--17,
41(3)19--19
-
multicycle, 27(6)1097--1146
-
multidimensional, 17(1)123--156, 30(4)23--23, 38(3)12--12
-
multientry, 19(4)557--567
-
Multiflow, 16(4)1156--1214
-
multigigabyte, 27(6)1097--1146
-
MultiJava, 28(3)517--575
-
multilevel, 21(5)977--1027
-
multilingual, 30(4)18--18
-
MULTILISP, 7(4)501--538
-
Multilisp, 7(4)501--538
-
multimethod, 17(6)805--843, 20(1)116--165, 31(2)7--7
-
multioutput, 18(1)30--72
-
Multiparadigm, 21(3)569--626
-
multiparameter, 27(6)1216--1269, 36(3)9--9
-
multiparty, 16(3)954--985, 40(4)17--17
-
multiple, 4(4)601--614, 7(4)501--538, 9(2)164--197, 9(4)599--617,
10(2)313--337, 10(4)579--601, 11(1)57--66, 11(4)491--516,
14(1)28--53, 14(2)201--264, 15(3)400--462, 15(4)632--658,
15(4)659--680, 15(5)745--770, 16(2)259--303, 17(1)123--156,
17(3)431--447, 18(3)235--253, 18(6)659--682, 19(1)48--86,
20(4)869--916, 20(6)1195--1222, 21(6)1137--1195, 22(3)431--470,
22(5)773--815, 23(1)73--103, 28(2)331--388, 28(3)517--575,
30(5)28--28, 30(6)33--33, 31(1)2--2, 31(1)3--3, 31(3)10--10,
32(2)4--4, 33(4)12--12, 34(1)4--4, 34(1)5--5, 35(1)3--3, 35(1)4--4,
35(4)13--13, 36(2)5--5, 37(1)2--2, 37(3)8--8, 37(3)10--10,
39(3)10--10, 40(2)8--8, 40(3)9--9, 41(4)23--23, 42(1)3--3,
45(3)14--14, 46(1)2--2
-
multiple-data-stream, 7(4)501--538, 9(4)599--617, 10(4)579--601,
15(4)659--680, 17(1)123--156, 18(6)659--682
-
multiple-exit, 31(5)17--17
-
Multiple-instruction-stream, 7(4)501--538, 9(4)599--617, 10(4)579--601,
15(4)659--680, 17(1)123--156, 18(6)659--682
-
multiple-issue, 21(5)1028--1075
-
multiple-phase, 14(3)339--395
-
multiplexed, time-, 19(3)525--555
-
multiplication, 22(5)773--815, 33(3)11--11, 39(2)9--9, 41(4)20--20
-
multiply, 17(4)561--575, 31(3)10--10
-
multiply, matrix-, 22(2)265--295
-
multipole, 20(6)1195--1222
-
Multiprocess, 1(1)84--97, 2(1)134--134
-
multiprocessing, 3(1)11--23, 4(3)455--495, 18(4)477--518
-
Multiprocessing/multiprogramming, 9(2)235--256, 13(4)491--530
-
Multiprocessing/multiprogramming/multitasking, 22(4)673--700
-
multiprocessor, 3(1)49--59, 7(4)501--538, 9(4)599--617, 10(2)313--337,
10(4)579--601, 11(1)57--66, 13(1)124--149, 14(1)28--53,
15(1)182--205, 15(3)400--462, 15(4)659--680, 16(1)151--174,
16(3)577--604, 17(1)123--156, 18(6)659--682, 20(3)483--545,
20(4)869--916, 20(6)1195--1222, 22(5)773--815, 27(6)1097--1146,
28(1)1--69, 31(5)17--17
-
multiprogrammed, 19(3)525--555, 22(4)673--700, 28(5)908--941
-
multiprogramming, 20(6)1171--1194, 22(4)673--700
-
multisets, 40(3)12--12
-
multisource, 17(5)777--803
-
multistory, 9(2)198--234
-
multitasking, 31(2)6--6, 32(4)13--13
-
multithreaded, 27(6)1097--1146, 28(2)207--255, 28(5)942--965,
28(6)1088--1144, 30(4)20--20, 31(1)1--1, 32(4)14--14, 34(1)4--4,
34(2)9--9, 35(3)10--10, 36(3)9--9, 36(4)13--13, 36(4)14--14,
37(1)4--4, 37(3)8--8, 38(3)10--10, 40(3)12--12, 43(3)10--10
-
multithreading, 21(1)138--173, 31(1)1--1, 41(3)18--18, 43(3)10--10
-
multitier, 34(2)10--10
-
multityped, 17(3)448--460
-
multiunit, 16(5)1572--1612
-
multivariate, 34(3)14--14
-
multiway, 9(3)350--366, 18(1)30--72, 18(3)354--354, 22(5)932--972
-
munch, 20(2)259--273
-
munch'', ``Maximal-, 20(2)259--273
-
munch, maximal-, 20(2)259--273
-
Murali, Adithya, 45(2)7--7
-
Murali:2023:FOL, 45(2)7--7
-
Murata, Tadao, 20(5)917--979
-
Murata, Tadao, see Juan, Eric Y. T.
-
Murawski, Andrzej S., 41(2)11--11
-
Murawski, Andrzej S., see Cotton-Barratt, Conrad
-
Murer, Stephan, 18(1)1--15
-
Murer:1996:IAS, 18(1)1--15
-
Murphy, Brian R., 27(4)662--731
-
Murphy, Brian R., see Hall, Mary W.
-
Murphy, Sandra L., 10(1)178--188
-
Murphy:1988:NDP, 10(1)178--188
-
Murtagh, Thomas P., 13(3)372--398
-
Murtagh:1991:ISM, 13(3)372--398
-
musketeer, 39(2)6--6
-
Mussio, P., 21(6)1077--1136
-
Mussio, P., see Bottoni, P.
-
must, 4(3)382--401, 4(4)711--732, 6(2)159--174, 6(4)632--646,
14(3)339--395, 14(4)589--616, 16(1)3--34, 16(3)649--686,
16(3)1010--1023, 16(4)1279--1318, 16(5)1543--1571, 16(6)1699--1718,
17(1)63--84, 17(2)233--263, 17(2)331--365, 17(3)487--506,
17(5)691--703, 18(1)30--72, 19(3)525--555, 20(3)635--678,
21(3)527--568, 22(2)187--223, 22(3)431--470, 23(1)73--103,
27(6)1049--1096, 28(1)106--133, 28(2)290--330, 30(4)22--22,
30(6)31--31, 31(3)9--9, 31(3)10--10, 31(5)19--19, 32(3)8--8,
33(4)14--14, 34(1)2--2, 34(1)4--4, 34(4)17--17, 35(4)13--13,
36(2)5--5, 40(3)11--11, 40(4)16--16
-
must-alias, 16(5)1467--1471
-
Musuvathi, Madanlal, 38(4)16--16, 43(3)10--10
-
Musuvathi, Madanlal, see Liu, Lun,
see Marino, Daniel
-
mutable, 16(3)577--604, 22(6)1037--1080, 31(3)11--11, 32(3)7--7,
32(6)22--22, 34(1)2--2, 36(4)12--12, 38(4)14--14, 43(1)3--3
-
Mutandis, 29(4)22--22
-
mutated, 38(2)7--7
-
mutation, 28(3)429--475, 37(4)13--13, 40(3)12--12
-
Mutatis, 29(4)22--22
-
mutators, 44(4)22--22
-
Muth, Robert, 22(2)378--415
-
Muth, Robert, see Debray, Saumya K.
-
mutual, 9(1)25--53, 9(3)350--366, 11(1)90--114, 11(3)404--417,
12(4)643--669, 13(4)558--576, 15(1)36--72, 15(3)563--573,
16(3)939--953, 16(6)1719--1736, 17(3)535--559, 33(1)2--2, 35(1)5--5,
42(3)14--14
-
Mutual-Exclusion, 13(4)558--576
-
mutual-exclusion, 16(5)1543--1571
-
mutual-recursion, 19(6)1085--1087
-
mutually, 31(3)12--12, 32(1)1--1, 35(1)2--2, 35(1)5--5
-
Muylder, Antoine, Van, 45(3)15--15
-
Mycroft, Alan, 42(2)8--8
-
Mycroft, Alan, see Gharat, Pritam M.
-
Myers, Andrew, 39(1)1--1, 40(3)11--11, 41(2)7--7
-
Myers, Andrew C., 39(4)18--18
-
Myers, Andrew C., see Zhang, Danfeng
-
Myers, Brad A., 12(2)143--177, 23(6)776--796, 42(3)14--14
-
Myers, Brad A., see Coblenz, Michael,
see Vander Zanden, Bradley T.
-
Myers, Eugene W., 9(2)277--295, 11(1)33--56
-
Myers, Eugene W., see Fraser, Christopher W.
-
Myers:1989:RRA, 11(1)33--56
-
Myers:1990:CUI, 12(2)143--177
-
Myers:2017:F, 39(1)1--1
-
Myers:2018:EFS, 40(3)11--11
-
Myers:2019:E, 41(2)7--7
-
myriad, 16(6)1768--1810, 21(3)677--701
-
Myrinet, 20(6)1131--1170
-
mysterious, 32(4)15--15
-
Myths, 26(1)47--56