Last update: Thu Nov 9 02:49:22 MST 2023
Return to index directory
P
-
P, 41(1)16--29
-
Pace, Gordon J., 37(12)35--46
-
Pace, Gordon J., see Claessen, Koen
-
Pace, J. Andrés, Díaz-, 40(10)117--132
-
package, 35(10)83--92, 39(4)26--29, 41(7)2--11, 41(9)99--110
-
packed, 41(6)132--143
-
packet, 36(3)206--219, 40(6)237--248, 41(1)2--15, 41(7)72--82
-
packing, 38(7)113--122
-
packrat, 37(9)36--47, 41(6)38--51
-
PADL, 35(3)16--17
-
PADS, 40(6)295--304, 41(1)2--15
-
pads, 41(1)2--15
-
Padua, David, 35(3)32--32, 35(5)157--168, 36(5)298--308, 37(5)294--303,
38(5)63--76, 38(10)49--60, 41(6)118--131
-
Padua, David, see Almási, George,
see Fraguela, Basilio B., \see{Lin, Yuan,
see Ren, Gang, \see{Xiong, Jianxin,
see Yotov, Kamen
-
Padua, David A., 38_2s_37_43
-
Padua, David A., see Almási, George
-
Padua:2000:CIA, 35(3)32--32
-
Paek, Yunheung, 37(7)130--138, 38(7)12--23, 41(7)173--181
-
Paek, Yunheung, see Cho, Jeonghun,
see Kulkarni, Prasad, \see{Park, Sanghyun
-
page, 25(6)112--126, 35(11)105--116, 35(12)14--18, 39(11)177--188,
41(1)372--382, 41(6)332--340
-
Page, Rex, 36(9)19--24
-
Page, Rex L., 38(9)79--86
-
page-centric, 38(2)57--64
-
Page:2001:FPW, 36(9)19--24
-
Page:2003:SDM, 38(9)79--86
-
Pagetti, Claire, 41(1)180--193
-
Pagetti, Claire, see Cohen, Albert
-
paging, 40(6)143--153
-
Pai, Vijay S., 37(10)239--250, 38(10)61--72, 39(7)20--29
-
Pai, Vijay S., see Kim, Hyong-youb,
see Willmann, Paul
-
pair, 41(6)308--319, 41(9)26--37
-
Pairault, S., 38(7)123--132
-
Pairault, S., see Ait-Ameur, Y.
-
Palacz, Krzysztof, 37(11)262--274
-
Palacz:2002:IEC, 37(11)262--274
-
Palanque, Philippe, 35(10)105--117
-
Palanque, Philippe, see Bastide, Rémi
-
Palem, Krishna V., 36(8)z--99999999, 37(7)28--37
-
Palem:2001:WCW, 36(8)z--99999999
-
Palem:2002:DSO, 37(7)28--37
-
Palm, 37(8)6--8
-
Palm, Jeffrey, 37(7)194--203
-
Palm:2002:WUC, 37(7)194--203
-
Palopoli, Luigi, 36(8)73--81
-
Palopoli:2001:TSF, 36(8)73--81
-
Palsber, Jens, 38(11)135--148
-
Palsber, Jens, see Zhao, Tian
-
Palsberg, Jens, 35(10)281--293, 36(11)241--253, 37(7)120--129,
40(7)59--68
-
Palsberg, Jens, see Grothoff, Christian,
see Naik, Mayur, \see{Tip, Frank,
see Titzer, Ben L.
-
Pande, Santosh, 38(7)209--219, 38(7)220--231, 39(6)289--300,
39(7)67--77, 39(7)192--201, 39(11)72--84, 40(6)168--179,
40(7)10--20, 41(7)12--21, 41(7)72--82
-
Pande, Santosh, see Zhang, Kun,
see Zhang, Tao, \see{Zhuang, Xiaotong
-
Pandey, Raju, 41(7)189--198
-
Pandey, Vivek, 39(11)177--188
-
Pandey, Vivek, see Zhou, Pin
-
Pandey:2006:BCB, 41(7)189--198
-
panel, 35(7)73--74, 35(7)75--75, 35(7)76--77, 35(7)78--78, 35(7)79--81
-
Pankaj, B. S., 40(12)14--23
-
Pankaj, B. S., see Kumar, Rajeev
-
Papaspyrou, Nikolaos, 37(1)217--232
-
Papaspyrou, Nikolaos, see Shao, Zhong
-
Paquet, Joey, 39(10)164--165
-
Paquet:2004:TFG, 39(10)164--165
-
PARADIGM, 39(10)198--199
-
paradigm, 38(6)50--59, 41(6)272--282
-
parallelization, 38(10)1--12, 38(10)13--24, 39(4)139--154, 39(6)71--81
-
parallelized, 41(1)194--205
-
parameter, 37(9)124--132, 41(7)182--188, 41(8)21--28
-
parameterized, 36(10)86--97, 36(11)56--69, 41(1)218--231, 41(7)34--43,
41(9)74--86
-
parameterizing, 39(1)186--197
-
parametric, 35(10)146--165, 36(8)88--93, 36(10)98--109, 38(9)249--262,
39(6)119--130, 39(6)219--230, 39(12)22--31, 40(1)50--62,
40(10)147--166, 41(6)272--282
-
parametricity, 39(9)115--125
-
parametrization, 35(6)37--46
-
Parigot, Didier, 39(10)37--38
-
Parigot:2004:TDD, 39(10)37--38
-
Park, Jinpyo, 36(8)39--47
-
Park, Sanghyun, 41(7)173--181
-
Park, Sungwoo, 38(3)38--49, 40(1)171--182
-
Park:2001:RAB, 36(8)39--47
-
Park:2003:CPL, 38(3)38--49
-
Park:2005:PLB, 40(1)171--182
-
Park:2006:BAI, 41(7)173--181
-
Parker, Erin, 36(5)286--297
-
Parker, Erin, see Chatterjee, Siddhartha
-
Parkes, Michael, 36(8)182--187
-
Parkes, Michael, see Larus, James R.
-
Parkinson, Matthew, 40(1)247--258, 40(1)259--270
-
Parkinson, Matthew, see Bornat, Richard
-
Parkinson:2005:SLA, 40(1)247--258
-
Parmeswaran, Kirthika, 36(8)188--195
-
Parmeswaran, Kirthika, see Narain, Sanjai
-
parse, 41(2)25--28
-
parser, 35(2)29--35, 35(12)33--40, 38(9)239--248, 40(4)47--50,
41(1)2--15, 41(2)25--28, 41(4)16--23, 41(4)24--29, 41(5)46--54,
41(6)38--51
-
parser.2, 41(4)24--29
-
parsing, 35(1)67--80, 35(2)11--16, 35(4)18--24, 35(6)15--20,
36(9)z--99999999, 37(8)9--14, 37(9)36--47, 38(2)29--35,
39(1)111--122, 39(8)12--19, 41(1)2--15, 41(1)372--382, 41(2)25--28,
41(3)30--39, 41(4)24--29, 41(5)46--54, 41(6)38--51, 41(6)52--60
-
parsing, tree-, 41(6)52--60
-
Parson, Dale E., 35(1)67--80
-
Parson:2000:UJR, 35(1)67--80
-
Parsons, Trevor, 39(10)316--317
-
Parsons:2004:FDA, 39(10)316--317
-
part, 25(6)92--101, 37(11)331--342, 40(11)4--16, 41(1)30--41,
41(1)67--78, 41(1)168--179, 41(1)283--294, 41(2)29--33, 41(4)3--14,
41(6)341--353, 41(7)2--11, 41(7)22--33, 41(7)64--71, 41(8)34--43,
41(9)26--37, 41(9)87--98
-
part, two-, 41(4)3--14, 41(8)10--14
-
partial, 36(6)19--19, 36(11)166--179, 37(3)1--8, 37(3)9--18, 37(3)19--30,
37(3)31--40, 37(3)41--51, 37(3)52--62, 37(3)63--74, 37(3)75--86,
37(3)87--97, 37(3)98--107, 37(3)108--118, 37(3)119--130,
37(3)131--142, 37(8)53--65, 38(10)241--242, 38(10)243--249,
38(10)250--259, 38(11)27--46, 39(1)64--76, 39(7)221--230,
39(8)49--53, 39(9)16--27, 39(10)13--14, 40(9)130--143,
40(9)228--239, 41(1)67--78, 41(1)206--217, 41(1)295--308,
41(1)383--396, 41(3)4--8, 41(6)26--37, 41(7)93--102
-
partial-order, 40(1)110--121
-
partiality, 41(1)1--1
-
partially, 41(1)218--231
-
Participation, 37(4)15--15, 37(4)16--16
-
particle, 41(9)38--49
-
particular, 41(1)1--1, 41(1)16--29, 41(1)79--90, 41(1)141--152,
41(6)38--51, 41(6)272--282, 41(7)103--112
-
particularly, 41(7)34--43, 41(7)163--172
-
partition, 41(5)39--45, 41(6)144--157, 41(7)182--188
-
partitioned, 36(8)48--55, 41(5)39--45
-
partitioning, 36(7)103--112, 38(5)300--311, 38(7)189--198,
38(7)209--219, 40(6)237--248, 41(5)39--45, 41(6)144--157,
41(7)182--188
-
party, third-, 40(10)247--263
-
Pasalic, Emir, 35(1)81--94
-
Pasalic, Emir, see Sheard, Tim
-
Pa{\v{s}}ali{\'c}, Emir, 37(9)218--229
-
Pasalic:2002:TSI, 37(9)218--229
-
Pascal, 36(6)38--49, 37(6)59--81
-
Pascal-2000, 36(6)38--49
-
pass, 41(3)40--48, 41(6)354--363
-
pass, Post-, 37(5)117--128
-
passing, 38(1)139--149, 38_2s_195_206, 41(9)124--135
-
passing, continuation-, 41(6)295--307, 41(6)401--414
-
passing, message-, 37(1)45--57, 41(9)124--135
-
passing, type-, 41(1)1--1
-
passive, 38_2s_213_220
-
past, 35(8)19--19, 35(12)23--23, 36(4)32--32, 36(6)27--27, 36(9)38--38,
36(12)69--69, 37(4)30--30, 37(6)27--27, 37(8)18--18, 41(1)269--269
-
PASTE, 36(12)14--14
-
patch, 41(6)72--83
-
patched, 41(6)72--83
-
Paterson, Ross, 36(10)229--240
-
Paterson:2001:NNA, 36(10)229--240
-
path-based, 39(6)107--118
-
path-sensitive, 37(5)57--68, 41(6)61--71, 41(6)415--426
-
path_PRE, E-, 37(8)53--65
-
Patil, Harish, 40(6)190--200
-
Patil, Harish, see Luk, Chi-Keung
-
Patil, Kaustubh, 39(7)136--145
-
Patil:2004:CSI, 39(7)136--145
-
pattern-matching, 37(2)57--67, 37(12)76--87
-
patterns, use-, 41(1)295--308
-
pause, 38_2s_119_131, 41(6)354--363
-
Pawson, Richard, 36(12)61--67
-
Pawson:2001:NOT, 36(12)61--67
-
pay, 39(8)72--80
-
pay-as-you-go, 41(1)1--1
-
Paz, Harel, 38(11)269--281
-
Paz, Harel, see Azatchi, Hezi
-
PBE, 41(6)61--71
-
PC-invariance, 41(6)84--95
-
PCC, 41(1)320--333, 41(6)401--414
-
PCF, 41(1)168--179
-
peak, 41(7)163--172
-
pearl, 35(9)58--67, 35(9)221--231, 35(9)280--292, 37(9)36--47,
40(9)180--191, 40(9)192--203
-
Pechtchanski, Igor, 36(11)195--210
-
Pechtchanski:2001:DOI, 36(11)195--210
-
peephole, 39(4)104--111
-
peer, 36(7)143--143
-
PEGs, 41(6)38--51
-
Peh, Li Shiuan, 37(10)96--107
-
Peh, Li Shiuan, see Juang, Philo
-
penalty, 35(11)168--177
-
Peng, Jinzhan, 39(7)115--125
-
Peng, Jinzhan, see Contreras, Gilberto
-
Peng, Zebo, 38(7)113--122
-
Peng, Zebo, see Pop, Paul
-
Pennello, Thomas J., 39(4)14--27
-
Pennello:2004:ECL, 39(4)14--27
-
Pensieve, 38(10)3--3
-
people, 41(3)20--29
-
PEPM, 41(3)4--8
-
PEPM'02, 36(6)19--19, 37(3)1--8, 37(3)9--18, 37(3)19--30, 37(3)31--40,
37(3)41--51, 37(3)52--62, 37(3)63--74, 37(3)75--86, 37(3)87--97,
37(3)98--107, 37(3)108--118, 37(3)119--130, 37(3)131--142
-
PER, 41(1)206--217
-
per, 41(6)387--400, 41(7)163--172
-
per-technique, 41(6)252--262
-
percentage, 41(6)169--180
-
Perelman, Erez, 37(10)45--57
-
Perelman, Erez, see Sherwood, Timothy
-
Perera, Roly, 39(10)2--3
-
Perera:2004:RRB, 39(10)2--3
-
Pérez, José A., 35(12)24--32,
see Corchuelo, Rafael
-
Pérez-Quiñones, Manuel A., 37(3)119--130,
see Ramakrishnan, Naren
-
perfect, 41(6)118--131, 41(6)228--238
-
PerfectClub, 41(1)30--41
-
Perfecting, 37(7)223--232
-
perfectly, 41(6)228--238
-
perform, 41(1)283--294, 41(1)320--333, 41(1)397--408, 41(4)24--29,
41(6)14--25, 41(6)72--83, 41(6)181--192, 41(6)239--251,
41(6)415--426, 41(7)12--21, 41(7)83--92, 41(9)13--25
-
perform, out-, 41(6)38--51
-
Performance, High-, 36(5)114--124, 36(5)321--331
-
performance, high-, 37(11)26--39, 41(1)180--193, 41(1)346--358,
41(1)397--408, 41(6)26--37
-
performance-limited, memory-, 41(6)252--262
-
performance-oriented, 41(7)163--172
-
performed, 39(4)360--371, 41(1)194--205, 41(7)64--71
-
performing, 41(6)38--51, 41(7)64--71, 41(7)83--92, 41(7)103--112
-
perhaps, 41(9)111--121
-
period, 41(1)194--205, 41(6)283--294
-
periodic, 41(1)180--193, 41(6)283--294, 41(7)93--102, 41(7)153--162
-
periodically, 41(6)354--363
-
permanent, 41(9)38--49
-
permission, 40(1)259--270, 41(3)40--48
-
Permission-based, 40(6)96--106
-
permit, 41(4)16--23, 41(6)295--307, 41(7)113--124
-
permitted, 41(6)204--215
-
permitting, 41(1)91--102, 41(6)72--83
-
permutation, 40(7)147--156, 41(6)118--131
-
perplexed, 35(9)130--130
-
persistence, 37(11)174--190
-
persistent, 35(11)190--201, 37(2)36--44, 38(11)403--417, 41(1)372--382,
41(7)22--33
-
perspective, 37(7)1--1, 37(7)223--232, 41(1)269--269, 41(6)193--203
-
pervasive, 41(1)269--269, 41(2)18--24
-
Peskine, Gilles, 38(9)87--98
-
Peskine, Gilles, see Leifer, James J.
-
pessimistic, 41(1)346--358
-
Petersen, Leaf, 38(1)172--184, 38(3)98--108, 41(1)397--408
-
Petersen, Leaf, see Menon, Vijay S.,
see Vanderwaart, Joseph C.
-
Petersen:2003:TTM, 38(1)172--184
-
Peterson, John, 35(1)95--108
-
Peterson:2000:MR, 35(1)95--108
-
Petrank, 41(1)16--29
-
Petrank, Erez, 35(5)274--284, 36(1)155--166, 36(11)367--380,
37(1)101--112, 38_2s_183_194, 38(11)255--268, 38(11)269--281,
41(6)354--363
-
Petrank, Erez, see Azatchi, Hezi,
see Barabash, Katherine,
see Domani, Tamar, \see{Kermany, Haim,
see Levanoni, Yossi
-
Petrank:2002:HCC, 37(1)101--112
-
Pettis, Karl, 39(4)398--411
-
Pettis:2004:PGC, 39(4)398--411
-
Pettyjohn, Greg, 40(9)216--227
-
Pettyjohn:2005:CGS, 40(9)216--227
-
Pfeffer, Avi, 37(1)154--165
-
Pfeffer, Avi, see Ramsey, Norman
-
Pfenning, Frank, 35(9)198--208, 38(1)172--184, 39(1)281--292,
40(1)171--182
-
Pfenning, Frank, see Davies, Rowan,
see Dunfield, Joshua, \see{Park, Sungwoo,
see Petersen, Leaf
-
PGAS, 41(6)108--117
-
Pham, Hang, 36(11)353--366
-
Pham, Hang, see Brecht, Tim
-
phantom, 41(9)50--61
-
phase, 38(7)12--23, 39(6)171--182, 39(11)165--176, 41(1)1--1,
41(4)16--23, 41(7)83--92, 41(7)113--124
-
phased, 38(7)103--112
-
Phattarasukol, Somsak, 39(10)184--185
-
Phattarasukol:2004:DPI, 39(10)184--185
-
Philbin, James, 39(4)175--191
-
Philbin, James, see Kranz, David
-
Philipose, Matthai, 37(1)113--125, 39(4)656--669
-
Philipose, Matthai, see Grant, Brian
-
Philipose:2002:TAC, 37(1)113--125
-
Phobia, 37(4)54--56
-
Phoenix, 38(10)216--229
-
phoenix-like, 41(4)3--14
-
phone, 39(7)1--9
-
physical, 41(1)2--15
-
pi-calculus, 36(3)128--141
-
pick, 41(6)252--262
-
pickling, 41(9)99--110
-
pict, 36(3)116--127
-
piece, 41(1)383--396, 41(2)29--33
-
Pierce, 41(1)141--152
-
Pierce, Benjamin, 36(3)67--80
-
Pierce, Benjamin, see Hosoya, Haruo
-
Pierce, Benjamin C., 35(9)11--22, 35(9)130--130, 35(9)221--231,
39(1)161--172, 40(1)63--74, 40(1)233--246
-
Pierce, Benjamin C., see Foster, J. Nathan,
see Gapeyev, Vladimir,
see Harper, Robert, \see{Hosoya, Haruo,
see Sumii, Eijiro
-
Pilot, 37(8)6--8
-
pin, 40(2)5--10, 40(6)190--200
-
Pingali, Keshav, 35(1)53--65, 38(5)63--76, 38(10)84--94, 39(11)235--247
-
Pingali, Keshav, see Bronevetsky, Greg,
see Menon, Vijay, \see{Yotov, Kamen
-
Pinto, Jorge Sousa, 40(5)45--54
-
Pinto, Jorge Sousa, see Barbosa, Manuel
-
Pinto, Sérgio Crespo C. S., 39(10)214--215,
see Rheinheimer, Leticia R.
-
pioneer, 41(4)3--14
-
PIP, 39(10)253--259
-
pipeline, 37(7)175--184, 39(11)107--119, 41(6)295--307, 41(7)173--181
-
pipelined, 35(5)134--144, 37(10)223--234, 39(4)167--174, 40(6)154--167,
40(6)237--248, 41(7)72--82
-
pipelining, 35(2)36--45, 36(8)138--144, 39(4)244--256, 40(7)137--146,
41(7)72--82
-
piping, 37(7)175--184
-
PIROL, 35(10)188--207
-
Pister, Kristofer, 35(11)93--104
-
Pister, Kristofer, see Hill, Jason
-
Pistoia, Marco, 37(11)359--372
-
Pistoia, Marco, see Koved, Larry
-
pitfalls, 41(6)26--37
-
Pitts, 41(1)309--319
-
Pitts, Andrew M., 36(10)1--1, 38(9)263--274
-
Pitts, Andrew M., see Shinwell, Mark R.
-
Pitts:2001:FAR, 36(10)1--1
-
Pizzi, Edward, 39(10)41--42
-
Pizzi, Edward, see Guerrero, Miguel
-
PL.8, 39(4)38--48
-
Pla, Edward, 38(7)144--152
-
Pla, Edward, see M., Ravi Pratap
-
place, 38_2s_281_290, 39(10)126--127, 39(12)57--63, 40(6)261--268
-
placement, 37(1)101--112, 40(6)107--116, 41(1)16--29, 41(7)93--102
-
plain, 41(7)1--1
-
Plakal, Manoj, 35(11)25--36, 36(1)94--100
-
Plakal, Manoj, see Martin, Milo M. K.
-
Plakal:2001:CGC, 36(1)94--100
-
planned, 41(7)1--1
-
planner, 41(6)181--192
-
planning, 39(10)253--259, 41(6)181--192
-
PLAPACK, 35(1)39--52
-
Plat, N., 40(4)47--50
-
Plat, N., see Spek, P. van der
-
Plateau, Florence, 41(1)180--193
-
Plateau, Florence, see Cohen, Albert
-
Platen, Carl von, 41(7)2--11
-
platform, 37(8)35--44, 38(10)230--240, 39(11)144--155, 41(2)18--24,
41(6)118--131, 41(7)22--33, 41(7)182--188, 41(7)189--198
-
platform, cross-, 38(11)187--204
-
Platzner, Marco, 41(7)93--102
-
Platzner, Marco, see Danne, Klaus
-
play, 41(7)163--172
-
Playford, Keith, 36(11)31--42
-
Playford, Keith, see Bachrach, Jonthan
-
PLDI, 35(2)9--9, 35(2)9--10, 39(4)360--371, 39(4)372--389
-
PLDI'90, 25(6)92--101
-
Plesko, Mark, 35(5)95--107, 41(6)14--25
-
Plesko, Mark, see Colby, Christopher,
see Harris, Tim
-
Plezbert, Michael P., 35(5)264--273
-
Plezbert, Michael P., see Cannarozzi, Dante J.
-
Plotkin, 41(1)168--179
-
PLT, 41(1)218--231
-
pluggable, 39(3)46--55, 40(10)247--263, 41(7)44--53
-
plus, 41(1)1--1, 41(7)12--21, 41(9)99--110
-
plus, monad-with-, 41(9)124--135
-
Podelski, Andreas, 40(1)132--144, 41(6)415--426
-
Podelski, Andreas, see Cook, Byron
-
Podelski:2005:TPA, 40(1)132--144
-
Podgorelec, Vili, 35(3)59--64
-
Podgorelec, Vili, see Kokol, Peter
-
Poetzsch-Heffter, Arnd, 37(5)246--257
-
Poetzsch-Heffter, Arnd, see Leino, K. Rustan M.
-
point, fixed-, 25(6)112--126, 39(4)372--389
-
Point, Floating-, 25(6)92--101, 25(6)112--126, 39(4)360--371,
39(4)372--389
-
point, floating-, 25(6)112--126, 39(4)372--389
-
point, point-to-, 41(6)193--203
-
point-to-point, 41(6)193--203
-
pointer, bump-, 41(6)364--375
-
pointer-cast, 41(7)54--63
-
pointer-rich, 41(7)44--53
-
pointer-type, 41(6)84--95
-
pointers, function-, 41(6)415--426
-
points--to, 38(1)115--125
-
points-to, 35(5)47--56, 36(5)47--58, 36(11)43--55, 38(5)103--114,
38(10)25--36, 40(10)59--76, 41(6)144--157, 41(6)387--400,
41(7)54--63
-
Pokam, Gilles, 39(7)78--87
-
Pokam:2004:SSM, 39(7)78--87
-
policy, 39(6)35--46, 40(1)158--170, 40(6)305--314, 40(7)1--10,
41(1)91--102, 41(1)346--358, 41(1)383--396
-
Polish, 38(9)239--248
-
poly-time, 41(1)168--179
-
PolyAML, 40(9)306--319
-
PolyD, 40(10)487--503
-
polyhedral, 41(1)30--41
-
polymer, 40(6)305--314
-
polymorphic, 36(3)54--66, 39(1)89--98, 40(1)26--37, 40(9)306--319,
41(1)103--114, 41(1)257--268, 41(1)309--319
-
polymorphism, 35(10)146--165, 37(7)165--174, 37(9)179--190,
38(9)249--262, 39(12)22--31, 40(1)50--62, 40(10)147--166,
41(1)103--114, 41(1)270--282, 41(1)309--319, 41(1)320--333,
41(6)272--282, 41(9)62--73
-
polymorphism, let-, 40(9)156--167, 41(1)257--268
-
polynomial, 37(5)57--68, 39(1)77--88, 41(1)168--179, 41(5)46--54
-
Pontelli, Enrico, 35(3)16--17
-
Pontelli:2000:CCC, 35(3)16--17
-
Pontrelli, Paul M., 35(1)15--24
-
Pontrelli, Paul M., see Nakatani, Lloyd H.
-
pool, 36(8)214--222, 38_2s_13_24, 40(6)129--142, 41(6)144--157
-
poor, 41(1)346--358, 41(6)332--340
-
poorly, 41(6)14--25, 41(6)341--353
-
Pop, Paul, 38(7)113--122
-
Pop:2003:SDF, 38(7)113--122
-
POPL, 37(1)126--127, 41(1)16--29
-
POPL'01, 35(4)17--17
-
POPL'02, 36(6)19--19, 37(1)1--3, 37(1)4--16, 37(1)17--32, 37(1)33--44,
37(1)45--57, 37(1)58--70, 37(1)71--80, 37(1)81--92, 37(1)93--100,
37(1)101--112, 37(1)113--125, 37(1)126--127, 37(1)128--139,
37(1)140--153, 37(1)154--165, 37(1)166--177, 37(1)178--190,
37(1)191--202, 37(1)203--216, 37(1)217--232, 37(1)233--244,
37(1)245--246, 37(1)247--259, 37(1)260--269, 37(1)270--282,
37(1)283--294, 37(1)295--306, 37(1)307--318, 37(1)319--330,
37(1)331--342
-
Popovici, Florentina I., 39(11)59--71
-
Popovici, Florentina I., see Denehy, Timothy E.
-
Poppendieck, Mary, 39(10)148--150
-
Poppendieck, Mary, see Fraser, Steven
-
popular, 41(6)52--60
-
portability, 36(7)113--122, 41(6)181--192, 41(7)1--1
-
portable, 36(11)139--155, 37(5)315--326, 37(11)68--82, 38(8)37--43
-
Portal, 41(8)10--14
-
portion, 41(7)64--71
-
Portland, 36(6)19--19, 41(8)6--9
-
pose, 35(11)168--177, 41(1)372--382, 41(4)42--49
-
position, 25(6)112--126, 39(4)372--389, 41(5)39--45, 41(7)2--11
-
positioning, 39(4)398--411
-
positive, 41(1)372--382
-
possess, 41(6)252--262
-
possibility, 36(10)265--276, 41(1)1--1
-
Post-compilation, 40(12)14--23
-
post-hoc, 41(1)55--66
-
post-pass, 37(5)117--128
-
postcondition, 41(1)91--102
-
postmodern, 39(10)112--115, 39(12)40--56
-
Potanin, Alex, 39(10)50--51
-
Potanin:2004:GOP, 39(10)50--51
-
potency, 39(9)138--149
-
potential, 35(11)168--177, 36(8)128--137, 41(1)218--231, 41(3)30--39
-
potentially, 41(1)91--102, 41(1)218--231, 41(6)308--319, 41(7)83--92
-
Potkonjak, Miodrag, 37(10)108--120
-
Potkonjak, Miodrag, see Kirovski, Darko
-
Potpourri, 39(11)z--99999999
-
Potter, John, 35(10)13--28, 41(1)359--371
-
Potter, John, see Lu, Yi, \see{Noble, James
-
Pottier, François, 35(9)46--57, 37(1)319--330, 39(1)89--98,
39(9)150--161, 40(9)1--1, 41(1)232--244,
see Gauthier, Nadji
-
Pottier:2000:IFI, 35(9)46--57
-
Pottier:2002:IFI, 37(1)319--330
-
Pottier:2004:PTD, 39(1)89--98
-
Pottier:2005:MTI, 40(9)1--1
-
Pottier:2006:STI, 41(1)232--244
-
Pouzet, Marc, 41(1)180--193
-
Pouzet, Marc, see Cohen, Albert
-
Powell, Michael D., 39(11)260--270
-
Powell, Michael D., see Gomaa, Mohamed
-
power, low-, 39(11)27--36
-
Power-Aware, 36(8)20--28
-
power-efficient, 39(7)67--77
-
PowerEpsilon, 36(9)39--53
-
powerful, 37(9)36--47, 41(1)153--165, 41(1)283--294, 41(1)320--333,
41(4)16--23, 41(6)401--414, 41(9)50--61, 41(9)99--110
-
PowerPC, 39(6)35--46, 41(1)42--54
-
powerset, 41(1)79--90
-
Pozniansky, Eli, 38(10)179--190
-
Pozniansky:2003:EFD, 38(10)179--190
-
PQ-encoding, 36(11)96--107
-
PQL, 40(10)365--383
-
Prabhu, Manohar K., 38(10)1--12
-
Prabhu:2003:UTL, 38(10)1--12
-
practical, 35(2)11--16, 35(3)16--17, 35(4)18--24, 35(6)15--20,
35(9)137--149, 35(10)264--280, 36(9)z--99999999, 37(5)13--24,
37(8)9--14, 38(3)26--37, 38(5)168--181, 39(8)49--53, 39(10)50--51,
41(1)16--29, 41(1)257--268, 41(1)269--269, 41(1)346--358,
41(4)36--41, 41(6)72--83, 41(6)84--95, 41(6)181--192, 41(6)283--294,
41(9)26--37, 41(9)123--123
-
practicality, 41(7)113--124
-
practice, 38_2s_25_36, 38_2s_56_64, 39(4)360--371, 39(6)207--218,
39(10)328--329, 41(1)1--1, 41(1)194--205, 41(1)257--268,
41(2)29--33, 41(6)96--107, 41(6)228--238
-
practice--but, 41(6)341--353
-
Practicing, 35(5)13--26
-
Prasanna, V. K., 36(8)82--87, 37(7)18--27
-
Prasanna, V. K., see Bakshi, A.,
see Mohanty, S.
-
Prasanna, Viktor K., 38(7)265--274
-
Prasanna, Viktor K., see Yu, Yang
-
Pratap:2003:TLA, 38(7)144--152
-
Pratikakis, Polyvios, 41(6)320--331
-
Pratikakis:2006:LCS, 41(6)320--331
-
Praun, Christoph von, 36(11)70--82, 38(5)115--128, 40(10)519--538
-
Praun, Christoph von, see Charles, Philippe
-
pre-computation, 40(6)269--279
-
pre-execution, 37(10)159--170
-
pre-existing, 41(1)383--396, 41(6)84--95, 41(6)341--353
-
pre-serialization, 41(7)12--21
-
pre-serialized, 41(7)12--21
-
pre-serializing, 41(7)12--21
-
pre-SIGPLAN, 25(6)112--126
-
Pre-Tenuring, 36(1)127--136
-
preallocation, 38(1)273--284
-
Preceding, 36(6)19--19
-
precise, 35(5)311--320, 37(5)258--269, 39(1)330--341, 39(6)231--242,
40(1)324--337, 41(1)245--256, 41(1)295--308, 41(1)409--421,
41(3)40--48, 41(6)144--157, 41(6)308--319, 41(6)341--353,
41(6)376--386, 41(6)387--400, 41(7)34--43
-
precisely, 41(1)16--29, 41(1)397--408, 41(6)387--400
-
precision, 25(6)92--101, 39(4)360--371, 40(7)59--68, 40(7)157--165,
41(6)181--192, 41(6)320--331, 41(6)341--353, 41(7)44--53,
41(9)13--25
-
precision, Higher-, 25(6)92--101
-
precision, higher-, 25(6)92--101, 39(4)360--371
-
precision, Multiple-, 25(6)92--101
-
precision, multiple-, 25(6)92--101, 39(4)360--371,
39(4)372--389
-
precomputation, 37(5)117--128
-
predicament, 41(9)74--86
-
predicate, 36(5)203--213, 36(10)217--228, 37(1)191--202, 40(1)132--144,
41(1)115--126, 41(1)218--231
-
predicated, 37(5)45--56
-
predication, 39(11)189--198
-
predict, 41(1)218--231, 41(7)44--53
-
predictability, 37(5)222--233
-
predictable, 37(5)315--326, 40(1)183--194, 41(1)55--66
-
predicting, 38(5)245--257, 38(7)1--11, 39(4)429--441, 41(6)239--251
-
prediction, 35(11)202--211, 37(10)68--80, 38(1)185--197, 38(5)278--288,
39(11)165--176, 40(6)107--116
-
Pree, Wolfgang, 40(7)31--39
-
Pree, Wolfgang, see Farcas, Emilia
-
preempt, 41(6)283--294
-
preemption, 37(7)223--232
-
preemptive, 39(7)146--154, 40(7)157--165, 41(7)93--102
-
prefer, 41(6)72--83
-
Preference-directed, 37(5)33--44
-
preferences, 41(6)204--215
-
preferred, 41(6)181--192
-
prefetch, 39(6)267--276
-
prefetching, 37(5)199--209, 37(5)210--221, 37(10)279--290,
38_2s_263_268, 38(5)269--277, 39(7)67--77, 39(11)189--198,
39(11)199--210, 41(6)252--262
-
preliminary, 41(9)124--135
-
prepaging, 38_2s_221_232
-
pre/post, 41(1)153--165
-
presence, 35(5)196--207, 39(1)99--110, 40(10)77--96, 41(1)309--319,
41(6)38--51, 41(6)118--131, 41(6)132--143, 41(6)252--262,
41(7)34--43, 41(9)38--49
-
present-day, 41(6)181--192
-
presentation, 39(9)224--235, 41(1)269--269, 41(8)6--9
-
presented, 25(6)112--126, 41(3)4--8, 41(4)24--29, 41(5)46--54
-
presenting, 41(6)401--414
-
preservation, 41(1)42--54, 41(1)397--408
-
preserve, 41(1)397--408
-
preserving, 37(11)13--25, 41(6)263--271, 41(6)354--363
-
preserving, Correctness-, 41(6)341--353
-
preserving, correctness-, 41(6)341--353
-
preserving, reduction-, 41(9)26--37
-
preserving, Type-, 36(3)166--178
-
preserving, type-, 41(9)38--49
-
preset, 41(6)204--215
-
pressure, 41(7)199--208
-
Pretenuring, 36(11)342--352
-
prevalent, 41(6)228--238
-
prevent, 41(6)158--168, 41(9)13--25
-
preventing, 37(11)211--230, 40(7)50--58, 41(1)372--382, 41(6)320--331
-
prevention, 39(10)56--57
-
previous, 41(1)141--152, 41(1)257--268, 41(6)216--227, 41(6)387--400,
41(7)2--11, 41(7)12--21, 41(7)163--172, 41(7)182--188, 41(9)62--73,
41(9)87--98
-
previously, 41(1)16--29, 41(6)144--157, 41(6)263--271, 41(6)308--319
-
price, 36(10)134--145
-
Priesnitz, Tim, 37(1)203--216
-
Priesnitz, Tim, see Su, Zhendong
-
primacy, 39(10)68--72
-
primarily, 41(1)168--179
-
primitive, 37(11)331--342, 40(6)261--268, 40(10)133--146, 41(2)8--17,
41(6)1--13, 41(9)38--49, 41(9)99--110
-
Princeton, 41(7)1--1
-
principal, 39(1)306--317, 40(9)156--167, 41(1)79--90, 41(1)257--268
-
principle, 35(4)17--17, 35(5)242--252, 36(3)81--92, 37(1)1--3,
37(1)4--16, 37(1)17--32, 37(1)33--44, 37(1)45--57, 37(1)58--70,
37(1)71--80, 37(1)81--92, 37(1)93--100, 37(1)101--112,
37(1)113--125, 37(1)126--127, 37(1)128--139, 37(1)140--153,
37(1)154--165, 37(1)166--177, 37(1)178--190, 37(1)191--202,
37(1)203--216, 37(1)217--232, 37(1)233--244, 37(1)245--246,
37(1)247--259, 37(1)260--269, 37(1)270--282, 37(1)283--294,
37(1)295--306, 37(1)307--318, 37(1)319--330, 37(1)331--342,
37(4)62--73, 39(10)230--235, 41(1)115--126, 41(1)141--152,
41(1)359--371
-
principled, 36(5)81--91, 40(9)116--128, 41(8)34--43
-
print, 25(6)112--126, 39(4)360--371, 39(4)372--389
-
Printezis, Tony, 36(1)143--154, 37(11)343--358, 38_2s_157_170
-
Printezis:2001:GMC, 36(1)143--154
-
Printezis:2002:GAH, 37(11)343--358
-
Printezis:2003:VTG, 38_2s_157_170
-
prior, 41(6)169--180
-
prioritize, 41(6)169--180
-
prioritized, 40(7)175--182
-
prioritizing, 41(6)38--51
-
priority, 36(10)110--121, 38_2s_108_118, 39(7)57--66
-
priority, fixed-, 41(7)153--162
-
priority-based, 39(4)91--103
-
PRISM, 39(10)20--21
-
private, 35(11)168--177
-
private, thread-, 41(6)14--25
-
ProActive, 38(8)22--28
-
proactive, 41(6)332--340
-
proactively, 41(6)332--340
-
probabilistic, 35(7)65--72, 36(3)93--101, 38(3)38--49, 38(10)25--36,
40(1)171--182, 40(7)78--86, 41(6)158--168
-
probabilistically, 41(6)158--168
-
probability, 37(1)154--165
-
probing, 41(6)228--238
-
PROBLEM, 25(6)92--101, 25(6)112--126
-
problematic, 41(1)334--345, 41(7)34--43
-
procedural, inter-, 38(3)86--97, 41(1)153--165, 41(6)263--271
-
procedural, intra-, 41(3)40--48, 41(6)61--71
-
procedure, 38(1)62--73, 39(1)245--255, 40(1)296--309, 41(1)115--126,
41(1)141--152, 41(1)153--165, 41(1)409--421, 41(6)61--71,
41(6)181--192, 41(7)2--11
-
procedure-string, 41(1)127--140
-
proceedings, 25(6)92--101, 36(8)z--99999999, 36(8)z--z, 36(11)1--15,
36(11)16--30, 36(11)31--42, 36(11)43--55, 36(11)56--69,
36(11)70--82, 36(11)83--95, 36(11)96--107, 36(11)108--124,
36(11)125--138, 36(11)139--155, 36(11)156--165, 36(11)166--179,
36(11)180--195, 36(11)195--210, 36(11)211--222, 36(11)223--240,
36(11)241--253, 36(11)254--269, 36(11)270--282, 36(11)283--299,
36(11)300--311, 36(11)312--326, 36(11)327--341, 36(11)342--352,
36(11)353--366, 36(11)367--380, 37(1)1--3, 37(1)4--16, 37(1)17--32,
37(1)33--44, 37(1)45--57, 37(1)58--70, 37(1)71--80, 37(1)81--92,
37(1)93--100, 37(1)101--112, 37(1)113--125, 37(1)126--127,
37(1)128--139, 37(1)140--153, 37(1)154--165, 37(1)166--177,
37(1)178--190, 37(1)191--202, 37(1)203--216, 37(1)217--232,
37(1)233--244, 37(1)245--246, 37(1)247--259, 37(1)260--269,
37(1)270--282, 37(1)283--294, 37(1)295--306, 37(1)307--318,
37(1)319--330, 37(1)331--342, 37(3)1--8, 37(3)9--18, 37(3)19--30,
37(3)31--40, 37(3)41--51, 37(3)52--62, 37(3)63--74, 37(3)75--86,
37(3)87--97, 37(3)98--107, 37(3)108--118, 37(3)119--130,
37(3)131--142, 37(4)1--3, 41(3)4--8
-
process, 25(6)112--126, 35(7)23--31, 35(11)168--177, 36(8)94--101,
37(12)98--107, 38(1)50--61, 38(9)3--13, 39(1)147--160, 39(2)34--39,
39(4)372--389, 39(9)163--174, 39(10)120--123, 39(12)73--83,
40(1)145--157, 40(10)539--545, 41(1)180--193, 41(3)10--19,
41(3)20--29, 41(4)16--23, 41(4)36--41, 41(6)272--282, 41(6)376--386,
41(6)415--426, 41(7)72--82, 41(7)125--134, 41(9)99--110
-
process, multi-, 40(1)122--131
-
processed, 41(7)72--82
-
processing, 35(1)163--176, 35(10)118--129, 37(6)28--37, 38(7)265--274,
39(4)112--124, 40(6)237--248, 40(6)295--304, 41(1)180--193,
41(1)194--205, 41(6)295--307, 41(7)12--21, 41(7)72--82,
41(7)199--208
-
processing, stream-, 41(1)180--193
-
Processor, Multi-, 36(8)56--63
-
processor, multi-, 41(6)14--25
-
processor-based, 39(11)144--155
-
Prochnow, Steffen, 41(7)113--124
-
Prochnow:2006:SSS, 41(7)113--124
-
procrastination, 39(7)57--66, 41(7)153--162
-
produce, 39(4)372--389, 41(6)108--117, 41(6)216--227, 41(6)228--238,
41(7)83--92, 41(7)125--134, 41(7)135--144, 41(7)145--152,
41(7)182--188, 41(7)189--198
-
produced, 25(6)112--126, 39(4)372--389, 41(1)372--382, 41(6)169--180,
41(6)252--262, 41(7)83--92, 41(7)135--144
-
producing, 41(6)169--180, 41(6)252--262, 41(6)320--331
-
product, 37(12)25--34, 39(10)18--19, 39(10)253--259, 41(1)269--269,
41(2)8--17, 41(6)239--251, 41(6)376--386
-
production, 35(1)1--13, 39(10)283--289, 41(1)397--408, 41(5)46--54,
41(6)84--95, 41(6)239--251, 41(6)354--363
-
productivity, 41(1)180--193, 41(6)108--117, 41(6)181--192
-
Proebsting, Todd A., 36(5)264--273
-
Proebsting, Todd A., see Hanson, David R.
-
Professional, 36(6)1--2
-
profile, 36(11)166--179, 37(7)56--64, 39(4)398--411, 39(4)429--441,
39(4)568--582, 39(8)72--80, 39(10)192--193, 40(10)297--311,
41(5)21--29, 41(6)169--180, 41(6)216--227, 41(6)263--271,
41(6)332--340, 41(7)163--172
-
profile-analysis, 37(1)140--153
-
Profile-Based, 35(7)52--64
-
profile-based, 41(6)216--227, 41(6)252--262
-
Profile-Directed, 36(1)111--120
-
Profile-directed, 37(5)106--116
-
Profile-Guided, 35(7)23--31
-
profile-guided, 37(5)95--105, 41(6)332--340
-
profiled, 36(5)148--155
-
profiler, 39(4)49--57
-
profiling, 35(7)65--72, 35(11)202--211, 36(1)80--93, 36(5)104--113,
38(7)189--198, 38(11)313--325, 39(11)156--164, 40(10)281--296,
41(6)252--262, 41(6)263--271, 41(6)332--340
-
program, whole-, 36(3)179--192, 38(5)245--257, 39(6)255--266,
41(6)61--71
-
program-analysis, 41(1)127--140
-
programmable, 35(11)37--48, 36(5)309--320, 38_2s_245_255, 38(10)61--72,
39(7)20--29
-
programmed, 41(1)55--66, 41(7)72--82
-
programmer-compiler, 41(6)181--192
-
programmer-supplied, 41(9)50--61
-
Programming Language Knowledge Focus Group, 35(4)29--43
-
programming, Meta-, 37(9)206--217, 38(9)275--286, 39(10)15--15
-
programming, meta-, 37(12)60--75
-
progress, 39(6)35--46, 39(10)158--159
-
Progressing, 41(6)181--192
-
progressive, 41(6)204--215
-
progressively, 41(6)204--215
-
prohibits, 41(9)74--86
-
project, 37(1)1--3, 38(6)16--22, 38(10)3--3, 38(12)28--32,
39(10)206--207, 39(10)328--329, 41(7)1--1
-
proliferate, 41(6)181--192
-
prolific, 37(1)295--306
-
Prolog, 36(1)25--34, 38_2s_56_64
-
promise, 41(1)295--308
-
promising, 41(7)135--144
-
promote, 39(10)214--215
-
prompt, 39(9)40--53, 41(6)364--375
-
promptly, 41(6)364--375
-
prone, 41(6)26--37
-
prone, error-, 41(1)180--193, 41(6)228--238
-
pronged, four-, 41(6)14--25
-
Pronk, C., 38(8)20--21, 40(4)47--50
-
Pronk, C., see Spek, P. van der
-
Pronk:2003:FDP, 38(8)20--21
-
proof-carrying, 41(1)320--333, 41(6)401--414
-
proof-carrying-code, 41(1)79--90
-
Proof-guided, 40(1)122--131
-
propagate, 39(4)372--389, 41(1)283--294, 41(1)397--408, 41(4)30--35
-
propagated, 41(1)372--382
-
propagating, 41(6)118--131
-
propagation, 38(7)24--33, 39(4)155--166, 40(10)1--19, 41(4)30--35,
41(7)44--53
-
propagation,, 41(7)44--53
-
propagation, Back-, 39(3)31--37
-
propagation-based, 35(10)281--293
-
proper, 41(9)38--49
-
properly, 41(1)372--382, 41(6)132--143, 41(6)320--331, 41(9)87--98,
41(9)136--147
-
proportional, 41(9)38--49
-
proposal, 36(4)1--2, 37(4)54--56, 38_2s_76_85, 41(1)1--1, 41(1)346--358,
41(7)163--172, 41(9)74--86
-
protect, 41(6)320--331
-
protected, 39(2)34--39, 41(6)320--331
-
protecting, 39(6)35--46, 39(11)72--84, 41(1)359--371
-
protection, 37(10)304--316, 39(7)240--248
-
protocol, 35(11)59--70, 36(5)59--69, 37(1)33--44, 39(10)120--123,
39(12)73--83, 41(1)55--66, 41(6)295--307, 41(9)124--135
-
prototype, 38(10)95--106, 41(7)2--11
-
prototypical, 41(7)113--124
-
prototyping, 36(8)73--81, 36(9)64--73, 36(12)35--49
-
Proulx, Viera K., 40(3)4--11
-
Proulx:2005:CPD, 40(3)4--11
-
provably, 38(5)208--219, 41(6)181--192, 41(6)204--215
-
prove, 41(1)2--15, 41(1)16--29, 41(1)115--126, 41(1)180--193,
41(1)334--345, 41(6)108--117, 41(6)144--157, 41(6)341--353,
41(6)376--386, 41(9)26--37
-
proved, 41(1)42--54, 41(1)206--217, 41(6)387--400
-
proven, 41(1)180--193, 41(6)320--331, 41(6)364--375
-
prover, 41(1)42--54, 41(6)415--426
-
provided, 41(1)180--193, 41(6)1--13, 41(6)332--340, 41(7)72--82
-
providing, 41(1)269--269, 41(3)10--19, 41(6)38--51
-
proving, 37(1)283--294, 38(5)220--231, 40(9)66--77, 41(1)42--54,
41(1)115--126
-
proxy, 37(4)57--61, 37(7)204--212
-
pruned, 41(6)169--180
-
pruning, 41(1)168--179, 41(6)169--180
-
Pryce, Nat, 39(10)4--5, 39(10)236--246
-
Pryce, Nat, see Freeman, Steve
-
Pseudo, 37(4)31--31
-
Pseudo-classes, 39(10)162--163
-
pthreads, 40(6)261--268
-
Ptmalloc, 39(6)35--46
-
Ptolemy, 41(8)16--20
-
public, 37(4)54--56, 39(10)188--189
-
published, 25(6)92--101, 37(10)1--1, 41(1)16--29, 41(6)144--157
-
Puccinelli, Roberto, 39(10)188--189
-
Puccinelli, Roberto, see Lancia, Maurizio
-
Pucella, Riccardo, 37(11)331--342
-
Pucella:2002:TFC, 37(11)331--342
-
Puebla, Germán, 38(10)269--283
-
Puebla:2003:ASA, 38(10)269--283
-
Pugh, Bill, 39(10)204--205
-
Pugh, William, 39(10)132--136, 39(12)92--106, 40(1)378--391
-
Pugh, William, see Hovemeyer, David,
see Manson, Jeremy
-
Pugh:2004:RRW, 39(10)204--205
-
Puppin, Diego, 38(10)1--1
-
Puppin:2003:ACS, 38(10)1--1
-
pure, 38(1)250--261, 40(6)261--268, 41(9)87--98
-
purely, 41(9)87--98
-
purpose, 39(4)360--371, 41(2)18--24, 41(8)6--9
-
purpose, general-, 37(5)199--209, 38(9)51--63, 41(1)16--29,
41(1)55--66, 41(1)295--308, 41(1)372--382
-
purpose, special-, 41(1)55--66
-
Purser, Zachary, 35(11)257--268
-
Purser, Zachary, see Sundaramoorthy, Karthik
-
Püschel, Markus, 40(6)315--326, see Franchetti, Franz
-
push, 35(11)168--177
-
pushash, 39(9)4--15
-
pushdown, 41(1)153--165
-
pushed, 41(7)163--172
-
put, 36(9)19--24, 41(7)1--1, 41(7)54--63, 41(7)199--208
-
Put, Ludo, Van, 39(7)211--220, 40(7)95--104
-
put, out-, 39(4)372--389
-
Puttaswamy, Kiran, 37(7)28--37
-
Puttaswamy, Kiran, see Palem, Krishna V.
-
putting, 38_2s_281_290
-
puzzle, 37(3)87--97
-
Pyarali, Irfan, 36(8)214--222
-
Pyarali:2001:EOT, 36(8)214--222