Last update: Fri Apr 12 02:17:44 MDT 2024
Return to index directory
P
-
P, 27(6)9--9, 30(8)134--143, 33(9)26--76
-
P++, 28(1)21--23
-
p, 0(0)13--24, 28(7)149--158
-
P, J.-, 30(6)174--185
-
P-code, 25(5)53--59
-
P-FSA, 0(0)298--310
-
p.13-19, 27(12)20--27
-
p.23-33, 27(12)20--27
-
p.37-52, 28(3)365--366
-
PA, 0(0)95--106, 31(0)viii--300
-
PA-RISC, 25(6)16--27
-
Paakki, Jukka, 0(0)361--374, 25(7)28--38, 31(2)21--26
-
Paakki, Jukka, see Tuovinen, Antti-Pekka
-
Paakki:1990:OTE, 25(7)28--38
-
Paakki:1994:MEF, 0(0)361--374
-
Pachet, François, 6(4)105--110, see Mili, Hafedh Y.
-
package, 0(0)85--98, 0(0)109--122, 0(0)123--137, 25(10)278--288,
27(9)223--233, 28(3)347--348, 28(7)198--207, 28(8)90--98,
29(3)33--35, 29(6)13--23, 30(8)217--226, 30(11)146--155, 33(0)0--0,
33(7)19--26, 33(7)43--50, 33(7)51--58
-
Packaging, 30(4)80--80
-
Packard, Hewlett-, 25(6)16--27, 30(10)33--46
-
packet, 29(11)51--60, 34(1)86--93
-
packet-level, 29(11)51--60
-
PaCT-95, 31(2)8--9
-
padded, 29(9)64--67
-
Padget, Julian A., 28(10)178--190
-
Padget, Julian A., see Odeh, Mohammed H.
-
pads, 30(6)246--257
-
Padua, David, 30(6)47--55, 30(6)218--232, 33(5)60--71
-
Padua, David, see Paek, Yunheung,
see Rauchwerger, Lawrence, \see{Tu, Peng
-
Padua, David A., 28(1)64--67, 34(8)1--12
-
Padua, David A., see Lee, Jaejin,
see Tu, Peng
-
Paek, Yunheung, 33(5)60--71
-
Paek:1998:SAA, 33(5)60--71
-
Paepcke, Andreas, 25(10)194--211
-
Paepcke:1990:PST, 25(10)194--211
-
Pagan, Frank G., 25(4)59--68
-
Pagan:1990:CEG, 25(4)59--68
-
Pagano, Bruno, 31(6)25--33
-
Pagano, Bruno, see Hardin, Thérèse
-
page, 0(0)472--492, 25(6)112--126, 26(7)122--132, 29(6)196--205,
29(11)12--24, 29(11)86--97, 29(11)158--170, 29(11)171--182,
29(12)112--113, 31(9)244--255, 32(11)49--56, 33(11)295--306,
34(12)37--46
-
page-cache, 27(9)187--197
-
Page-Jones, Meilir, 27(10)295--297
-
Page-Jones, Meilir, see Constantine, Larry L.
-
page-migration, 29(11)12--24
-
paged, 29(11)12--24, 29(11)171--182
-
paging, 28(6)177--186, 29(12)112--113
-
Pai, Vijay S., 31(9)12--23
-
Pai, Vivek S., 33(11)205--216
-
Pai:1996:EMC, 31(9)12--23
-
Pai:1998:LAR, 33(11)205--216
-
paid, 0(0)202--212
-
Paige, R., 32(1)94--98
-
Paige, Robert, 0(0)456--469
-
Paige, Robert A., 0(0)143--154
-
Paige, Robert A., see Cai, Jiazhen
-
Paige:1997:FDP, 32(1)94--98
-
Paige:1997:HLR, 0(0)456--469
-
Painting, 25(10)245--257
-
pair, 28(7)129--138, 29(6)230--241, 29(6)242--256, 29(11)61--73
-
pair-sharing, 34(11)52--61
-
Palacharla, Subbarao, 33(5)118--129
-
Palacharla, Subbarao, see Sastry, S. Subramanya
-
Palamidessi, Catuscia, 0(0)98--108, 0(0)256--265
-
Palamidessi, Catuscia, see de Boer, Frank S.
-
Palamidessi:1997:CEP, 0(0)256--265
-
Paleczny, Michael, 30(3)35--49, 30(8)1--10
-
Paleczny, Michael, see Bordawekar, Rajesh,
see Click, Cliff
-
Paleczny, Michael H., 28(7)33--43
-
Paleczny, Michael H., see Hall, Mary W.
-
Palem, Krishna, 0(0)270--280
-
Palem:1990:STI, 0(0)270--280
-
Paleri, Vineeth Kumar, 33(12)35--43
-
Paleri:1998:SAP, 33(12)35--43
-
palimpsest, 0(0)81--94
-
Palmer, Daniel W., 28(7)119--128
-
Palmer, Daniel W., see Prins, Jan F.
-
Palmer, John, 27(10)295--297
-
Palmer, John, see Constantine, Larry L.
-
Palsberg, 0(0)367--378
-
Palsberg, Jens, 0(0)197--208, 0(0)367--378, 0(0)419--428,
25(10)151--160, 26(11)146--161, 29(3)3--11, 32(1)59--65,
32(12)137--z
-
Palsberg, Jens, see Black, Andrew,
see Hankin, Chris, \see{Kozen, Dexter
-
Palsberg:1990:TSO, 25(10)151--160
-
Palsberg:1991:OOT, 26(11)146--161
-
Palsberg:1995:TSE, 0(0)367--378
-
Palsberg:1997:TSC, 32(12)137--z
-
Palsberg:1998:PFI, 0(0)197--208
-
Pan, Shien-Tai, 27(9)76--84
-
Pan:1992:IAD, 27(9)76--84
-
Panangaden, Prakash, 0(0)189--202, 0(0)333--352
-
Panangaden, Prakash, see Gupta, Vineet,
see Saraswat, Vijay A.
-
Pancake, Cherri M., 26(1)21--37, 28(12)64--74, 28(12)169--186
-
Pancake:1991:BPD, 26(1)21--37
-
Pancake:1993:BPD, 28(12)169--186
-
Pancake:1993:CPP, 28(12)64--74
-
Pancode, 25(8)106--119, 25(11)80--84
-
Pande, Santosh, 34(5)128--138
-
Pande, Santosh, see Rao, Amit
-
Pandey, Rajeev K., 29(9)29--37
-
Pandey, Rajeev K., see Justice, Timothy P.
-
panel, 27(10)41--44, 27(10)87--87, 27(10)88--88, 27(10)145--145,
27(10)295--297, 27(10)298--302, 27(10)392--396, 27(10)484--489,
28(10)90--90, 28(10)137--143, 28(10)304--304, 28(10)305--305,
28(10)306--306, 28(10)307--307, 28(10)308--308, 28(10)356--359,
28(10)356--362, 28(10)360--363, 28(10)363--363, 28(10)364--364,
28(10)374--375, 28(10)429--436, 28(10)437--447, 29(10)46--50,
29(10)102--112, 29(10)145--152, 29(10)371--372, 30(10)88--90,
30(10)140--140, 30(10)185--186, 30(10)281--282, 30(10)283--284,
30(10)331--332, 30(10)333--336, 30(11)124--124, 31(10)10--z,
31(10)101--103, 31(10)232--234, 31(10)232--z, 31(10)286--291,
31(10)286--z, 31(10)384--388, 31(10)384--z, 31(10)441--443,
31(10)441--z, 31(10)444--448, 31(10)444--z, 32(9)15--37,
32(10)93--93, 32(10)106--107, 32(10)158--161, 32(10)201--205,
32(10)301--303, 32(10)342--344, 32(10)345--345, 33(10)45--47,
33(10)179--182, 33(10)226--229, 33(10)359--361, 33(10)412--416,
33(10)417--420, 34(2)2--3, 34(5)z--99999999
-
Panizzi, Emanuele, 34(6)37--42
-
Panizzi:1999:RTV, 34(6)37--42
-
Panizzi:1999:TCR, 34(6)37--42
-
Panorama, 28(12)96--106
-
Panti, M., 31(7)33--39
-
Panti, Maurizio, 27(11)33--38
-
Panti:1992:MOH, 27(11)33--38
-
Panti:1996:PPC, 31(7)33--39
-
Paolucci, P. S., 27(11)39--48
-
Paolucci, P. S., see Cabasino, S.
-
Papaspynou, Nikolaos S., 31(8)16--25
-
Papaspynou:1996:DSC, 31(8)16--25
-
Papaspyrou, Nikolaos S., 31(8)16--25
-
Papaspyrou:1996:FPD, 31(8)16--25
-
Papathomas, Michael, 25(10)38--43
-
Papathomas, Michael, see Nierstrasz, Oscar
-
paperback, 0(0)xi--296
-
paradigm, 0(0)85--98, 0(0)198--208, 0(0)200--210, 0(0)227--239,
0(0)254--267, 25(2)25--34, 25(10)237--244, 26(1)14--20, 26(3)35--44,
26(11)184--196, 27(7)55--67, 28(2)21--40, 28(3)1--35, 28(3)69--95,
28(7)23--32, 28(7)179--186, 30(8)19--28, 30(11)31--40, 32(1)77--79,
32(8)251--262, 34(8)25--36, 34(10)306--313
-
Paradigm, Multi-, 31(2)13--20
-
Paragon, 30(8)11--18, 30(8)207--216
-
PARALLEL, 31(2)8--9
-
Parallel, Data-, 28(1)44--47, 30(8)102--111, 31(10)1--z,
33(5)186--198
-
parallel, Data-, 0(0)16--28, 28(7)102--111, 28(7)149--158,
30(8)102--111
-
parallel, data-, 0(0)16--28, 0(0)322--332, 26(6)130--144,
27(7)94--105, 28(7)102--111, 28(7)112--118, 28(7)119--128,
28(7)149--158, 29(4)31--40, 29(6)107--120, 29(11)208--218,
30(8)1--10, 31(10)1--17
-
parallel, highly-, 28(7)112--118
-
parallel, massively-, 27(9)262--273
-
parallel, Object-, 30(8)11--18
-
parallel, object-, 30(8)11--18
-
parallel, OR-, 25(3)50--59
-
parallel-distributed, 26(7)114--121
-
parallel-or, 0(0)13--24
-
parallel-program, 26(7)11--20, 26(7)145--154
-
parallelising, 29(11)196--207, 29(12)25--30, 29(12)31--37
-
Parallelism, And-, 28(5)19--28
-
parallelism, AND-, 29(2)25--32
-
parallelism, And-, 28(5)19--28
-
parallelism, AND-, 29(2)25--32
-
parallelism, AND/OR-, 29(2)25--32
-
parallelism, control-, 28(7)112--118
-
parallelism, Data-, 28(7)112--118
-
parallelism, data-, 28(7)112--118
-
parallelism, OR-, 29(2)25--32
-
parallelism, or-, 26(7)83--93
-
parallelism, OR-, 29(2)25--32
-
parallelizable, 27(7)188--199, 28(6)112--125, 30(6)218--232
-
parallelization, 0(0)2--15, 0(0)79--92, 0(0)107--120, 0(0)130--141,
0(0)311--325, 0(0)316--328, 0(0)z--99999999, 26(7)155--166,
26(7)178--188, 28(7)33--43, 28(7)83--91, 28(7)179--186, 29(2)19--24,
29(6)36--48, 29(6)218--229, 29(6)230--241, 30(6)218--232,
30(8)58--67, 30(8)166--178, 31(4)11--15, 32(7)136--144, 34(8)72--83,
34(8)84--95
-
parallelize, 28(7)179--186, 30(8)58--67, 30(8)166--178
-
parallelized, 26(12)108--119, 26(12)132--143, 28(7)179--186,
32(7)112--123, 32(7)112--z
-
parallelized, Compiler-, 30(8)144--155
-
parallelized, compiler-, 30(8)144--155
-
parallelizer, 34(8)37--48
-
parallelizing, 0(0)2--15, 0(0)384--396, 25(6)137--149, 25(6)283--295,
26(7)167--177, 27(7)249--260, 28(7)13--22, 28(7)33--43,
28(7)179--186, 29(2)19--24, 29(6)135--146, 29(6)230--241,
29(11)196--207, 29(12)31--37, 30(6)218--232, 30(8)58--67,
30(8)134--143, 30(8)166--178, 30(8)179--188, 30(12)37--42,
31(5)54--67
-
parallelizing, loop-, 27(7)152--161
-
parameter, 0(0)232--245, 0(0)281--292, 25(1)59--86, 25(6)127--136,
27(7)152--161, 28(2)14--20, 28(5)9--18, 28(6)90--99, 28(6)227--236,
28(6)237--247, 29(6)135--146, 29(8)46--58, 29(8)59--73,
29(11)219--229, 30(4)80--80, 30(8)80--91
-
Parameter-passing, 0(0)233--244
-
parameterised, 0(0)189--199, 29(3)33--35
-
parameterization, 29(7)15--20, 29(10)153--163, 32(10)49--65
-
parameterized, 0(0)68--78, 0(0)132--145, 0(0)142--153, 0(0)154--163,
0(0)346--357, 0(0)393--407, 26(6)92--106, 28(3)133--147,
29(6)13--23, 29(12)58--65, 34(10)97--113
-
parametric, 0(0)2--15, 0(0)105--118, 0(0)118--129, 0(0)155--156,
0(0)157--170, 0(0)171--184, 0(0)281--292, 0(0)379--392,
0(0)465--478, 25(6)165--173, 29(6)230--241, 30(10)156--168,
33(10)216--225
-
parametricity, 0(0)viii--510, 0(0)157--170, 0(0)171--184, 0(0)281--292,
0(0)442--455, 29(6)24--35, 34(9)82--89
-
Parametrized, 28(11)28--32
-
ParaScope, 28(7)33--43
-
Parasitic, 32(10)66--76
-
ParCeL-1, 31(8)43--51
-
Pardo-Castellote, Gerardo, 30(11)146--155
-
Pardo-Castellote, Gerardo, see Schneider, Stan
-
Pardyak, Przemys{\l}aw, 34(3)118--129, see Lim, Tian F.
-
Pareja-Flores, Cristóbal, 32(8)317--317, 34(4)54--60
-
Pareja-Flores:1997:SFT, 32(8)317--317
-
Pareja-Flores:1999:CED, 34(4)54--60
-
parented, 28(3)69--95
-
parents, 29(10)427--439
-
Pareschi, Remo, 25(10)44--56, 26(11)212--229
-
Pareschi, Remo, see Andreoli, Jean-Marc
-
Pareto, Lars, 0(0)410--423, 34(9)70--81
-
Pareto, Lars, see Hughes, John
-
Pargaonkar, Shirish S., 28(10)338--355
-
Pargaonkar, Shirish S., see Minoura, Toshimi
-
Parigot, Didier, 25(6)209--222
-
Parigot, Didier, see Jourdan, Martin
-
Parikh, Vishesh M., 33(5)280--290
-
Parikh, Vishesh M., see Adl-Tabatabai, Ali-Reza
-
Paris, 0(0)viii--497, 34(0)viii--283
-
Parity, 26(4)190--199, 27(9)23--35
-
Park, Jungkeun, 34(7)80--86
-
Park, Jungkeun, see Ryu, Minsoo
-
Park, Soo-Yeon, 34(7)73--79
-
Park, Young, 34(1)344--344
-
Park, Young, see Am, Nancy, \see{An, Nancy
-
Park, Young Gil, 26(9)178--189, 27(7)116--127
-
Park:1991:REA, 26(9)178--189
-
Park:1992:EAL, 27(7)116--127
-
Park:1999:SDC, 34(7)73--79
-
Parker, K. Michael, 0(0)49--52
-
Parker, K. Michael, see Snow, Paul A.
-
Parkes, M. B. A., 25(8)37--42
-
Parkes, M. B. A., see Elsworth, W. F.
-
PARLOG, 25(1)33--42
-
Parr, Mike, 28(9)26--28
-
Parr, Mike, see Bell, Doug
-
Parr, T. J., 27(2)88--165
-
Parr, Terence J., 31(2)27--34
-
Parr:1992:PRM, 27(2)88--165
-
Parr:1996:LLT, 31(2)27--34
-
parse, 0(0)235--245, 25(5)117--123, 28(6)156--165, 34(4)19--24
-
parser, 0(0)235--245, 0(0)472--492, 25(4)51--58, 25(4)59--68,
26(2)109--117, 27(7)82--93, 27(11)39--48, 28(6)156--165,
29(1)46--52, 29(4)23--30, 29(7)54--60, 29(9)9--16, 29(9)115--124,
29(12)94--103, 33(9)87--94
-
ParsesraP, 30(2)25--32
-
parsing, 0(0)1--13, 0(0)235--245, 0(0)303--310, 26(3)79--87, 26(5)59--66,
27(4)68--76, 27(6)72--75, 27(7)82--93, 28(2)21--40, 28(4)67--68,
28(6)156--165, 29(1)46--52, 29(1)54--65, 29(3)33--35, 29(9)9--16,
29(9)115--124, 32(5)31--43, 33(12)20--24, 34(2)26--31, 34(4)19--24,
34(6)18--22, 34(6)z--99999999, 34(12)18--23
-
Parsons, Peter, 30(7)7--7
-
Parsons:1995:BRP, 30(7)7--7
-
Partain, Will, 27(5)z--z, 31(6)1--12
-
Partain, Will, see Hudak, Paul,
see Jones, Simon Peyton
-
Partial-Evaluation, 32(12)47--z
-
Partial-evaluation, 32(12)47--62
-
partial-subblock, 29(11)171--182
-
partiality, 0(0)458--471
-
partially, 0(0)421--434, 29(6)147--158, 30(6)233--245, 34(11)2--11
-
participate, 30(6)218--232
-
participation, 31(1)6--8, 31(2)1--1, 31(2)10--10, 31(2)11--11,
32(3)20--20
-
particular, 0(0)2--15, 0(0)27--38, 0(0)29--42, 0(0)39--50, 0(0)70--83,
0(0)95--106, 0(0)107--117, 0(0)144--154, 0(0)185--195, 0(0)223--234,
0(0)285--298, 0(0)311--321, 0(0)313--324, 0(0)333--343,
0(0)355--366, 0(0)384--396, 0(0)409--418, 25(6)102--111,
25(6)246--256, 27(7)82--93, 27(7)116--127, 28(6)90--99, 28(7)23--32,
29(6)121--134, 29(8)46--58, 30(3)71--82, 30(3)111--118, 30(6)67--78,
30(6)291--300, 30(6)301--314, 30(8)58--67, 30(11)20--30,
30(11)79--87, 30(11)134--145
-
particularly, 0(0)130--141, 0(0)221--232, 25(6)78--84, 25(6)296--310,
28(3)69--95, 29(6)13--23, 29(6)73--84, 29(6)147--158, 29(6)218--229,
30(6)93--102, 30(8)199--206, 30(11)41--49
-
partition, 0(0)361--374, 30(8)48--57, 30(8)144--155
-
partitioned, 28(6)126--138
-
partitioning, 0(0)15--26, 0(0)259--271, 17(9)18--27, 25(6)322--336,
26(7)213--223, 27(7)68--81, 30(8)48--57, 30(8)68--79,
30(11)125--133, 31(6)42--49
-
partitioning, issues-, 30(8)68--79
-
Partitioning, Mesh-, 32(7)136--144
-
Partridge, A. S., 31(5)79--88
-
Partridge, A. S., see Trinder, P. W.
-
party, multi-, 0(0)292--305
-
pascal, 0(0)35--36, 25(1)23--24, 25(2)25--34, 25(5)69--81, 25(6)223--233,
28(0)0--0, 28(3)1--35, 28(3)333--342, 28(3)353--354, 28(3)363--364,
28(4)49--54, 28(5)53--62, 28(5)55--62, 28(6)46--55, 28(11)42--51,
29(3)18--22, 29(3)23--27, 29(4)15--22, 29(9)105--114, 29(12)18--24,
32(5)226--234
-
Pascal-oriented, 28(4)49--54, 28(5)53--62, 28(5)55--62
-
PASCAL-XSC, 28(8)57--66
-
pass, 26(3)88--94, 29(6)257--265, 29(11)274--285
-
pass, Multi-, 0(0)361--374
-
pass, multi-, 0(0)361--374
-
pass, one-, 0(0)297--310, 29(11)263--272
-
pass-through, 28(6)90--99
-
passed, 0(0)130--141, 28(3)345--346, 29(6)196--205
-
Passia, Jacek, 28(5)39--48
-
Passia:1993:FFI, 28(5)39--48
-
passing, 0(0)viii--492, 0(0)85--94, 0(0)186--197, 0(0)206--219,
0(0)233--246, 0(0)299--312, 0(0)326--338, 0(0)348--360,
0(0)z--99999999, 26(11)129--145, 28(1)85--85, 28(7)218--228,
28(12)118--128, 29(0)360, 29(5)31--36, 29(9)105--114, 29(11)2--11,
29(11)25--35, 29(11)38--50, 29(11)51--60, 29(11)61--73,
29(11)297--306, 29(12)48--57, 30(3)13--22, 30(4)80--80, 30(8)39--47,
30(8)217--226
-
passing's, message-, 29(11)61--73
-
passing, argument-, 0(0)35--47
-
Passing, Continuation-, 29(6)1--12
-
passing, Continuation-, 28(6)237--247
-
passing, continuation-, 0(0)1--14, 0(0)124--136, 0(0)446--457,
0(0)458--471, 28(6)237--247, 29(6)1--12
-
Passing, Message-, 28(1)84--84, 33(3)65--72
-
passing, Message-, 28(7)54--63
-
passing, message-, 27(9)262--273, 28(7)54--63, 29(11)25--35,
29(11)61--73
-
passing, Parameter-, 0(0)233--244
-
passing, value-, 0(0)326--338
-
passive, 28(7)23--32, 29(9)105--114, 29(11)25--35
-
past, 0(0)154--163, 0(0)209--220, 0(0)328--342, 28(3)231--270,
29(11)252--262, 32(1)14--57, 32(9)15--37, 33(10)183--200
-
PASTE, 33(12)14--15
-
Pastorelli, Bernardo, 34(6)37--42
-
Pastorelli, Bernardo, see Panizzi, Emanuele
-
Pat, 0(0)227--239, 28(12)xviii--z
-
Patel, Ahmed, 0(0)z--99999999
-
Patel, Ahmed, see Gladychev, Pavel
-
Patel-Schneider, Peter F., 32(10)77--92
-
Patel-Schneider, Peter F., see Litman, Diane
-
patents, 27(8)87--88
-
path, 0(0)23--26, 0(0)49--61, 0(0)134--148, 0(0)213--226, 0(0)397--408,
25(9)7--9, 26(1)47--56, 27(7)249--260, 29(2)19--24, 29(6)1--12,
29(6)147--158, 29(6)230--241, 29(10)301--301, 29(11)232--241,
30(3)50--61, 30(6)13--22, 30(6)47--55, 30(6)56--66, 30(6)186--195,
30(6)246--257, 30(8)207--216, 30(11)88--98, 31(9)268--278,
33(5)72--84, 33(11)170--179, 34(2)21--25, 34(5)259--269
-
Path-Based, 32(10)77--92
-
path-based, 29(2)19--24
-
Path-sensitive, 0(0)237--251
-
pathlength, 29(6)36--48
-
Patil, Harish, 34(5)181--191
-
Patil, Harish, see Wu, Le-Chun
-
PATOProp, 0(0)227--239
-
Patrick, Robert, 31(10)104--121
-
Patrick, Robert, see Dutoit, Allen
-
Patt, Yale N., 33(11)170--179
-
Patt, Yale N., see Stark, Jared
-
PATTERN, 31(9)234--243, 34(3)20--25
-
pattern, 0(0)118--129, 0(0)211--222, 0(0)227--239, 0(0)254--267,
0(0)258--268, 0(0)268--279, 0(0)322--332, 6(4)85--88, 6(4)128--131,
6(4)132--137, 25(6)223--233, 25(6)283--295, 25(10)38--43,
25(10)116--125, 26(6)145--156, 26(9)62--71, 27(7)162--174,
27(7)200--211, 27(10)63--76, 27(10)218--233, 27(12)28--28,
28(6)68--77, 28(6)197--206, 28(7)23--32, 28(7)83--91, 28(7)169--178,
28(7)249--259, 29(6)85--96, 29(6)337--348, 29(8)35--45,
29(10)191--204, 29(10)453--467, 29(11)61--73, 30(6)218--232,
30(8)112--122, 30(10)231--234, 30(10)337--341, 30(10)342--357,
30(10)370--384, 30(11)50--59, 31(1)2--3, 31(2)4--5, 31(3)2--3,
31(4)1--3, 31(6)110--121, 31(10)18--29, 31(12)18--21, 32(8)75--84,
32(10)206--206, 32(10)218--228, 32(10)342--344, 32(11)17--20,
33(5)60--71, 33(10)134--143, 33(12)20--24, 34(1)348--348,
34(2)26--31, 34(2)47--50, 34(2)47--51, 34(4)19--24, 34(6)18--22,
34(6)z--99999999, 34(12)18--23, 34(12)57--66
-
Pattern-based, 0(0)211--222
-
pattern-directed, 28(7)23--32
-
Pattern-Matching, 33(1)40--47
-
pattern-matching, 27(5)z--z, 28(7)112--118
-
Patterson, David A., 28(7)1--12
-
Patterson, David A., see Culler, David E.
-
Patterson, Jason R. C., 30(6)67--78
-
Patterson:1995:ASB, 30(6)67--78
-
Paulson, 27(8)14--14
-
pause, 28(6)217--226, 28(7)73--82, 29(10)229--243
-
Pauw, Wim, De, 28(10)326--337
-
Pauw, Wim De, 28(10)326--337
-
Pauw:1993:VBO, 28(10)326--337
-
Pavlopoulou, Christina, 0(0)197--208
-
Pavlopoulou, Christina, see Palsberg, Jens
-
Pawagi, Shaunak, 0(0)169--183
-
Pawagi, Shaunak, see Sekar, R. C.
-
Payne, M., 25(1)59--86
-
Payne:1990:PLC, 25(1)59--86
-
PC, 28(4)7--7
-
PC++, 30(8)11--18
-
pC++, 30(8)11--18
-
pC++ash, 30(8)11--18
-
pcc, 25(6)9--15
-
PCCTS, 27(2)88--165
-
PCF, 0(0)13--24, 0(0)198--208, 0(0)328--342
-
PCLOS, 25(10)194--211
-
PCN, 30(8)19--28
-
PC++/streams, 30(8)11--18
-
pC++/streams, 30(8)11--18
-
PCTL, 0(0)95--106
-
PCTL+, 0(0)95--106
-
PDE, 30(8)80--91
-
PDG, 25(6)246--256, 25(6)257--271, 25(6)337--351, 29(6)266--277
-
PDP-6, 28(3)231--270
-
PDW, 25(6)257--271
-
Pearse, T., 32(2)45--53
-
Pearse, T., see Deshpande, G.
-
Pearson, David, 29(6)171--185
-
Pearson, David, see Johnson, Richard
-
Pechtchanski, Igor, 34(10)447--460
-
Pechtchanski, Igor, see Lipkind, Ilya
-
Pedagogical, 31(12)18--21
-
Pedersen, Birger, M{\o}lier-, 25(10)140--150
-
peephole, 25(6)9--15, 27(7)82--93, 34(2)47--50, 34(2)47--51
-
Pei, Lu, 32(9)57--60
-
Pei:1997:MMD, 32(9)57--60
-
Peir, Jih-Kwon, 31(9)268--278, 33(11)240--250
-
Peir:1996:ICP, 31(9)268--278
-
Peir:1998:CDM, 33(11)240--250
-
Pellegrini, Marco, 26(2)67--74
-
Pellegrini:1991:STE, 26(2)67--74
-
Pelta, David, 32(8)313--313, 32(8)314--314
-
Pelta, David, see Krasnogor, Natalio
-
Pemberton, Steven, 26(2)11--16
-
Pemberton:1991:SIA, 26(2)11--16
-
Peña, Ricardo, 31(6)110--121,
see Gostanza, Pedro Palao
-
penalty, 26(4)15--27, 29(11)319--327, 30(3)111--118, 30(6)13--22,
30(8)189--198
-
people, 28(3)97--132, 28(3)133--147, 28(3)149--175, 28(3)271--297,
28(3)299--331, 29(6)1--12, 32(3)27--31
-
PEPM, 34(0)99999999
-
PEPM'93, 0(0)iv--215
-
PER, 0(0)316--327
-
per, 27(9)248--259, 29(11)38--50, 29(11)86--97, 29(11)263--272,
30(6)1--12, 30(6)139--150, 32(11)31--32, 33(3)36--36, 33(8)34--39,
33(11)252--261
-
per-operation, 0(0)322--332
-
per-process, 30(8)179--188
-
Per-processor, 28(7)249--259
-
Peralta, Julio C., 34(11)44--51
-
Peralta, Julio C., see Gallagher, John P.
-
percent, 0(0)311--325, 29(6)186--195
-
Pereira, Fernando, 28(3)365--366
-
Pereira:1993:BIP, 28(3)365--366
-
PERFECT, 30(6)218--232
-
perfect, 17(9)18--27, 23(1)17--19, 23(12)728--729, 27(7)200--211,
27(11)33--38, 29(6)171--185, 30(4)29--35, 33(11)252--261
-
perform, 0(0)35--47, 0(0)209--220, 0(0)211--222, 0(0)227--239,
0(0)297--310, 0(0)389--396, 0(0)472--492, 26(6)219--228,
27(7)12--21, 27(7)32--43, 27(7)82--93, 27(7)200--211, 28(6)156--165,
28(6)177--186, 28(6)237--247, 28(6)300--313, 28(8)90--98,
29(6)49--60, 29(6)206--217, 29(11)25--35, 29(11)145--156,
29(11)158--170, 29(11)171--182, 29(11)319--327, 30(3)94--102,
30(6)151--162, 30(6)163--173, 30(6)186--195, 30(6)205--217,
30(8)48--57, 30(8)80--91, 30(8)123--133, 30(8)217--226, 30(11)7--19,
30(11)20--30
-
PERFORMANCE, 27(9)76--84, 27(9)111--122, 27(9)124--136, 27(9)137--148,
27(9)162--174, 27(9)175--186, 27(9)187--197, 27(9)248--259,
27(9)262--273, 27(9)274--284, 29(6)186--195, 29(11)51--60,
29(11)61--73, 29(11)98--109, 29(11)110--119, 29(11)122--131,
29(11)183--193, 29(11)219--229, 29(11)232--241, 29(11)242--251,
29(11)252--262, 29(11)274--285, 29(11)308--318, 29(11)319--327,
29(11)328--337, 30(11)20--30, 30(11)31--40, 30(11)60--69,
30(11)70--78, 30(11)79--87, 31(9)2--11, 31(9)138--147,
31(9)160--170, 31(9)258--267, 31(9)268--278, 33(11)71--80,
33(11)92--103, 33(11)105--114, 33(11)115--126, 33(11)170--179,
33(11)181--192, 33(11)193--204, 33(11)205--216, 33(11)218--227,
33(11)228--239, 33(11)240--250, 33(11)272--281, 33(11)283--294,
33(11)295--306
-
Performance, High-, 0(0)99999999, 0(0)z--99999999
-
performance, High-, 30(8)1--10
-
performance, high-, 28(12)158--168, 29(6)337--348,
29(12)31--37, 30(8)1--10
-
performance-comparison, 29(6)73--84
-
performance-enhancing, 29(6)218--229
-
performance-guided, 29(6)73--84
-
performed, 0(0)124--136, 0(0)154--165, 25(6)272--282, 27(7)1--11,
27(7)32--43, 27(7)116--127, 27(7)188--199, 28(3)299--331,
28(6)1--12, 28(6)26--35, 28(6)68--77, 28(6)78--89, 28(6)207--216,
28(7)239--248, 29(6)49--60, 30(3)13--22, 30(6)67--78, 30(8)68--79,
30(11)20--30
-
performing, 0(0)71--84, 25(6)150--164, 27(7)116--127, 28(7)112--118,
29(6)218--229, 29(11)242--251, 30(6)23--31, 30(6)246--257,
30(6)258--269, 33(7)83--90
-
period, 28(3)149--175
-
periodic, 27(7)162--174, 30(11)7--19, 30(11)50--59
-
periodically, 30(11)79--87
-
peripherals, 25(6)209--222
-
Perl, 31(9)150--159
-
Perlis, 28(9)6--12
-
permissions, 29(11)319--327
-
permit, 0(0)25--36, 27(7)1--11, 27(7)55--67, 28(3)363--364,
28(6)217--226, 28(7)92--101, 29(6)302--312, 29(11)2--11,
29(11)110--119, 29(11)297--306
-
permutation, 29(11)252--262
-
Perror, Jean-François, 26(11)351--354,
see Bobrow, Daniel
-
Perry, 26(5)25--26
-
persistence, 26(5)43--52, 34(10)382--398
-
persistent, 26(11)314--328, 28(10)144--161, 28(10)288--303, 29(0)453,
29(10)85--101, 29(10)129--144, 29(10)191--204, 29(10)373--387,
29(11)86--97, 31(10)150--167
-
PERSONAL, 28(3)69--95
-
personal, 0(0)z--99999999, 26(2)99--108, 28(3)1--35, 28(3)69--95,
29(11)297--306, 30(11)60--69
-
PERspective, 26(9)154--165
-
perspective, 27(7)162--174, 27(7)188--199, 30(6)32--46, 31(2)42--54,
31(10)10--z, 31(10)101--103, 32(1)73--76, 32(1)89--91,
32(1)120--121, 32(10)106--107, 33(7)75--82, 33(12)72--80, 34(2)1--1
-
Persson, Patrik, 34(7)45--54
-
Persson:1999:LMA, 34(7)45--54
-
perturb, 25(6)78--84
-
perturbation, 26(7)201--212, 26(12)15--25, 28(7)44--53
-
Pessaux, François, 0(0)276--290
-
Pessaux:1999:TAU, 0(0)276--290
-
pessimistic, 25(6)137--149, 30(11)1--6
-
Petal, 31(9)84--92
-
Peter, 27(12)20--27, 34(2)46--46
-
Petersburg, 0(0)viii--423, 31(2)8--9
-
Peterson, John, 27(5)z--z, 28(6)227--236, 34(4)35--36
-
Peterson, John, see Hudak, Paul
-
Peterson:1993:ITC, 28(6)227--236
-
Peterson:1999:FPM, 34(4)35--36
-
Peterson:1999:MYC, 34(4)35--36
-
Petrank, Erez, 34(3)10--19
-
Petrank, Erez, see Azagury, Alain
-
Petri-net, 26(6)204--218
-
Pettis, Karl, 25(6)16--27
-
Pettis:1990:PGC, 25(6)16--27
-
Pettorossi, Alberto, 0(0)414--427, 26(9)274--284, 32(1)99--102
-
Pettorossi, Alberto, see Proietti, Maurizio
-
Pettorossi:1997:FDP, 32(1)99--102
-
Pettorossi:1997:RNW, 0(0)414--427
-
Peyton Jones, Simon, 0(0)295--308, 34(5)25--36
-
Peyton Jones, Simon L., 28(11)9--12, 29(6)24--35
-
Peyton Jones, Simon L., see Launchbury, John
-
Peyton, John, 33(5)301--312
-
Peyton, John, see Ayers, Andrew
-
PeytonJones:1993:HGG, 28(11)9--12
-
PeytonJones:1996:CH, 0(0)295--308
-
PeytonJones:1999:SIE, 34(5)25--36
-
Pfeiffer, Phil, 28(9)6--12, 31(7)4--7, 31(7)4--z
-
Pfeiffer, Phil, see Hind, Michael
-
Pfeiffer:1993:RSA, 28(9)6--12
-
Pfenning, Frank, 0(0)214--227, 0(0)258--270, 26(6)268--277,
26(9)285--296, 33(5)224--235, 33(5)249--257, 34(11)33--33
-
Pfenning, Frank, see Davies, Rowan,
see Freeman, Tim, \see{Michaylov, Spiro,
see Wickline, Philip, \see{Xi, Hongwei
-
Pfenning:1999:LFS, 34(11)33--33
-
Ph.D, 28(12)169--186
-
Phan, Thomas, 34(8)151--162
-
Phan, Thomas, see Bagrodia, Rajive
-
phantom, 29(9)38--43
-
phase, 0(0)57--70, 0(0)247--258, 0(0)297--310, 0(0)341--354,
0(0)361--374, 28(1)40--43, 28(6)237--247, 29(6)266--277,
29(10)287--300, 30(3)23--34, 30(11)31--40, 30(11)134--145
-
phase, first-, 28(3)299--331
-
phase, single-, 27(9)274--284
-
phenomena, 29(11)328--337
-
phenomenon, 30(3)94--102
-
phi, 0(0)62--73
-
Phi-function, 30(6)47--55
-
phi-nodes, 0(0)62--73
-
Phil, 28(4)7--7
-
Philadelphia, 31(0)viii--300, 31(3)2--3
-
Philbin, James, 31(9)60--71
-
Philbin, Jim, 27(7)55--67
-
Philbin, Jim, see Jagannathan, Suresh
-
Philbin:1996:TSC, 31(9)60--71
-
Philip, Reed, 26(11)355--358
-
Philip, Reed, see Hazeltine, Nelson
-
Philip:1991:ECP, 0(0)23--26
-
Philipose, M., 32(12)163--z
-
Philipose, M., see Liu, Yanhong Annie
-
Philipose, Matthai, 31(5)149--159, 32(12)163--178, 34(5)293--304
-
Philipose, Matthai, see Auslander, Joel,
see Grant, Brian
-
Philippsen, Michael, 0(0)z--99999999, 28(8)99--108, 30(8)156--165
-
Philippsen, Michael, see Jacob, Matthias
-
Philippsen:1993:CMI, 28(8)99--108
-
Philippsen:1995:AAA, 30(8)156--165
-
Phillips, Reed, 25(10)299--302
-
Phillips, Reed, see DeNatale, Rick
-
Philosophers, 25(4)20--32
-
philosophy, 27(6)54--63, 28(3)53--68
-
Phish, 30(8)207--216
-
pHluid, 31(6)169--179
-
phrase-structure, 0(0)223--234
-
phrase-structures, 0(0)223--234
-
phrased, 28(6)68--77
-
PHYSICAL, 0(0)1--8, 0(0)9--11
-
physical, 27(9)137--148, 27(9)187--197, 29(11)171--182
-
physically, 30(8)39--47
-
pi, 29(5)41--48
-
Pi-Calculus, 32(12)36--z
-
pi-calculus, 0(0)242--255, 0(0)358--371, 32(12)36--46
-
pick, 25(5)95--102, 28(3)231--270
-
Pickett, 27(1)13--13
-
picture, 27(10)466--483, 28(6)13--25, 28(12)xi--z, 34(1)341--341
-
Picture/Image, 31(5)108--116
-
Pidgeon, Christopher, 30(10)333--336
-
Pidgeon, Christopher, see Gossain, Sanjiv
-
PIDL, 28(5)53--62
-
PIDLash, 28(5)55--62
-
piece, 0(0)1--12, 0(0)446--457, 27(7)116--127, 30(3)103--110,
34(9)36--47
-
Pienger, Nicholas, 0(0)104--109
-
Pienger:1996:PVI, 0(0)104--109
-
Pierce, Albert, 0(0)45--48
-
Pierce, Benjamin, 0(0)131--142, 0(0)186--197, 34(10)132--146
-
Pierce, Benjamin, see Harper, Robert,
see Hofmann, Martin,
see Igarashi, Atshushi
-
Pierce, Benjamin C., 0(0)151--162, 0(0)242--255, 0(0)252--265,
0(0)299--312, 0(0)305--315, 0(0)358--371, 0(0)408--408
-
Pierce, Benjamin C., see Castagna, Giusee,
see Kobayashi, Naoki
-
Pierce, Elizabeth, 0(0)45--48
-
Pierce, Elizabeth, see Pierce, Albert
-
Pierce:1991:AFE, 0(0)45--48
-
Pierce:1992:BQU, 0(0)305--315
-
Pierce:1993:OPR, 0(0)299--312
-
Pierce:1997:BEP, 0(0)242--255
-
Pierce:1998:LTI, 0(0)252--265
-
Piette, Mary Ann, 33(10)284--295
-
Piette, Mary Ann, see Olken, Frank
-
Piff, 27(4)10--10
-
pifigr, 0(0)13--24
-
pifogr, 0(0)13--24
-
Pike, Geoff, 0(0)z--99999999
-
Pike, Geoff, see Yelick, Kathy
-
Pina, X. Rousset de, 29(10)129--144
-
Pina, X. Rousset de, see Hagimont, Daniel
-
Pineo, Patricia Prather, 26(12)108--119
-
Pineo:1991:DPC, 26(12)108--119
-
Pingali, Keshav, 0(0)67--78, 0(0)355--366, 27(9)285--295, 28(1)9--12,
28(6)78--89, 29(6)171--185, 30(6)32--46, 31(5)291--300,
32(5)346--357
-
Pingali, Keshav, see Bilardi, Gianfranco,
see Jagadeesan, Radha,
see Johnson, Richard,
see Kodukula, Induprakas, \see{Li, Wei
-
Pingali:1991:DFG, 0(0)67--78
-
Pingali:1995:ADS, 30(6)32--46
-
Pinna-Dery, A. M., 30(10)265--280
-
Pinna-Dery, A. M., see Ducasse, S.
-
pinpoint, 29(6)1--12, 30(8)179--188
-
Pinter, Ron Y., 0(0)79--92
-
Pinter, Ron Y., see Pinter, Shlomit S.
-
Pinter, Shlomit S., 0(0)79--92, 28(6)248--257
-
Pinter:1991:POP, 0(0)79--92
-
Pinter:1993:RAI, 28(6)248--257
-
Pinto, R., 31(9)198--209
-
Pinto, R., see Bianchini, R.
-
pioneering, 0(0)29--42
-
pipeline, 0(0)280--286, 27(7)283--299, 28(6)258--267, 29(6)36--48,
29(6)196--205, 29(11)98--109, 29(11)242--251, 30(6)139--150,
30(8)134--143, 32(5)183--193, 33(11)170--179, 34(7)35--44
-
pipelined, 0(0)29--42, 0(0)343--354, 25(7)97--106, 26(6)219--228,
27(7)283--299, 27(7)322--330, 28(6)100--111, 30(6)139--150,
30(8)134--143, 33(11)252--261
-
pipelining, 0(0)29--42, 26(4)28--37, 26(6)219--228, 27(7)249--260,
27(7)283--299, 28(6)100--111, 28(6)290--299, 29(6)36--48,
29(11)98--109, 30(6)139--150, 30(6)196--204, 31(5)1--11
-
Pipes, 0(0)103--114, 28(1)80--80
-
Piquer, José, 0(0)39--50, see Lang, Bernard
-
Pirinen, Pekka P., 34(3)20--25
-
Pirinen:1999:BTI, 34(3)20--25
-
Pirklbauer, K., 25(5)82--90
-
Pirklbauer, K., see Dobler, H.
-
Pitas, 30(7)7--7
-
Pitman, 33(9)26--76
-
Pitman, K. M., 33(9)26--76
-
Pitman, K. M., see Adams IV, N. I.
-
Piumarta, Ian, 33(5)152--161, 33(5)291--300
-
Piumarta, Ian, see Fessant, Fabrice Le,
see Le Fessant, Fabrice
-
Piumarta:1998:ODT, 33(5)291--300
-
pivotal, 25(6)283--295
-
Pixie, 29(6)196--205
-
Pizza, 0(0)146--159
-
Plaat, Aske, 34(8)131--140, 34(8)173--182
-
Plaat, Aske, see Kielmann, Thilo,
see Maassen, Jason
-
place, 0(0)186--197, 25(6)66--77, 27(7)212--223, 28(3)149--175,
28(7)208--217, 29(6)36--48, 29(6)107--120
-
place, common-, 0(0)200--210
-
place, in-, 0(0)71--84, 29(11)86--97
-
placement, 0(0)59--70, 0(0)z--99999999, 26(4)190--199, 26(7)122--132,
27(7)224--234, 28(1)36--39, 28(7)139--148, 29(6)107--120,
29(9)51--55, 29(11)232--241, 30(6)47--55, 30(6)174--185,
30(6)258--269, 30(8)156--165, 32(7)136--144, 33(11)139--149,
34(3)37--48
-
Placer, John, 26(3)9--17, 27(2)65--74
-
Placer:1991:MRN, 26(3)9--17
-
Placer:1992:IDA, 27(2)65--74
-
placing, 0(0)62--73, 25(6)85--91, 30(6)47--55
-
plagiarized, 33(12)72--80, 34(2)1--1
-
Plains, 25(0)viii--351
-
PLAN, 34(1)86--93
-
Plank, J. S., 25(3)79--88
-
Plank, J. S., see Li, K.
-
planning, 30(11)108--116, 32(12)127--136
-
plans, 29(8)111--118
-
planting, 0(0)15--24
-
Plá{\v{s}}il, Franti{\v{s}}ek, 31(10)150--167,
see Kleindienst, Jan
-
Plasmeijer, Rinus, 34(6)23--31
-
Plasmeijer:1999:FPK, 34(6)23--31
-
Plasmeijer:1999:KIC, 34(6)23--31
-
Plat, Nico, 27(8)76--82
-
Plat:1992:OIV, 27(8)76--82
-
plate, boiler-, 0(0)472--492
-
platform, 0(0)259--271, 26(12)184--193, 28(7)198--207, 29(6)186--195,
30(8)80--91, 30(8)123--133, 31(9)150--159
-
Platform-dependent, 30(8)80--91
-
platform-independent, 28(7)208--217
-
Play, Plug-and-, 33(10)97--116
-
play, plug-and-, 33(10)97--116
-
played, 28(3)37--52, 29(8)35--45
-
Playford, Keith, 31(10)69--82
-
Playford, Keith, see Barrett, Kim
-
PLC, 30(11)31--40
-
PLDI, 29(0)360, 30(0)8--327, 31(0)viii--300, 31(7)2--z, 32(0)viii--365,
33(0)viii--357, 33(8)13--13, 33(9)16--16, 34(0)x--304
-
PLDI'90, 25(6)9--15, 25(6)16--27, 25(6)28--39, 25(6)40--52, 25(6)53--65,
25(6)66--77, 25(6)78--84, 25(6)85--91, 25(6)92--101, 25(6)102--111,
25(6)127--136, 25(6)137--149, 25(6)150--164, 25(6)165--173,
25(6)174--188, 25(6)189--196, 25(6)197--208, 25(6)209--222,
25(6)223--233, 25(6)234--245, 25(6)246--256, 25(6)257--271,
25(6)272--282, 25(6)283--295, 25(6)296--310, 25(6)311--321,
25(6)322--336, 25(6)337--351
-
PLDI'92, 27(7)1--11, 27(7)12--21, 27(7)22--31, 27(7)32--43, 27(7)44--54,
27(7)55--67, 27(7)68--81, 27(7)82--93, 27(7)94--105, 27(7)106--115,
27(7)116--127, 27(7)128--139, 27(7)140--151, 27(7)152--161,
27(7)162--174, 27(7)175--187, 27(7)188--199, 27(7)200--211,
27(7)212--223, 27(7)224--234, 27(7)235--248, 27(7)249--260,
27(7)261--272, 27(7)273--282, 27(7)283--299, 27(7)300--310,
27(7)311--321, 27(7)322--330, 27(7)331--340, 27(7)341--352
-
PLDI'93, 28(6)1--12, 28(6)13--25, 28(6)26--35, 28(6)36--45, 28(6)46--55,
28(6)56--67, 28(6)68--77, 28(6)78--89, 28(6)90--99, 28(6)100--111,
28(6)112--125, 28(6)126--138, 28(6)139--146, 28(6)147--155,
28(6)156--165, 28(6)166--176, 28(6)177--186, 28(6)187--196,
28(6)197--206, 28(6)207--216, 28(6)217--226, 28(6)227--236,
28(6)237--247, 28(6)248--257, 28(6)258--267, 28(6)268--277,
28(6)278--289, 28(6)290--299, 28(6)300--313
-
PLDI'94, 29(6)1--12, 29(6)13--23, 29(6)24--35, 29(6)36--48, 29(6)49--60,
29(6)61--72, 29(6)73--84, 29(6)85--96, 29(6)97--106, 29(6)107--120,
29(6)121--134, 29(6)135--146, 29(6)147--158, 29(6)159--170,
29(6)171--185, 29(6)186--195, 29(6)196--205, 29(6)206--217,
29(6)218--229, 29(6)230--241, 29(6)242--256, 29(6)257--265,
29(6)266--277, 29(6)278--289, 29(6)290--301, 29(6)302--312,
29(6)313--325, 29(6)326--336, 29(6)337--348, 29(6)349--360
-
PLDI'95, 30(6)1--12, 30(6)13--22, 30(6)23--31, 30(6)32--46, 30(6)47--55,
30(6)56--66, 30(6)67--78, 30(6)79--92, 30(6)93--102, 30(6)103--115,
30(6)116--129, 30(6)130--138, 30(6)139--150, 30(6)151--162,
30(6)163--173, 30(6)174--185, 30(6)186--195, 30(6)196--204,
30(6)205--217, 30(6)218--232, 30(6)233--245, 30(6)246--257,
30(6)258--269, 30(6)270--278, 30(6)279--290, 30(6)291--300,
30(6)301--314, 30(6)315--327
-
PLDI'96, 31(5)1--11, 31(5)12--22, 31(5)23--32, 31(5)33--43, 31(5)44--53,
31(5)54--67, 31(5)68--78, 31(5)79--88, 31(5)89--98, 31(5)99--107,
31(5)108--116, 31(5)117--126, 31(5)127--136, 31(5)137--148,
31(5)149--159, 31(5)160--170, 31(5)171--180, 31(5)181--192,
31(5)193--205, 31(5)206--214, 31(5)215--225, 31(5)226--236,
31(5)237--248, 31(5)249--257, 31(5)258--266, 31(5)267--277,
31(5)278--290, 31(5)291--300
-
PLDI'97, 32(5)1--6, 32(5)7--17, 32(5)18--30, 32(5)31--43, 32(5)44--56,
32(5)57--70, 32(5)71--84, 32(5)85--96, 32(5)97--108, 32(5)109--121,
32(5)122--133, 32(5)134--145, 32(5)146--158, 32(5)159--170,
32(5)171--182, 32(5)183--193, 32(5)194--205, 32(5)206--214,
32(5)215--225, 32(5)226--234, 32(5)235--248, 32(5)249--260,
32(5)261--272, 32(5)273--286, 32(5)287--295, 32(5)296--307,
32(5)308--319, 32(5)320--333, 32(5)334--345, 32(5)346--357,
32(5)358--365
-
PLDI'98, 33(5)1--14, 33(5)15--25, 33(5)26--37, 33(5)38--49, 33(5)50--59,
33(5)60--71, 33(5)72--84, 33(5)85--96, 33(5)97--105, 33(5)106--117,
33(5)118--129, 33(5)130--141, 33(5)142--151, 33(5)152--161,
33(5)162--173, 33(5)174--185, 33(5)186--198, 33(5)199--211,
33(5)212--223, 33(5)224--235, 33(5)236--248, 33(5)249--257,
33(5)258--268, 33(5)269--279, 33(5)280--290, 33(5)291--300,
33(5)301--312, 33(5)313--323, 33(5)324--332, 33(5)333--344,
33(5)345--357
-
PLDI'99, 34(5)1--12, 34(5)13--24, 34(5)25--36, 34(5)37--49, 34(5)50--63,
34(5)64--76, 34(5)77--90, 34(5)91--103, 34(5)104--117,
34(5)118--127, 34(5)128--138, 34(5)139--149, 34(5)150--154,
34(5)155--168, 34(5)169--180, 34(5)181--191, 34(5)192--203,
34(5)204--214, 34(5)215--228, 34(5)229--241, 34(5)242--246,
34(5)247--258, 34(5)259--269, 34(5)270--280, 34(5)281--292,
34(5)293--304, 34(5)z--99999999, 34(5)z--z
-
plea, 25(11)75--79, 26(2)41--50
-
pleasing, 0(0)221--232
-
Plevyak, John, 0(0)311--321, 29(10)324--340
-
Plevyak:1994:PCT, 29(10)324--340
-
Plevyak:1995:OSE, 0(0)311--321
-
Plexico, 26(5)25--26
-
Plezbert, Michael P., 0(0)120--131
-
Plezbert:1997:DQT, 0(0)120--131
-
PL/I, 28(3)355--356, 31(3)22--27
-
PL/I-FORMAC, 28(3)355--356
-
Ploeg, Evert, 30(11)134--145
-
Ploeg, Evert, see Bakkers, André
-
Plotkin, 0(0)83--94, 0(0)458--471
-
Plotkin, Gordon, 0(0)323--332
-
Plotkin, Gordon, see Abadi, Martin
-
Plouzeau, Noël, 28(12)32--42, see Hurfin, Michel
-
Plug-and-Play, 33(10)97--116
-
plug-and-play, 33(10)97--116
-
plus, 28(3)355--356
-
Pnueli, Amir, 0(0)221--232, 0(0)353--366
-
Pnueli, Amir, see Henzinger, Tom,
see Kleinman, Alon
-
Podgorelec, Vili, 34(6)84--88
-
Podgorelec, Vili, see Kokol, Peter
-
Poehlman, W. F. S., 31(4)39--42
-
Poehlman, W. F. S., see Rodriguez, Bradford J.,
see Rodriquez, Bradford J.
-
point, 0(0)62--73, 0(0)71--82, 0(0)409--420, 25(1)59--86, 25(6)92--101,
25(6)112--126, 25(10)312--321, 25(12)85--88, 26(4)28--37,
26(4)290--301, 26(6)219--228, 27(7)32--43, 27(7)224--234,
27(7)235--248, 27(9)223--233, 28(3)69--95, 28(6)68--77,
28(6)197--206, 29(6)1--12, 29(6)61--72, 29(6)121--134,
29(6)349--360, 29(8)59--73, 29(10)85--101, 29(11)12--24,
29(11)98--109, 29(11)122--131, 29(11)208--218, 31(1)9--11,
31(3)6--7, 33(9)103--107
-
point, fix-, 0(0)95--104
-
point, fixed-, 0(0)83--94, 25(6)112--126
-
Point, Floating-, 0(0)z--99999999, 25(6)92--101, 25(6)112--126,
26(4)28--37, 31(5)108--116, 32(3)57--64, 33(5)118--129
-
point, Floating-, 27(5)z--z, 28(8)90--98
-
point, floating-, 25(0)viii--351, 25(6)112--126, 26(6)145--156,
27(5)z--z, 28(8)90--98, 29(6)186--195, 31(5)108--116,
33(11)252--261
-
Point-extent, 32(11)17--20
-
point-specific, Program-, 28(6)56--67
-
point-specific, program-, 28(6)56--67
-
Pointash, 31(3)5--5
-
pointed, 31(6)102--109
-
Pointer-Based, 29(6)218--229, 29(8)59--73
-
pointer-based, 29(0)360, 29(6)218--229, 29(8)59--73, 32(7)37--47
-
Pointer-Induced, 28(9)67--70
-
pointer-induced, 0(0)93--103, 0(0)232--245
-
pointer-intensive, 30(6)13--22
-
pointing, 28(3)69--95
-
points, end-, 29(10)85--101
-
points-to, 0(0)1--14, 0(0)32--41, 29(6)242--256, 30(3)62--70,
30(6)13--22
-
polarizing, 0(0)213--226
-
Poletto, Massimiliano, 32(5)109--121
-
Poletto:1997:TSF, 32(5)109--121
-
policy, 0(0)228--241, 26(4)212--221, 27(7)44--54, 28(7)198--207,
29(11)12--24, 29(11)158--170, 29(11)208--218, 30(6)301--314
-
politicking, 28(3)97--132
-
polling, 30(8)217--226
-
Pollock, Lori, 32(6)1--z
-
Pollock, Lori L., 29(6)266--277
-
Pollock, Lori L., see Norris, Cindy
-
Pollock:1997:SDF, 32(6)1--z
-
Polo, A., 28(4)11--20
-
Polo, A., see Hernández, J.
-
polyadic, 0(0)429--438
-
Polycyclic, 26(4)154--163
-
polyhedra, 26(7)39--50, 28(6)126--138
-
polymorphic, 0(0)15--28, 0(0)35--47, 0(0)49--54, 0(0)84--97, 0(0)99--112,
0(0)118--129, 0(0)130--141, 0(0)154--165, 0(0)157--170,
0(0)177--188, 0(0)188--201, 0(0)200--210, 0(0)209--221,
0(0)220--231, 0(0)242--255, 0(0)281--292, 0(0)291--302,
0(0)293--304, 0(0)302--315, 0(0)465--478, 24(3)34--39, 25(6)85--91,
25(6)127--136, 26(9)285--296, 27(5)z--z, 29(1)20--26, 29(6)24--35,
29(10)31--45, 29(10)153--163, 30(4)39--44, 30(10)169--184,
32(12)22--35, 32(12)22--z, 34(1)216--227
-
polymorphically, 0(0)188--201, 0(0)213--226, 26(9)142--153
-
polymorphism, 0(0)viii--510, 0(0)1--11, 0(0)15--28, 0(0)29--42,
0(0)49--61, 0(0)57--69, 0(0)70--78, 0(0)85--97, 0(0)118--129,
0(0)130--141, 0(0)155--156, 0(0)157--170, 0(0)171--184,
0(0)206--219, 0(0)209--221, 0(0)214--227, 0(0)220--231,
0(0)252--265, 0(0)266--278, 0(0)279--288, 0(0)281--292,
0(0)289--302, 0(0)313--324, 0(0)316--327, 0(0)397--408,
0(0)409--418, 0(0)483--496, 25(6)165--173, 27(6)76--79,
28(6)227--236, 29(5)37--40, 29(8)22--34, 30(10)156--168,
32(6)61--68, 33(10)216--225, 33(10)388--411, 34(1)301--312,
34(9)160--171, 34(10)167--186
-
polynomial, 0(0)49--61, 0(0)270--280, 0(0)293--304, 26(12)97--107,
28(7)129--138, 29(4)23--30, 29(6)121--134, 33(3)24--35
-
polynomial-time, 0(0)176--185, 0(0)247--258, 29(10)1--15
-
PolyP, 0(0)470--482
-
polytypic, 0(0)470--482
-
polyvariant, 0(0)197--208, 32(8)1--10
-
Pompe, Lance, 33(11)105--114
-
Pompe, Lance, see Machanick, Philip
-
Ponder, Carl, 27(6)76--79
-
Ponder:1992:PCH, 27(6)76--79
-
Ponnusamy, Ravi, 28(1)52--55
-
Ponnusamy:1993:EDM, 28(1)52--55
-
Pontelli, Enrico, 33(2)15--17, 33(8)16--16
-
Pontelli:1998:PIT, 33(2)15--17
-
Pontelli:1998:PSI, 33(8)16--16
-
pool, 29(9)68--71
-
Pool, Robert, 27(12)28--28
-
Pool:1992:DTD, 27(12)28--28
-
poor, 0(0)1--14, 25(6)150--164, 28(6)177--186, 29(6)206--217,
29(11)145--156, 29(11)274--285, 29(12)72--72, 30(1)37--44
-
poorly, 0(0)1--14, 29(11)12--24
-
pop, 29(5)27--30
-
POPL, 0(0)vii--408, 0(0)viii--324, 0(0)viii--408, 0(0)viii--423,
0(0)viii--492, 0(0)viii--497, 0(0)0--0, 0(0)99999999, 0(0)z,
27(4)87--89, 34(6)13--13
-
POPL99, 33(6)15--15
-
popular, 0(0)z--99999999, 28(3)345--346, 29(11)242--251, 30(11)88--98,
32(1)115--116, 34(6)82--83, 34(12)35--36
-
popularity, 0(0)311--321
-
port, 0(0)326--338, 30(8)19--28
-
portability, 0(0)27--31, 25(5)53--59, 25(6)209--222, 27(7)116--127,
28(7)102--111, 28(7)179--186, 29(7)15--20, 29(11)132--144,
29(11)196--207, 29(11)297--306, 30(3)103--110, 30(3)111--118,
32(2)45--53, 32(7)217--229
-
portable, 0(0)57--62, 0(0)70--83, 25(1)59--86, 26(1)109--120,
26(4)86--95, 26(12)184--193, 28(3)1--35, 28(3)347--348, 28(6)26--35,
28(7)1--12, 28(7)102--111, 28(7)179--186, 28(7)198--207,
28(7)208--217, 28(9)39--46, 28(10)91--108, 28(12)96--106,
29(6)73--84, 30(3)111--118, 30(8)11--18, 30(8)80--91, 30(8)102--111,
30(8)123--133, 31(4)20--27, 31(5)79--88, 31(7)19--24, 31(8)52--59,
31(10)18--29, 34(3)146--153
-
portably, 30(8)11--18
-
ported, 28(7)198--207, 29(11)196--207
-
Porterfield, Allan, 26(4)40--52
-
Porterfield, Allan, see Callahan, David
-
Portia, 26(11)62--74
-
Porting, 31(8)64--73, 31(11)66--73
-
portion, 27(7)82--93, 28(7)239--248, 28(12)169--186, 30(11)41--49,
30(11)99--107, 30(11)125--133
-
Portland, 0(0)viii--492, 29(0)138, 29(0)453
-
portrayals, 28(12)64--74
-
posed, 0(0)272--285, 27(7)273--282
-
position, 0(0)35--47, 25(6)16--27, 25(6)112--126, 27(10)88--88,
28(3)69--95, 28(3)361--362, 29(6)230--241, 29(8)111--118,
32(1)59--65, 32(1)110--114
-
positioning, 25(0)viii--351, 25(6)16--27, 30(6)56--66
-
positive, 0(0)186--197, 25(6)85--91, 29(6)1--12
-
positively, 30(8)179--188
-
possesses, 0(0)85--94, 0(0)166--176
-
possibility, 0(0)85--98, 0(0)348--360, 29(11)25--35
-
possible, 0(0)39--50, 0(0)157--170, 0(0)171--184, 0(0)176--185,
0(0)235--245, 0(0)247--258, 0(0)254--267, 0(0)384--396,
0(0)435--445, 25(4)73--82, 25(6)78--84, 25(6)150--164, 27(7)32--43,
27(7)106--115, 27(7)116--127, 27(7)235--248, 28(3)69--95,
28(3)347--348, 28(3)361--362, 28(3)363--364, 28(6)100--111,
28(7)83--91, 29(6)49--60, 29(6)186--195, 29(8)46--58,
29(11)171--182, 30(3)94--102, 30(4)13--20, 30(6)93--102,
30(6)103--115, 30(6)174--185, 30(6)315--327, 30(8)134--143
-
possibly, 0(0)16--28, 0(0)70--83, 0(0)345--358, 28(6)177--186,
30(8)92--101
-
possibly-uninitialized, 0(0)49--61
-
Post, 27(7)22--31, 30(6)196--204
-
post-dominator, 30(6)32--46
-
post-dominators, 0(0)246--257
-
post-wait, 30(6)196--204
-
postcondition, 0(0)98--108
-
poster, 32(8)308--308, 32(8)309--309, 32(8)311--311, 32(8)312--312,
32(8)313--313, 32(8)314--314, 32(8)315--315, 32(8)316--316,
32(8)317--317, 32(8)318--318, 32(8)319--319, 32(8)320--320,
32(8)321--321, 32(8)322--322, 32(8)323--323, 34(1)338--338
-
Postponement, 0(0)57--70
-
PostScript, 27(7)22--31, 32(4)27--31, 33(3)24--35
-
postulates, 28(6)166--176
-
potential, 0(0)62--73, 0(0)227--239, 0(0)334--344, 25(6)102--111,
28(3)69--95, 28(6)46--55, 28(6)207--216, 29(6)302--312, 29(11)2--11,
29(11)219--229, 30(6)13--22, 33(7)27--34, 33(7)51--58, 33(7)83--90
-
potentially, 0(0)198--208, 0(0)326--338, 29(6)107--120, 29(6)349--360,
30(3)50--61
-
Potter, John M., 33(10)48--64
-
Potter, John M., see Clarke, David G.
-
Pottier, François, 31(6)122--133, 34(1)228--238
-
Pottier:1996:SSC, 31(6)122--133
-
Pottier:1999:FTI, 34(1)228--238
-
Potts, Peter John, 34(1)185--194
-
Potts, Peter John, see Edalat, Abbas
-
Poulsen, 0(0)213--226
-
Pouzet, Marc, 31(6)226--238
-
Pouzet, Marc, see Caspi, Paul
-
POWER, 29(6)36--48
-
power, 0(0)37--48, 0(0)107--117, 0(0)109--122, 0(0)130--141,
0(0)163--173, 0(0)185--195, 0(0)186--197, 0(0)256--265,
0(0)311--321, 0(0)333--343, 0(0)375--388, 25(4)73--82,
25(6)209--222, 27(9)285--295, 28(3)367--368, 28(7)179--186,
29(1)13--19, 29(11)171--182, 30(6)233--245, 30(8)144--155,
30(8)207--216
-
PowerEpsilon, 29(1)20--26
-
powerful, 0(0)84--97, 0(0)124--136, 0(0)130--141, 0(0)163--173,
0(0)202--212, 0(0)221--232, 0(0)235--245, 0(0)259--271,
0(0)297--310, 0(0)322--332, 27(7)116--127, 27(7)212--223,
28(3)231--270, 28(6)26--35, 28(6)147--155, 28(6)156--165,
28(7)23--32, 28(7)33--43, 28(7)112--118, 29(6)13--23, 29(6)147--158,
30(3)83--93, 30(6)233--245
-
powerloop, 25(4)73--82
-
PowerPC, 29(12)73--77, 31(8)64--73
-
PowerPCs, 31(8)52--59
-
Pozo, Roldan, 0(0)z--99999999
-
Pozo, Roldan, see Boisvert, Ronald F.
-
pp, 24(3)34--39, 27(8)14--14, 29(6)159--170, 34(12)72--72
-
PPOPP, 25(0)viii--206, 26(0)ii--223, 28(0)ix--259, 28(0)0--0
-
PPoPP, 30(0)viii--226, 31(8)32--33
-
PPOPP'99, 34(0)99999999
-
practical, 0(0)74--84, 0(0)95--104, 0(0)123--137, 0(0)184--194,
0(0)196--205, 0(0)198--208, 0(0)211--222, 0(0)214--227,
0(0)220--231, 0(0)221--232, 0(0)228--241, 0(0)232--245,
0(0)258--268, 0(0)328--342, 0(0)379--392, 26(6)15--29, 26(11)1--15,
27(7)32--43, 27(7)273--282, 28(3)209--230, 28(3)271--297,
28(6)1--12, 28(6)68--77, 28(6)227--236, 29(6)337--348, 29(9)77--80,
29(11)208--218, 30(6)116--129, 30(8)134--143, 30(8)156--165,
30(11)20--30, 30(12)4--8, 31(5)117--126, 32(8)136--149,
32(10)318--326, 33(3)57--64, 33(10)388--411, 33(12)20--24,
34(2)26--31, 34(4)19--24, 34(6)18--22, 34(6)z--99999999,
34(10)292--305, 34(12)18--23
-
practicality, 0(0)163--173, 0(0)343--354, 26(6)219--228, 28(6)56--67,
29(11)110--119
-
practice, 0(0)2--15, 0(0)123--137, 0(0)146--159, 0(0)166--176,
0(0)213--226, 0(0)272--285, 0(0)99999999, 25(0)viii--206,
25(6)174--188, 26(0)ii--223, 27(7)224--234, 27(12)57--60,
28(0)ix--259, 28(0)0--0, 28(3)361--362, 28(6)1--12, 28(6)90--99,
28(7)44--53, 29(6)1--12, 29(6)159--170, 29(6)230--241, 29(8)46--58,
29(12)72--72, 30(0)viii--226, 30(3)111--118, 30(6)23--31,
30(6)67--78, 30(6)218--232, 30(8)48--57, 30(8)102--111,
30(10)337--341, 30(11)41--49, 30(11)60--69, 33(10)45--47,
34(0)99999999
-
Practitioners, 27(10)452--465
-
pragmatic, 0(0)348--360, 29(8)46--58, 30(9)9--16, 34(1)216--227
-
Prasanna, G. N. Srinivasa, 32(7)180--192
-
Prasanna:1997:CPM, 32(7)180--192
-
Prasun, 30(4)12--12
-
Prather, Ronald E., 25(4)43--50, 27(6)54--63, 33(3)38--56
-
Prather:1990:PCP, 25(4)43--50
-
Prather:1992:SC, 27(6)54--63
-
Prather:1998:MMP, 33(3)38--56
-
Pratt, Terrence W., 28(1)5--8
-
Pratt, Vaughn, 0(0)311--322
-
Pratt:1991:MCG, 0(0)311--322
-
Pratt:1993:KCP, 28(1)5--8
-
PRE, 30(6)246--257, 30(6)258--269
-
pre-compiled, 29(6)49--60
-
pre-emption, 0(0)272--285
-
Pre-Forth, 33(3)21--23
-
pre-Forth, 33(3)21--23
-
pre-major, 29(2)44--48
-
Pre-Processor, 34(12)72--72
-
Pre-processor, 33(12)44--51
-
pre-SIGPLAN, 25(6)112--126
-
precedes, 27(7)300--310
-
precise, 0(0)2--15, 0(0)37--48, 0(0)49--61, 0(0)85--98, 0(0)95--104,
0(0)99--112, 0(0)124--136, 0(0)232--245, 0(0)333--343, 0(0)355--366,
27(7)235--248, 28(6)36--45, 28(6)56--67, 29(6)73--84, 29(6)196--205,
29(6)230--241, 29(10)324--340, 30(6)93--102, 33(7)35--42,
33(11)228--239
-
precisely, 0(0)49--61
-
precision, 0(0)232--245, 0(0)379--392, 0(0)451--464, 25(6)16--27,
25(6)92--101, 25(6)102--111, 27(5)z--z, 27(7)235--248, 29(6)73--84,
29(6)230--241, 29(10)324--340, 30(6)13--22, 30(6)93--102,
30(8)144--155, 30(11)41--49, 33(7)51--58
-
precision, Double-, 26(4)290--301
-
precision, double-, 26(4)290--301
-
precision, Higher-, 25(6)92--101
-
precision, higher-, 25(6)92--101
-
precision, Multiple-, 25(6)92--101
-
precision, multiple-, 25(6)92--101
-
precision, Single-, 27(1)95--98
-
precision, single-, 27(1)95--98
-
Precision, Type-, 33(5)269--279
-
precludes, 25(6)150--164
-
preconditioned, 28(7)187--192, 28(7)187--197
-
preconditions, 26(10)13--18
-
predecessors, 25(6)9--15, 27(7)212--223, 28(3)69--95
-
predefined, 30(8)19--28
-
predicate, 0(0)83--94, 0(0)451--464, 25(6)165--173, 26(12)167--174,
28(6)290--299, 28(12)21--31, 28(12)32--42, 28(12)140--150,
29(5)7--16, 29(6)337--348, 29(7)61--67
-
predicated, 34(8)84--95, 34(10)238--255
-
predict, 0(0)84--97, 0(0)397--408, 28(6)187--196, 28(6)300--313,
29(6)73--84, 30(3)94--102, 30(6)67--78, 30(6)79--92, 30(8)134--143
-
predictability, 0(0)220--231, 30(11)125--133
-
predictable, 30(11)125--133, 32(3)57--64
-
predicted, 30(8)80--91
-
predicting, 26(6)59--70, 27(9)85--95, 28(6)187--196, 28(6)300--313,
29(6)85--96, 30(6)79--92, 30(11)1--6, 32(4)19--21
-
prediction, 0(0)38--48, 0(0)397--408, 25(3)109--117, 27(9)76--84,
28(6)187--196, 28(6)300--313, 29(6)73--84, 29(6)97--106,
29(6)196--205, 29(11)122--131, 29(11)132--144, 29(11)232--241,
29(11)242--251, 30(0)8--327, 30(6)67--78, 30(6)79--92,
30(10)108--123, 30(11)1--6, 31(9)128--137, 31(9)138--147,
31(10)83--100, 33(11)170--179, 34(7)35--44, 34(8)151--162
-
Predictive, 34(8)141--150
-
predictor, 28(6)187--196, 28(6)300--313, 29(11)145--156, 30(6)79--92,
31(9)116--127
-
predomains, 0(0)25--36
-
Pree, Wolfgang, 6(4)100--104
-
Pree, Wolfgang, see Gangopadhyay, Dipayan
-
preemptive, 30(11)7--19, 30(11)125--133
-
preemptively, non-, 30(11)125--133
-
prefecture, 31(8)28--30
-
Prefecturem, 31(8)28--30
-
preference, 0(0)297--310, 30(8)156--165
-
preferred, 28(3)343--344
-
prefetch, 0(0)397--408
-
prefetching, 0(0)397--408, 26(4)40--52, 27(9)51--61, 27(9)62--73,
27(9)274--284, 29(10)191--204, 29(11)98--109, 29(11)219--229,
31(9)222--233, 33(11)115--126, 34(10)276--291
-
prefix, 0(0)348--360, 25(5)34--38, 26(7)1--10, 29(6)135--146,
34(4)54--60
-
prefixing, 0(0)348--360
-
Prehofer, Christian, 0(0)409--418
-
Prehofer, Christian, see Nipkow, Tobias
-
preliminary, 0(0)49--61, 0(0)339--347, 0(0)389--396, 25(6)102--111,
25(6)209--222, 25(12)93--100, 26(1)77--84, 27(7)235--248,
27(10)178--183, 28(3)37--52, 28(6)56--67, 28(8)117--124,
29(2)44--48, 30(2)59--64, 30(8)48--57, 30(11)88--98, 33(7)27--34,
33(8)13--13, 33(10)329--340
-
premature, 29(3)23--27, 29(6)73--84
-
premise, 27(7)1--11
-
preparing, 29(1)53--53
-
Preprints, 28(0)xii--370, 28(0)0--0
-
preprocessing, 28(7)149--158, 30(6)258--269
-
preprocessor, 28(1)76--79, 28(6)156--165, 29(1)46--52, 29(1)53--53,
30(11)134--145
-
Presburger, 0(0)95--106, 27(7)140--151, 29(0)360, 29(6)121--134
-
prescribing, 0(0)107--117
-
Prescriptive, 32(12)193--202, 32(12)193--z
-
presence, 0(0)35--47, 0(0)176--185, 0(0)210--217, 0(0)232--245,
0(0)419--428, 0(0)446--457, 25(6)66--77, 27(7)235--248,
27(7)273--282, 27(7)283--299, 28(7)64--72, 29(6)135--146,
29(6)218--229, 29(6)242--256, 29(11)183--193, 30(3)62--70,
30(6)13--22, 30(6)139--150, 30(8)58--67, 30(10)200--214,
30(11)88--98, 31(5)99--107
-
PRESENTATION, 0(0)57--69, 0(0)132--145, 30(11)99--107, 33(11)193--204,
33(11)252--261
-
presentation, 0(0)83--94, 0(0)197--209, 0(0)344--354, 27(7)311--321
-
presented, 0(0)vii--408, 0(0)viii--366, 0(0)viii--408, 0(0)viii--423,
0(0)viii--492, 0(0)viii--497, 0(0)viii--510, 0(0)51--58, 0(0)74--84,
0(0)95--104, 0(0)246--257, 0(0)348--360, 0(0)361--374, 24(3)34--39,
25(6)28--39, 25(6)102--111, 25(6)112--126, 25(6)127--136,
27(7)12--21, 27(7)235--248, 27(7)341--352, 28(6)290--299,
28(7)23--32, 28(7)218--228, 28(7)229--238, 29(6)36--48,
29(6)147--158, 29(6)196--205, 29(8)94--100, 29(11)145--156,
30(8)134--143, 30(8)156--165, 30(11)41--49, 30(11)60--69,
30(11)88--98
-
presenting, 0(0)107--117, 0(0)185--195, 0(0)429--438, 27(7)249--260
-
presently, 30(11)31--40
-
preserve, 0(0)48--59, 0(0)119--129, 0(0)221--232, 0(0)247--258,
0(0)260--272, 25(6)296--310, 27(7)200--211, 28(6)248--257,
29(6)73--84, 29(11)25--35, 31(5)12--22, 33(10)134--143
-
preserved, 0(0)43--56, 0(0)272--285
-
preserving, 0(0)105--118, 0(0)221--232, 25(6)197--208, 26(9)274--284,
30(6)246--257
-
preserving'', ``relation-, 0(0)171--184
-
preserving, equivalence-, 0(0)221--232
-
preserving, Object-, 26(11)299--313
-
preserving, Semantics-, 30(3)50--61
-
preserving, semantics-, 30(3)50--61
-
preserving, structure-, 0(0)124--136
-
preserving, type-, 0(0)206--219
-
press, 25(9)7--9, 27(1)13--13, 27(1)14--14, 27(2)9--9, 27(2)10--11,
27(4)10--10, 27(8)14--14, 27(11)11--11, 28(3)69--95, 31(8)4--4
-
pressure, 27(7)224--234, 28(6)258--267
-
presumably, 30(6)246--257
-
Pretenuring, 33(5)162--173
-
Pretty, 32(2)39--44
-
prevent, 27(7)140--151, 30(6)103--115
-
preventing, 30(6)93--102
-
previous, 0(0)51--58, 0(0)59--70, 0(0)123--137, 0(0)176--185,
0(0)259--271, 0(0)458--471, 0(0)465--478, 25(6)28--39,
25(6)322--336, 26(6)145--156, 27(7)44--54, 27(7)116--127,
27(9)85--95, 27(9)248--259, 28(3)69--95, 28(6)56--67, 28(7)129--138,
29(6)186--195, 29(6)278--289, 29(11)25--35, 29(11)263--272,
30(3)1--12, 30(6)23--31, 30(6)47--55, 30(6)67--78, 30(6)93--102,
30(6)279--290, 30(6)301--314, 30(8)68--79, 30(8)102--111
-
previously, 0(0)51--58, 26(6)219--228, 27(7)200--211, 27(7)331--340,
28(6)197--206, 28(7)64--72, 29(6)97--106, 29(11)76--85,
29(11)208--218, 29(11)286--296, 29(11)297--306, 30(4)13--20,
30(6)270--278
-
price, 26(6)80--91, 29(6)349--360, 32(5)215--225
-
Price, Margaretha W., 32(10)22--33
-
Price:1997:AMR, 32(10)22--33
-
Prieto, Maximo, 31(12)18--21
-
Prieto, Maximo, see Sharp, Helen
-
primarily, 28(3)53--68, 28(3)345--346, 28(3)349--350, 28(3)361--362,
29(11)86--97, 30(8)48--57, 30(8)217--226
-
primary, 0(0)37--48, 25(6)16--27, 29(1)37--45, 29(6)337--348,
29(8)13--21, 29(11)242--251
-
prime, 6(4)155--158, 30(6)246--257
-
primitive, 0(0)13--24, 0(0)27--38, 0(0)67--78, 0(0)70--83, 0(0)71--84,
0(0)84--97, 0(0)99--112, 0(0)104--118, 0(0)119--129, 0(0)124--136,
0(0)130--141, 0(0)134--148, 0(0)163--173, 0(0)174--184,
0(0)185--196, 0(0)206--219, 0(0)222--236, 0(0)233--244,
0(0)237--251, 0(0)260--272, 0(0)273--284, 0(0)313--324,
0(0)326--338, 0(0)329--341, 0(0)371--383, 0(0)393--407,
0(0)419--428, 25(5)29--33, 25(6)66--77, 25(6)337--351, 26(4)96--107,
26(6)241--255, 26(11)230--246, 27(5)z--z, 27(7)12--21,
28(3)363--364, 28(6)78--89, 28(6)139--146, 28(6)147--155,
28(7)129--138, 28(7)229--238, 29(6)171--185, 29(6)266--277,
29(6)302--312, 30(6)32--46, 30(6)47--55, 30(6)56--66, 30(6)130--138,
30(6)205--217, 30(6)291--300, 30(8)11--18, 30(8)123--133,
30(8)217--226, 30(11)31--40, 31(5)99--107, 32(6)23--27, 32(6)23--z,
32(7)112--123, 32(7)112--z, 33(5)1--14, 33(5)72--84, 33(5)85--96,
33(5)97--105, 33(5)174--185
-
principal, 0(0)35--47, 0(0)42--53, 0(0)154--165, 0(0)176--185,
0(0)189--199, 0(0)409--418, 25(6)9--15, 34(9)197--207
-
Principality, 0(0)161--174
-
principle, 0(0)vii--408, 0(0)viii--324, 0(0)viii--366, 0(0)viii--408,
0(0)viii--423, 0(0)viii--492, 0(0)viii--497, 0(0)viii--510,
0(0)0--0, 0(0)1--12, 0(0)83--94, 0(0)171--184, 0(0)268--279,
0(0)313--324, 0(0)320--328, 0(0)428--441, 0(0)99999999, 0(0)z,
25(0)viii--206, 25(6)165--173, 26(0)ii--223, 28(0)ix--259,
28(0)0--0, 28(3)97--132, 28(3)367--368, 28(8)67--76, 29(10)51--64,
30(0)viii--226, 30(11)108--116, 30(11)117--123, 31(4)18--18,
34(0)99999999, 34(6)13--13
-
PRINCIPLES, 28(3)97--132, 30(11)99--107
-
Prins, Jan F., 28(7)119--128
-
Prins:1993:THD, 28(7)119--128
-
Prins:1993:THL, 28(7)119--128
-
Print, 25(6)112--126
-
printed, 32(10)345--345
-
printer, 0(0)472--492
-
printing, 28(3)69--95, 31(5)108--116, 32(2)39--44
-
prints, 25(6)112--126
-
prior, 0(0)1--14, 0(0)371--383, 28(6)46--55, 29(6)206--217
-
priori, 29(6)61--72
-
priority, 29(10)453--467, 30(11)7--19
-
Priority-Based, 31(7)25--29
-
Privacy, 0(0)228--241
-
private, 28(7)13--22, 30(6)218--232
-
privatization, 0(0)2--15, 28(1)64--67, 30(6)218--232, 32(7)157--167
-
prize, 30(8)207--216
-
probabilistic, 27(7)300--310, 31(6)190--200, 32(5)97--108
-
PROBABILITY, 0(0)189--202, 33(11)127--138
-
probability, 27(7)300--310, 29(6)186--195, 30(6)67--78, 30(6)79--92
-
probable, 0(0)49--61
-
probationary, 27(9)238--247
-
PROBLEM, 0(0)49--61, 0(0)59--70, 0(0)62--73, 0(0)67--79, 0(0)134--148,
0(0)196--205, 0(0)208--218, 0(0)209--220, 0(0)246--257,
0(0)259--271, 0(0)270--280, 0(0)273--284, 0(0)291--302,
0(0)311--322, 0(0)329--340, 0(0)344--354, 0(0)382--401,
0(0)384--396, 0(0)393--407, 0(0)397--408, 25(6)40--52, 25(6)66--77,
25(6)92--101, 25(6)102--111, 25(6)112--126, 25(6)137--149,
25(6)150--164, 25(6)234--245, 25(6)272--282, 25(6)322--336,
25(6)337--351, 26(6)30--44, 26(6)130--144, 26(6)192--203,
26(6)204--218, 26(6)241--255, 26(6)256--267, 27(7)140--151,
27(9)98--110, 27(9)238--247, 28(3)363--364, 28(6)78--89,
28(6)268--277, 28(6)278--289, 28(6)290--299, 29(6)61--72,
29(6)85--96, 29(6)97--106, 29(6)121--134, 29(6)171--185,
29(6)218--229, 29(6)302--312, 30(6)32--46, 30(6)47--55, 30(6)56--66,
30(6)139--150, 30(6)186--195, 30(6)246--257, 30(6)279--290,
30(11)7--19, 30(11)60--69, 30(11)134--145, 31(5)108--116,
31(5)193--205, 31(9)60--71, 32(5)194--205, 32(5)334--345,
33(5)72--84, 33(5)85--96, 33(5)142--151, 33(11)24--33,
33(11)262--271, 33(11)272--281
-
Problem-Oriented, 30(10)399--413
-
problem-oriented, 30(10)399--413, 34(10)57--69
-
problem-size, 30(6)279--290
-
Probst, Mark, 0(0)z--99999999
-
Probst, Mark, see Krall, Andreas
-
Proc, 24(3)34--39, 28(7)198--207
-
procedural, 28(3)343--344, 28(3)349--350, 28(6)139--146
-
procedural, inter-, 29(6)85--96, 29(6)230--241
-
procedural, intra-, 29(6)85--96, 29(11)286--296
-
procedural/concurrency, 0(0)130--141
-
procedure-call, 0(0)298--310
-
procedure-calling, 0(0)435--445
-
proceed, 0(0)84--97, 0(0)240--253, 28(3)333--342, 29(6)36--48
-
proces, 0(0)260--272
-
process, generate-and-, 25(6)189--196
-
process, Inter-, 30(11)134--145
-
process, inter-, 29(6)196--205
-
process, per-, 30(8)179--188
-
processer, 30(8)179--188
-
processing, 0(0)14--24, 0(0)235--245, 0(0)z--99999999, 25(0)viii--351,
25(4)51--58, 25(6)66--77, 25(6)189--196, 25(6)209--222,
25(6)223--233, 25(6)272--282, 25(6)296--310, 25(6)311--321,
25(6)322--336, 25(7)11--18, 27(7)55--67, 27(7)94--105,
27(7)188--199, 27(7)200--211, 27(7)249--260, 27(7)283--299,
27(11)59--66, 27(11)77--84, 28(3)37--52, 28(3)359--360,
28(6)100--111, 28(7)179--186, 28(10)364--364, 29(0)453, 29(1)9--12,
29(1)53--53, 29(1)54--65, 29(2)13--18, 29(3)12--17, 29(3)23--27,
29(4)41--48, 29(5)31--36, 29(5)41--48, 29(8)119--128, 29(9)51--55,
29(9)105--114, 29(10)301--301, 29(10)388--402, 29(11)12--24,
29(11)242--251, 29(12)66--71, 29(12)87--93, 30(6)186--195,
30(7)7--7, 30(8)123--133, 30(8)134--143, 30(11)60--69,
31(9)234--243, 33(11)252--261, 33(11)307--318, 33(12)33--33,
34(6)14--14
-
PROCESSOR, 0(0)1--1, 0(0)270--280, 25(6)28--39, 26(6)229--240,
27(7)94--105, 27(7)188--199, 27(9)76--84, 27(9)85--95,
27(9)111--122, 27(9)149--160, 27(9)162--174, 27(9)175--186,
27(9)213--222, 27(9)262--273, 27(9)274--284, 27(9)285--295,
28(6)68--77, 28(6)112--125, 28(6)258--267, 29(6)36--48,
29(11)25--35, 29(11)38--50, 29(11)51--60, 29(11)61--73,
29(11)98--109, 29(11)196--207, 29(11)219--229, 29(11)232--241,
29(11)242--251, 29(11)252--262, 29(11)274--285, 30(6)79--92,
31(9)2--11, 31(9)12--23, 31(9)26--36, 31(9)37--48, 31(9)50--59,
31(9)210--220, 31(9)279--289, 32(5)183--193, 32(5)334--345,
33(11)58--69, 33(11)159--169, 33(11)170--179, 33(11)181--192,
33(11)283--294
-
Processor'', Pre-, 34(12)72--72
-
processor, Inter-, 30(8)179--188
-
processor, inter-, 30(8)179--188
-
processor, multi-, 27(9)274--284, 29(6)313--325
-
processor, Per-, 28(7)249--259
-
processor, Pre-, 33(12)44--51
-
processor-network, 27(9)111--122
-
processor-the, 30(11)88--98
-
processors**, 0(0)1--1, 27(7)94--105, 27(9)285--295, 28(6)68--77,
28(6)112--125, 29(11)51--60, 29(11)61--73, 29(11)98--109,
29(11)196--207, 31(9)26--36, 31(9)37--48, 31(9)50--59,
32(5)183--193, 33(11)170--179
-
Processors, DSP-, 34(7)20--27
-
produce, 0(0)59--70, 0(0)130--141, 0(0)285--298, 0(0)297--310,
0(0)311--325, 25(6)85--91, 27(7)94--105, 27(7)152--161,
27(7)331--340, 27(7)341--352, 27(12)28--28, 28(3)299--331,
28(3)359--360, 28(6)90--99, 28(6)126--138, 28(6)156--165,
28(6)237--247, 28(7)83--91, 29(6)1--12, 29(6)36--48, 29(6)85--96,
29(6)349--360, 29(8)59--73, 30(3)111--118, 30(3)119--128,
30(4)29--35, 30(6)67--78, 30(6)270--278, 30(11)70--78, 33(4)44--52,
33(11)252--261
-
produced, 0(0)213--226, 0(0)409--420, 25(6)85--91, 25(6)112--126,
25(6)165--173, 27(7)94--105, 27(7)273--282, 28(3)97--132,
28(3)177--199, 28(3)231--270, 28(3)299--331, 29(8)1--12,
29(11)61--73, 30(3)13--22, 30(3)119--128, 30(11)1--6
-
producer, 29(3)33--35, 30(3)62--70, 30(3)103--110
-
producer-consumer, 29(6)107--120, 30(11)50--59
-
Producer/Consumer, 25(4)20--32
-
producer/installer, 30(3)103--110
-
producing, 0(0)166--176, 25(6)85--91, 28(3)37--52, 30(6)151--162
-
product, 0(0)227--239, 26(6)145--156, 27(1)95--98, 29(6)61--72,
29(10)287--300, 34(1)343--343
-
product-based, 33(7)51--58
-
production, 0(0)211--222, 25(1)59--86, 26(6)219--228, 27(1)75--84,
27(6)72--75, 27(7)140--151, 27(7)212--223, 28(3)299--331,
28(6)100--111, 28(10)178--190, 28(10)215--230, 29(6)107--120,
29(9)72--76, 29(12)78--86, 30(3)71--82, 30(3)83--93, 31(5)1--11,
34(3)1--9
-
production-quality, 0(0)355--366, 26(7)73--82
-
productivity, 0(0)397--408
-
Proebsting, Todd A., 0(0)119--130, 0(0)280--286, 0(0)322--332,
26(6)256--267, 27(4)68--76, 27(7)300--310, 27(7)331--340,
29(11)263--272, 32(5)1--6, 32(5)358--365, 34(5)270--280
-
Proebsting, Todd A., see Engler, Dawson R.,
see Ernst, Jens,
see Fraser, Christopher W.
-
Proebsting:1991:LOC, 26(6)256--267
-
Proebsting:1991:LTO, 26(6)256--267
-
Proebsting:1992:PRA, 27(7)300--310
-
Proebsting:1992:SEB, 27(7)331--340
-
Proebsting:1994:DPS, 0(0)280--286
-
Proebsting:1995:OAC, 0(0)322--332
-
Proebsting:1996:FF, 0(0)119--130
-
Proebsting:1997:STG, 32(5)1--6
-
professional, 28(3)177--199, 29(10)46--50, 30(4)9--9, 31(3)4--4,
33(3)1--1
-
Proficiency, 30(4)80--80
-
profile, 0(0)59--70, 0(0)355--366, 25(6)16--27, 26(6)59--70, 29(1)37--45,
29(6)85--96, 29(11)232--241, 33(5)72--84, 33(7)75--82
-
profile-based, 28(6)300--313, 29(11)232--241
-
profile-compile, Compile-, 28(6)300--313
-
profile-compile, compile-, 28(6)300--313
-
Profile-Driven, 33(5)162--173
-
Profile-Guided, 30(10)108--123
-
profile-guided, 30(10)108--123, 31(10)83--100
-
profiler, 0(0)355--366, 33(7)67--74, 33(7)75--82
-
profiling, 0(0)59--70, 0(0)134--148, 0(0)355--366, 25(6)78--84,
29(1)37--45, 29(6)36--48, 29(6)85--96, 29(6)97--106, 29(6)196--205,
30(6)67--78, 30(8)80--91, 31(6)34--41, 32(5)85--96, 32(7)240--251,
32(7)240--z, 33(0)0--0, 33(7)67--74, 33(7)75--82
-
profitability, 27(7)188--199
-
profitable, 30(6)246--257
-
profits, 28(6)268--277
-
program, Parallel-, 26(7)11--20
-
program, parallel-, 26(7)145--154
-
program, Single-, 30(8)144--155
-
program, single-, 30(8)144--155
-
Program, Whole-, 31(9)50--59
-
program, Whole-, 31(9)50--59
-
program, whole-, 29(6)49--60
-
program-based, 28(6)300--313, 30(6)79--92
-
program-level, 28(7)229--238
-
program-point-specific, 28(6)56--67
-
program-rather, 28(6)278--289
-
program-synchronous, 29(11)110--119
-
programash, 25(6)165--173
-
program/erase, 29(11)86--97
-
programmable, 28(1)76--79, 28(6)156--165, 29(11)38--50, 29(11)274--285,
30(11)31--40
-
Programme, 6(0)vi--217
-
programmed, 28(3)299--331, 28(7)112--118, 29(6)278--289
-
programmer, 0(0)99--112, 0(0)105--118, 0(0)123--137, 0(0)311--321,
0(0)397--408, 25(6)102--111, 25(6)283--295, 27(6)10--16,
27(7)188--199, 27(8)14--14, 27(9)262--273, 27(9)285--295,
28(3)177--199, 28(6)1--12, 28(6)156--165, 28(6)177--186,
28(7)13--22, 28(7)33--43, 28(7)208--217, 28(7)239--248, 29(1)53--53,
29(8)1--12, 30(4)13--20, 30(6)67--78, 30(8)11--18, 30(8)29--38,
30(8)179--188, 30(8)207--216, 30(8)217--226, 30(11)20--30,
30(11)99--107, 30(11)108--116, 31(1)6--8, 31(3)5--5, 31(3)6--7,
31(3)8--10, 33(7)59--66, 33(7)75--82, 34(1)338--338
-
programmer-specified, 28(6)1--12
-
programming-language, 27(3)35--53, 28(3)231--270
-
progress, 27(7)249--260, 29(6)230--241, 34(5)z--z
-
progressed, 28(3)177--199
-
progression, 28(3)149--175
-
prohibitively, 28(6)1--12
-
Proietti, Maurizio, 0(0)414--427, 26(9)274--284, 32(1)99--102
-
Proietti, Maurizio, see Pettorossi, Alberto
-
Proietti:1991:SPT, 26(9)274--284
-
project, 6(4)61--66, 6(4)89--93, 25(6)257--271, 26(8)86--89,
27(12)61--65, 28(3)37--52, 28(3)299--331, 29(4)31--40, 29(7)39--41,
29(10)287--300, 29(11)38--50, 30(3)111--118, 30(8)29--38,
30(10)33--46, 30(10)61--72, 30(10)88--90, 31(7)19--24, 33(6)17--23,
33(6)17--z, 33(10)359--361
-
Project-Based, 30(7)37--z
-
project-based, 30(7)37--40
-
projected, 0(0)246--259, 29(11)38--50
-
projecting, 28(6)126--138, 28(11)33--41
-
projection, 0(0)137--143, 0(0)151--156, 0(0)246--259, 24(3)34--39,
34(11)22--32
-
proliferation, 28(3)177--199
-
PROLOG, 0(0)345--358, 26(3)35--44, 29(6)337--348
-
prolog, 0(0)95--104, 0(0)240--253, 0(0)247--258, 0(0)281--291,
0(0)345--358, 25(1)33--42, 25(3)40--49, 25(3)99--108, 25(5)91--94,
25(7)59--62, 25(7)63--71, 25(11)75--79, 25(12)54--60, 26(2)41--50,
26(6)306--316, 26(7)83--93, 26(9)23--30, 26(9)274--284,
27(7)106--115, 27(7)128--139, 28(0)0--0, 28(2)53--60, 28(3)37--52,
28(3)365--366, 28(4)21--28, 28(9)5--5, 29(0)360, 29(6)36--48,
29(6)337--348, 29(6)349--360, 30(7)45--51, 31(7)33--39, 32(5)1--6,
32(9)47--53, 33(2)41--47, 34(3)97--106
-
prominent, 28(3)37--52, 32(1)14--57
-
PROMIS, 30(5)37--42
-
promise, 0(0)311--321, 28(3)69--95, 29(11)2--11, 32(10)206--206
-
promising, 27(7)106--115, 30(6)233--245, 30(8)102--111
-
promote, 28(3)343--344, 30(4)80--80, 30(6)301--314
-
promotion, 25(6)28--39, 32(5)308--319, 33(5)15--25, 33(5)26--37,
33(9)87--94
-
prone, 25(6)102--111, 28(6)156--165, 30(11)134--145
-
prone, error-, 0(0)174--187
-
Pronk, C., 31(8)74--83, 31(8)84--95, 32(11)34--48
-
Pronk, C., see Schönhacker, M.
-
Pronk:1996:IIS, 31(8)74--83
-
Pronk:1997:SEM, 32(11)34--48
-
pronounced, 30(8)207--216
-
proof, 0(0)25--37, 0(0)57--70, 0(0)59--71, 0(0)60--69, 0(0)62--74,
0(0)75--84, 0(0)83--94, 0(0)85--94, 0(0)99--112, 0(0)119--129,
0(0)137--143, 0(0)144--154, 0(0)154--165, 0(0)174--186,
0(0)186--197, 0(0)209--221, 0(0)221--232, 0(0)233--246,
0(0)313--324, 0(0)344--354, 0(0)353--366, 0(0)361--374,
0(0)367--378, 0(0)386--399, 0(0)428--441, 0(0)429--438,
25(6)165--173, 25(6)283--295, 27(6)54--63, 28(11)16--21,
31(5)108--116, 31(5)291--300, 32(5)235--248, 34(9)82--89,
34(9)197--207
-
Proof-carrying, 0(0)106--119
-
proof-system, 0(0)98--108
-
propagate, 0(0)123--137, 27(7)311--321
-
propagated, 30(6)23--31
-
propagation, 0(0)37--48, 0(0)49--61, 0(0)123--137, 0(0)142--153,
0(0)246--257, 25(6)272--282, 25(6)283--295, 28(6)78--89,
28(6)90--99, 29(3)28--32, 29(5)3--6, 30(3)50--61, 30(6)23--31,
30(6)67--78, 30(6)246--257
-
propagation., 30(6)67--78
-
propagationsubsumes, 30(6)67--78
-
proper, 0(0)348--360, 30(4)80--80, 30(11)31--40, 33(5)174--185
-
property, 0(0)25--34, 0(0)39--50, 0(0)43--56, 0(0)48--59, 0(0)57--70,
0(0)83--94, 0(0)84--97, 0(0)85--94, 0(0)95--106, 0(0)130--141,
0(0)137--143, 0(0)176--185, 0(0)186--197, 0(0)198--208,
0(0)206--219, 0(0)209--221, 0(0)223--234, 0(0)254--267,
0(0)260--272, 0(0)272--285, 0(0)281--292, 0(0)298--310,
0(0)339--347, 0(0)343--354, 0(0)375--388, 0(0)379--392,
0(0)391--403, 0(0)393--407, 0(0)439--450, 0(0)458--471, 25(6)1--8,
26(9)243--254, 27(6)8--8, 27(7)249--260, 27(12)20--27, 28(6)46--55,
28(6)166--176, 28(6)248--257, 28(7)169--178, 29(8)59--73,
29(8)119--128, 29(10)16--30, 30(6)67--78, 30(11)79--87, 33(7)1--10,
33(7)51--58
-
proponents, 28(3)231--270
-
proportional, 25(6)246--256, 28(6)207--216, 30(6)32--46
-
proposal, 0(0)142--153, 0(0)223--234, 25(1)59--86, 25(4)43--50,
25(4)73--82, 27(6)64--71, 27(10)201--217, 28(11)13--15,
29(10)164--175, 29(11)308--318, 31(11)74--82
-
propose, 0(0)27--38, 0(0)35--47, 0(0)95--104, 0(0)99--112, 0(0)196--205,
0(0)227--239, 0(0)254--267, 0(0)268--279, 0(0)339--347,
0(0)384--396, 25(6)1--8, 25(6)85--91, 25(6)102--111, 25(6)296--310,
25(10)237--244, 27(7)1--11, 27(9)274--284, 28(6)90--99, 28(7)64--72,
29(6)257--265, 29(6)302--312, 29(6)349--360, 29(8)35--45,
29(8)46--58, 29(11)2--11, 29(11)51--60, 29(11)110--119,
29(11)171--182, 29(11)242--251, 29(11)308--318, 30(6)1--12,
30(6)279--290, 30(8)19--28, 30(11)41--49, 30(11)79--87
-
proposed, 0(0)25--34, 0(0)29--42, 0(0)171--184, 0(0)345--358,
0(0)384--396, 27(7)200--211, 28(3)299--331, 28(6)90--99,
28(7)218--228, 29(6)302--312, 29(11)76--85, 29(11)196--207,
29(11)242--251, 29(11)286--296, 29(11)308--318, 30(6)139--150,
30(8)112--122, 30(11)7--19, 30(11)41--49, 30(11)60--69,
30(11)134--145, 33(7)83--90
-
Protean, 0(0)107--117
-
protect, 28(7)229--238
-
protected, 0(0)107--117, 28(3)69--95, 28(3)299--331, 29(11)2--11,
29(11)38--50, 29(11)319--327
-
protecting, 0(0)107--117, 29(11)319--327
-
protection, 0(0)184--196, 0(0)228--241, 0(0)311--324, 0(0)355--364,
0(0)365--377, 26(11)271--285, 27(10)263--275, 29(10)129--144,
29(10)341--354, 29(11)297--306, 29(11)319--327, 31(5)193--205,
33(10)48--64
-
protein, 30(8)207--216, 32(8)313--313
-
protocol, 0(0)174--187, 0(0)435--445, 25(10)194--211, 27(2)9--9,
27(9)149--160, 27(9)262--273, 29(8)35--45, 29(10)176--190,
29(10)388--402, 29(10)453--467, 29(11)25--35, 29(11)38--50,
29(11)51--60, 29(11)208--218, 29(11)274--285, 29(11)286--296,
29(12)87--93, 30(10)285--299, 30(10)358--369, 30(11)79--87,
30(11)108--116, 31(5)237--248, 32(5)320--333, 32(7)69--79,
32(7)80--89, 32(12)116--126, 33(11)71--80, 33(11)205--216,
34(7)73--79
-
prototype, 0(0)51--58, 0(0)177--188, 0(0)247--258, 0(0)z--99999999,
25(6)16--27, 25(6)209--222, 26(6)45--58, 26(6)145--156, 27(7)22--31,
27(7)94--105, 27(7)106--115, 27(7)235--248, 27(7)331--340,
28(3)299--331, 28(7)112--118, 28(7)208--217, 28(8)19--28, 29(1)3--8,
29(1)27--36, 29(6)36--48, 29(6)107--120, 29(6)290--301, 30(8)29--38,
31(10)104--121, 31(12)12--17
-
Prototype-Based, 27(10)201--217, 29(10)102--112
-
prototype-based, 29(12)48--57, 30(10)61--72
-
Prototype-Instance, 27(10)184--200
-
prototyping, 0(0)138--150, 0(0)z--99999999, 25(6)102--111, 27(6)19--28,
27(7)94--105, 29(1)27--36, 29(8)22--34, 29(10)388--402
-
prototyping**, 29(8)22--34
-
Proudfoot, Phil, 31(10)384--388, 31(10)384--z
-
Proudfoot, Phil, see Shan, Yen-Ping
-
provable, 0(0)157--170, 0(0)185--195, 0(0)313--324, 27(6)54--63,
31(6)213--225
-
provably, 0(0)142--153, 0(0)309--321
-
Provably-Secure, 32(1)117--119
-
Provably-secure, 32(1)117--119
-
prove, 0(0)57--70, 0(0)70--83, 0(0)83--94, 0(0)95--106, 0(0)99--112,
0(0)105--118, 0(0)119--129, 0(0)130--141, 0(0)137--143,
0(0)186--197, 0(0)233--246, 0(0)235--245, 0(0)260--272,
0(0)355--366, 0(0)367--378, 0(0)393--407, 0(0)458--471,
25(6)165--173, 28(7)33--43, 30(6)186--195, 30(8)207--216
-
proved, 0(0)84--97, 0(0)98--108, 0(0)188--201, 0(0)285--298,
0(0)348--360, 29(6)147--158
-
proven, 0(0)1--12, 25(6)66--77
-
proven, well-, 30(8)217--226
-
provided, 0(0)16--28, 0(0)37--48, 0(0)285--298, 0(0)361--374,
25(1)52--58, 25(4)20--32, 25(6)102--111, 25(6)296--310, 27(7)1--11,
28(3)299--331, 28(3)363--364, 28(6)147--155, 28(6)156--165,
28(6)177--186, 28(7)54--63, 28(7)187--197, 28(7)229--238,
29(11)25--35, 29(11)38--50, 29(11)183--193, 30(11)60--69,
30(11)117--123
-
providers, 0(0)285--298
-
providing, 0(0)285--298, 0(0)375--388, 25(6)189--196, 27(7)1--11,
27(7)32--43, 27(9)238--247, 27(9)248--259, 27(10)87--87,
28(3)149--175, 28(6)147--155, 28(7)179--186, 29(8)35--45,
29(8)94--100, 29(11)38--50, 29(11)297--306, 29(11)319--327,
30(8)29--38, 30(8)112--122, 33(7)59--66
-
proving, 0(0)98--108, 0(0)105--118, 0(0)133--146, 0(0)161--174,
0(0)185--195, 0(0)221--232, 0(0)259--271, 0(0)272--285,
0(0)276--290, 0(0)285--298, 0(0)313--324, 0(0)410--423,
0(0)414--427, 0(0)429--438, 25(6)1--8, 28(3)37--52, 32(3)38--41,
32(5)226--234
-
provision, 25(6)209--222, 29(6)24--35
-
provoked, 25(1)52--58
-
Proxy, 27(6)19--28
-
Pruex, Ph, 25(8)53--71
-
Pruex, Ph., see Dekeyser, J.
-
pSather, 28(1)17--20
-
pseudo-lazy, 30(3)94--102
-
pseudomonads, 0(0)472--492
-
PSI, multi-, 25(3)50--59
-
PSPACE, 0(0)293--304
-
PSPACE-hard, 0(0)176--185
-
PST, 25(5)34--38, 29(6)171--185
-
psyche, 25(3)70--78
-
PTF, 30(6)1--12
-
Puaut, Isabelle, 29(10)113--128
-
Puaut:1994:DGC, 29(10)113--128
-
Public, 0(0)228--241
-
public-key, 27(1)95--98
-
publication, 28(12)169--186, 34(2)1--1
-
published, Co-, 31(0)vii--290, 31(9)iv--iv, 31(9)2--11,
31(9)12--23, 31(9)26--36, 31(9)37--48, 31(9)50--59, 31(9)60--71,
31(9)74--83, 31(9)84--92, 31(9)94--104, 31(9)105--114,
31(9)116--127, 31(9)128--137, 31(9)138--147, 31(9)150--159,
31(9)160--170, 31(9)174--185, 31(9)186--197, 31(9)198--209,
31(9)210--220, 31(9)222--233, 31(9)234--243, 31(9)244--255,
31(9)258--267, 31(9)268--278, 31(9)279--289, 31(9)290--290,
31(9)v--v
-
Pugh, John, 31(12)1--2
-
Pugh, William, 0(0)269--280, 25(6)85--91, 27(7)140--151, 29(6)121--134,
34(5)247--258
-
Pugh, William, see Nirkhe, Vivek
-
Pugh:1990:TDR, 25(6)85--91
-
Pugh:1990:TRL, 25(6)85--91
-
Pugh:1992:EFD, 27(7)140--151
-
Pugh:1994:CSP, 29(6)121--134
-
Pugh:1996:RO, 31(12)1--2
-
Pugh:1999:CJC, 34(5)247--258
-
Purchase, Jan A., 25(10)116--125
-
Purchase:1990:MPS, 25(10)116--125
-
pure, 0(0)95--104, 0(0)104--109, 0(0)137--143, 0(0)311--321,
0(0)326--338, 0(0)389--396, 26(11)1--15, 28(3)231--270,
28(3)361--362, 28(7)73--82, 28(10)411--428, 29(7)15--20,
29(10)229--243, 29(11)2--11, 30(6)205--217, 30(11)79--87
-
purely, 0(0)1--12, 0(0)71--84, 0(0)355--366, 0(0)446--457, 27(5)z--z,
29(4)23--30, 29(6)24--35, 32(8)320--320
-
purely-functional, 29(6)24--35
-
Puri, Sidd, 34(5)50--63
-
Puri, Sidd, see Crary, Karl
-
purpose, 0(0)154--165, 0(0)186--197, 0(0)227--239, 27(5)z--z,
27(9)285--295, 28(3)231--270, 28(7)218--228, 28(8)90--98,
28(10)240--255, 28(10)256--258, 29(6)337--348, 31(5)117--126
-
purpose, General-, 28(6)56--67, 30(8)29--38
-
purpose, general-, 0(0)227--239, 28(6)56--67, 29(5)17--26,
29(9)72--76, 30(6)186--195, 30(8)29--38, 34(8)119--130
-
PURPOSE, SPECIAL-, 29(8)22--34, 29(11)76--85, 30(11)7--19,
30(11)41--49, 30(11)50--59, 30(11)60--69, 30(11)70--78,
30(11)79--87, 30(11)99--107, 30(11)108--116, 30(11)117--123,
30(11)134--145, 30(11)146--155, 31(5)127--136, 31(5)160--170,
34(3)118--129, 34(3)130--137
-
Purpose, Special-, 31(2)6--7
-
purpose, Special-, 31(2)6--7
-
purpose, special-, 33(7)67--74
-
purpose-built, 0(0)472--492
-
pursued, 30(11)31--40
-
Purtilo, James M., 27(10)392--396
-
Purtilo, James M., see Wegner, Peter
-
pushes, 30(6)246--257
-
pushing, 28(3)347--348
-
put, 0(0)186--197, 0(0)188--201, 25(6)283--295, 28(6)237--247,
28(7)239--248, 29(8)1--12, 30(6)32--46, 30(6)67--78, 30(8)217--226
-
PUTash, 29(11)196--207
-
PUT/GET, 29(11)196--207
-
Putnik, Zoran, 34(1)341--341
-
Putnik:1999:ASS, 34(1)341--341
-
Putting, 0(0)54--67, 0(0)121--133, 33(9)77--83, 34(9)8--8
-
Pygmy, 0(0)121--124