Last update: Thu Sep 28 02:07:29 MDT 2023
Return to index directory
P
-
P, 45(5)245--256, 45(6)279--291
-
p, 45(5)223--232, 45(5)245--256
-
P9, 45(7)121--132
-
pace, 45(5)1--2, 47(1)215--216
-
PACER, 45(6)255--268
-
Pacer, 45(6)255--268
-
package, 45(11)13--24, 45(12)81--96, 46(2)33--42
-
packaging, 45(3)397--408
-
packet, 45(3)15--28, 47(1)217--230
-
packet-forwarding, 47(1)217--230
-
packet-matching, 47(1)217--230
-
packet-processing, 47(1)215--216
-
packing, 45(4)27--36
-
pad, scratch-, 45(5)105--114
-
PADS, 45(6)221--232
-
PADS/ML, 45(6)221--232
-
Padua, David, 46(5)1--10
-
Padua, David, see Virlet, Bruno
-
Paek, Yunheung, 45(4)17--26
-
Paek, Yunheung, see Kim, Yongjoo
-
page, open-, 45(3)219--230
-
page-coloring, 46(8)103--112
-
paged, 45(7)157--166
-
pages, Micro-, 45(3)219--230
-
Pai, Vijay S., 45(5)281--292, 45(5)293--304, 45(10)652--670
-
Pai, Vijay S., see Ali, Qasim,
see Upadhyaya, Gautam
-
pain, 47(2)85--96
-
painless, 46(9)320--332
-
pair, 45(3)3--14, 45(3)15--28, 45(5)137--146, 46(9)58--68, 47(1)495--508,
47(4)239--250
-
paired, 47(4)145--158, 47(5)51--60
-
Pajak, Dawid, 46(8)295--296
-
Pajak, Dawid, see Strzodka, Robert
-
Pajuelo, Alex, 45(5)191--202
-
Pajuelo, Alex, see Radojkovi{\'c}, Petar
-
pAlgorithms, 46(8)235--246
-
Palix, Nicolas, 46(3)305--318, 47(4)305--318
-
Palix:2011:FLT, 46(3)305--318
-
Palix:2012:FLT, 47(4)305--318
-
Palmer, Zachary, 46(10)939--958
-
Palmer:2011:BJM, 46(10)939--958
-
Palsberg, Jens, 45(5)25--36, 45(10)109--124, 46(1)563--574,
46(8)157--168, 46(9)247--258
-
Palsberg, Jens, see Guo, Shu-yu,
see Jay, Barry, \see{Kou, Stephen,
see Lee, Jonathan K., \see{Lesani, Mohsen
-
PAMC, 45(3)323--334
-
Pan, Heidi, 45(6)376--387
-
Pan:2010:CPS, 45(6)376--387
-
Pande, Santosh, 45(5)315--324, 46(6)86--97, 46(10)537--554
-
Pande, Santosh, see Aleen, Farhana,
see Cledat, Romain E.,
see Jung, Changhee
-
panel, 45(5)223--232
-
Panini, 46(2)63--72
-
Paolini, Luca, 46(9)372--384
-
Paolini, Luca, see Gaboardi, Marco
-
Papadopoulos, Ioannis, 46(8)235--246
-
Papadopoulos, Ioannis, see Tanase, Gabriel
-
par, 45(11)49--60, 47(6)13--22
-
paradigm, 45(2)3--4, 45(4)77--84, 45(5)79--90, 45(5)281--292,
45(6)50--61, 45(10)125--139, 45(12)15--26, 46(2)103--112,
46(8)81--90, 47(1)557--570, 47(4)381--392
-
paradise, 45(10)918--932
-
paradox, 45(6)305--315
-
parallel, asynchronous-, 45(5)345--346
-
parallel, data-, 45(3)347--358, 45(5)3--14, 45(6)363--375,
46(8)125--134, 46(11)1--10
-
parallel, may-happen-in-, 45(5)25--36
-
parallel-for, 46(11)1--10
-
parallelism, data-, 45(5)3--14
-
parallelism, self-, 46(6)458--469
-
parallelism., 45(6)86--97
-
parallelize, 45(6)50--61, 45(7)25--36, 45(8)63--72, 46(6)458--469,
46(8)201--212, 46(8)293--294, 47(1)309--322, 47(4)15--26
-
parallelized, 45(3)65--76, 45(5)213--222, 45(8)63--72, 46(6)458--469,
46(8)35--46, 46(8)69--80, 46(8)293--294, 47(1)309--322
-
parallelizing, 45(3)271--284, 45(5)3--14, 45(5)325--326, 46(3)15--26,
46(6)458--469, 46(8)213--222, 47(4)15--26, 47(5)21--30
-
parallelizing?, 46(6)458--469
-
Paralocks, 45(1)431--444
-
ParaLog, 45(3)271--284
-
parameter, multi-, 45(1)495--508
-
parameterise, 46(12)107--117
-
parameterize, 45(2)109--116
-
parameterized, 45(6)134--145, 47(1)297--308
-
parametric, 45(8)121--130, 46(1)105--118, 46(5)141--150, 46(6)415--424,
46(9)94--106, 46(9)107--116, 46(10)973--992, 47(1)137--150,
47(5)11--20
-
parametric, language-, 47(3)127--136
-
parametricity, 45(9)345--356
-
parametrised, 47(1)373--386
-
parametrized, 47(1)455--468
-
parent, 46(8)13--24
-
Parent, Sean, 45(2)147--156, 47(3)177--184
-
Parent, Sean, see Freeman, John,
see Järvi, Jaakko
-
Pareto, 47(5)119--128
-
Pareto-optimal, 47(5)119--128
-
parity, 46(9)209--220
-
Park, Eunbyung, 46(7)75--86
-
Park, Soyeon, 45(10)160--174, 46(3)3--14, 47(4)3--14
-
Park, Soyeon, see Shi, Yao, \see{Yuan, Ding
-
Park, Sungwoo, 46(10)993--1012
-
Park, Sungwoo, see Im, Hyeonseung
-
Park:2011:FSE, 46(7)75--86
-
Parkinson, Matthew, 45(1)19--30
-
Parkinson, Matthew, see Koskinen, Eric
-
Parkinson, Matthew J., 46(1)259--270, 46(8)313--314
-
Parkinson, Matthew J., see Botincan, Matko,
see Dodds, Mike
-
parlance, 47(3)137--146
-
Parlato, Gennaro, 46(1)283--294, 46(1)611--622
-
Parlato, Gennaro, see Madhusudan, P.
-
Parr, Terence, 46(6)425--436
-
Parr:2011:LFA, 46(6)425--436
-
pArray, 46(8)235--246
-
parse, 45(2)109--116, 45(6)221--232
-
parse-time, 46(6)425--436
-
PARSEC, 45(3)53--64, 45(3)271--284, 45(3)397--408, 45(5)203--212,
45(5)347--348, 46(6)199--210, 47(4)67--78
-
Parsec, 45(3)257--270
-
parser, 45(9)285--296, 46(2)137--146, 46(6)425--436, 46(12)107--117
-
parsing, 45(2)109--116, 45(11)1--12, 46(2)137--146, 46(6)425--436,
46(9)189--195, 46(10)805--824
-
Parthasarathy, Srinivasan, 45(5)355--356
-
Parthasarathy, Srinivasan, see Buehrer, Gregory
-
Partial-coherence, 46(6)187--198
-
partial-order, 45(5)15--24
-
partiality, 47(1)571--584
-
partially, 45(5)327--328, 46(10)289--306, 47(2)13--24
-
partially-ordered, 45(5)345--346
-
participating, 45(5)159--168, 46(8)247--256, 47(4)185--198
-
particle, 47(5)99--108
-
particularly, 45(3)311--322, 45(4)57--66, 46(2)23--32, 46(8)135--146,
47(1)545--556, 47(4)133--144
-
partite, bi-, 45(5)355--356
-
partition-camping, 45(6)86--97
-
partitioned, 45(4)1--8, 46(8)297--298, 46(12)59--70
-
Partitioner, Auto-, 45(5)179--190
-
partitioning, 45(5)329--330, 46(3)213--224, 46(5)151--160,
46(8)103--112, 46(8)297--298, 47(4)213--224
-
partly, 47(1)273--284
-
partner, 45(5)233--244
-
parts., 45(5)115--126
-
party, third-, 45(10)361--376, 46(6)458--469
-
pass, 46(12)95--106, 47(1)427--440, 47(1)533--544, 47(4)159--170
-
pass, single-, 46(1)599--610
-
pass-by-value, 46(8)81--90
-
passed, 47(1)19--30, 47(1)495--508
-
passing, 45(2)85--94, 45(2)95--98, 45(5)351--352, 46(8)81--90,
46(8)157--168, 46(8)307--308, 47(6)55--66
-
passing, continuation-, 47(3)97--106
-
passing, message-, 46(12)118--129, 47(2)85--96
-
passing, store-, 46(1)147--158
-
passive, 45(3)15--28, 46(8)201--212
-
past, 45(3)129--142, 45(3)257--270, 45(3)359--370, 45(4)115--124,
45(5)341--342, 45(6)471--482, 45(7)133--144, 45(8)51--52,
46(8)123--124, 47(1)215--216, 47(1)285--296, 47(1)387--400,
47(3)95--96, 47(3)97--106, 47(4)91--104, 47(4)369--380
-
Pasteur, Cédric, 47(5)51--60,
see Gérard, Léonard
-
Pasupathy, Shankar, 45(3)143--154
-
Pasupathy, Shankar, see Yuan, Ding
-
patch, 45(4)105--114, 46(7)145--156, 47(6)77--88
-
patching, 45(3)205--218
-
patchwork, 45(7)63--74
-
Patel, Sanjay, 45(3)347--358
-
Patel, Sanjay, see Gelado, Isaac
-
Patel, Sanjay J., 45(5)105--114
-
Patel, Sanjay J., see Baghsorkhi, Sara S.
-
Paterson, Ross, 45(9)345--356
-
Paterson, Ross, see Bernardy, Jean-Philippe
-
path, critical-, 45(5)245--256
-
path, fast-, 45(5)67--78
-
path, multi-, 46(3)265--278, 47(4)265--278
-
path-based, 46(6)492--503
-
path-based, cyclic-, 47(4)405--418
-
path-based, longest-, 47(5)41--50
-
Pathg, 47(5)139--148
-
pathology, 46(11)55--64
-
paths, fast-, 45(3)39--52
-
patient, 45(3)1--2, 47(5)61--70
-
Patt, Yale N., 45(3)335--346
-
Patt, Yale N., see Ebrahimi, Eiman
-
Pattabiraman, Karthik, 46(3)213--224, 47(4)213--224
-
Pattabiraman, Karthik, see Liu, Song
-
pattern-based, 46(1)499--510
-
pattern-matching, 46(1)587--598
-
paucity, 47(4)3--14
-
pause, 45(6)471--482, 45(8)21--30, 45(8)73--82, 47(2)73--84
-
Pauseless, 46(11)79--88
-
pave, 45(6)448--459, 47(1)545--556
-
pay, 45(6)255--268, 46(11)21--32, 47(2)13--24
-
Payer, Mathias, 46(7)157--168
-
Payer:2011:FGU, 46(7)157--168
-
paying, 45(6)400--411
-
payoff, 45(6)305--315, 45(12)1--14
-
pbzip2, 47(4)239--250
-
PC, 47(4)119--132
-
PCF, 46(8)235--246, 46(9)372--384
-
PCI, 47(4)119--132
-
PCM, 45(3)3--14
-
PCML5, 47(1)571--584
-
pContainer, 46(8)235--246
-
pContainers, 46(8)235--246
-
PCR, 45(5)127--136
-
PCs, 46(8)1--2, 47(4)119--132
-
PDF, 47(1)545--556
-
PDFs, 47(1)545--556
-
PDU, 45(3)231--242
-
PDUs, 45(3)231--242
-
peak, 45(3)231--242, 45(5)137--146, 45(8)121--130, 46(8)201--212,
46(11)21--32, 47(4)381--392
-
Pearce, Olga, 46(8)235--246
-
Pearce, Olga, see Tanase, Gabriel
-
pearl, 45(9)15--26, 45(9)357--368, 46(9)58--68, 46(9)189--195,
46(9)385--391
-
Pebbles, 46(8)305--306
-
pecuniary, 45(4)105--114
-
Pedersen, Birger, M{\o}ller-, 45(12)81--96
-
Pedretti, Kevin, 46(7)169--180
-
Pedretti, Kevin, see Lange, John R.
-
peer, 46(8)223--234, 46(11)65--76
-
PEGs, 46(6)425--436
-
Pelley, Steven, 45(3)231--242
-
Pelley:2010:PRD, 45(3)231--242
-
penalizing, 45(7)97--108
-
penalty, 45(3)29--38, 45(3)103--116, 45(6)146--159, 45(6)400--411
-
pending, 46(8)223--234
-
Peng, Liang, 45(6)448--459
-
Peng, Liang, see Chen, Yang
-
people, 45(3)1--2, 45(5)103--104
-
per, 45(4)47--56, 45(5)137--146, 45(5)191--202, 45(5)233--244,
45(5)269--280, 45(9)75--86, 46(8)147--156, 47(4)305--318
-
per-computation, 45(3)205--218
-
per-task, 45(5)341--342
-
per-thread, 45(3)91--102
-
Perarnau, Swann, 45(5)327--328
-
Perarnau:2010:KRC, 45(5)327--328
-
Perathoner, Simon, 45(4)37--46
-
Perathoner:2010:MSE, 45(4)37--46
-
perceive, 46(2)1--2
-
perceived, 45(5)203--212
-
percent, 47(4)91--104
-
perception, 45(9)87--92
-
Pérez, Juan Antonio Navarro, 46(6)556--566
-
Perez:2011:SLS, 46(6)556--566
-
Perfctr-Xen, 46(7)15--26
-
perform, out-, 47(4)105--118
-
performance, cost-, 47(5)119--128
-
performance, fairness-, 45(3)335--346
-
performance, High-, 47(4)279--290
-
performance, low-, 45(7)97--108
-
performance, power-, 45(4)85--94
-
performance-vulnerability, 45(4)143--152
-
performance-wise, 45(12)1--14
-
performance., 45(3)103--116, 45(6)471--482, 45(7)157--166
-
performance/accuracy, 47(4)265--278
-
performed, 45(2)75--84, 45(4)95--104, 45(5)343--344, 45(6)62--73,
45(7)85--96, 45(8)11--20, 46(8)69--80, 46(8)189--200, 46(11)65--76,
47(1)469--480, 47(2)97--106, 47(3)157--166, 47(4)15--26,
47(5)51--60
-
performing, 45(3)219--230, 45(3)285--296, 45(3)297--310, 45(5)25--36,
45(5)349--350, 45(6)25--35, 45(6)244--254, 46(8)189--200,
46(8)277--288, 47(2)13--24, 47(3)185--186, 47(4)381--392,
47(5)31--40, 47(5)51--60
-
performing, top-, 46(8)179--188
-
perhaps, 47(5)21--30
-
period, 45(4)133--142, 45(6)255--268, 46(6)283--294, 46(11)79--88,
47(4)305--318, 47(4)319--332
-
periodic, 45(3)103--116
-
periphery, 45(4)67--76
-
Perl, 45(7)13--24, 45(7)121--132
-
permanent, 45(4)85--94, 45(8)21--30, 47(4)105--118
-
permission, 47(1)111--122, 47(1)323--336, 47(1)557--570
-
permissive, 47(1)455--468
-
permit, 46(12)95--106, 47(1)509--520, 47(1)545--556, 47(2)37--50
-
permitted, 45(5)233--244
-
permitting, 47(1)45--58
-
permutation, 46(11)33--42
-
Perry, Frances, 45(6)363--375
-
Perry, Frances, see Chambers, Craig
-
Perscheid, Michael, 47(2)51--60
-
Perscheid, Michael, see Hirschfeld, Robert
-
persist, 47(4)91--104
-
persisted, 47(3)83--92
-
persistence, 45(2)75--84, 46(5)121--130, 46(8)1--2, 47(4)91--104,
47(4)105--118
-
persistent, 46(3)91--104, 46(3)105--118, 46(11)99--108, 47(4)91--104,
47(4)105--118
-
persisting, 47(3)83--92
-
person, 47(5)61--70
-
Person, Suzette, 46(6)504--515
-
person-hours, 47(4)265--278
-
Person:2011:DIS, 46(6)504--515
-
personality, 46(6)458--469, 47(4)291--304
-
personalized, 47(2)25--36
-
personally, 45(7)63--74
-
perspective, 45(8)1--10, 45(9)87--92, 46(2)13--22, 47(2)51--60,
47(3)95--96, 47(4)171--184
-
perturb, 46(2)113--122
-
perturbation, 45(5)333--334, 45(6)279--291
-
perturbed, 45(6)279--291
-
pervasive, 45(2)75--84, 45(2)137--146, 45(3)179--192, 45(10)47--61,
45(10)671--690, 47(5)99--108
-
pervasiveness, 45(8)1--10
-
PEs, 45(4)17--26
-
pessimistic, 45(5)37--46, 46(10)865--884
-
Pestov, Sviatoslav, 45(12)43--58
-
Pestov:2010:FDS, 45(12)43--58
-
petaflop, 45(5)1--2
-
Peter, Simon, 46(3)119--132, 47(4)119--132
-
Peter, Simon, see Schüpbach, Adrian
-
Petrank, Erez, 45(8)1--10, 46(1)475--486, 46(8)223--234
-
Petrank, Erez, see Barabash, Katherine,
see Bendersky, Anna, \see{Kogan, Alex
-
Petricek, Tomas, 45(8)53--62, 46(12)1--12
-
Petricek:2010:CHG, 45(8)53--62
-
Petricek:2011:EMP, 46(12)1--12
-
Peyton-Jones, 46(12)83--94
-
Peyton-Jones, Simon, 46(12)118--129
-
Peyton-Jones, Simon, see Epstein, Jeff
-
Pflüger, Dirk, 46(8)25--34, see Murarasu, Alin
-
pGraph, 46(8)235--246
-
Ph, 45(6)98--98
-
PHALANX, 45(8)41--50
-
PHANTOM, 45(5)305--314
-
phase, 3-, 45(4)77--84
-
phase, two-, 45(6)134--145
-
phase-change, 45(3)3--14, 47(4)91--104
-
phenomena, 46(11)55--64
-
Philippsen, Michæl, 46(11)1--10, see Veldema, Ronald
-
philosophy, 45(7)97--108
-
Phoenix, 45(6)198--209
-
phone, 45(3)1--2, 45(5)103--104, 47(5)21--30
-
PHP, 45(7)121--132, 47(2)25--36
-
php, 45(7)121--132
-
physical, cyber-, 45(10)822--834
-
physically, 45(2)157--166
-
physics, 47(1)73--84
-
Piccolo, Mauro, 46(9)372--384
-
Piccolo, Mauro, see Gaboardi, Marco
-
pick, 46(1)17--30
-
PID, 45(6)279--291
-
piece, 46(2)33--42, 46(12)35--46, 47(2)97--106, 47(4)1--2
-
Pientka, Brigitte, 47(1)413--424
-
Pientka, Brigitte, see Cave, Andrew
-
Pierce, Benjamin, 46(1)371--384, 47(1)495--508
-
Pierce, Benjamin, see Hofmann, Martin
-
Pierce, Benjamin C., 45(1)353--364, 45(9)157--168, 45(9)193--204,
45(10)2--2
-
Pierce, Benjamin C., see Barbosa, Davi M. J.,
see Greenberg, Michael, \see{Reed, Jason
-
Pierce:2010:ASF, 45(10)2--2
-
Piessens, Frank, 46(1)271--282, 46(9)143--155
-
Piessens, Frank, see Devriese, Dominique,
see Jacobs, Bart
-
pilot, 45(5)351--352
-
Pingali, Keshav, 45(5)3--14, 45(10)428--443, 46(1)159--172,
46(3)333--344, 46(6)12--25, 46(6)542--555, 46(8)3--12,
47(4)333--344
-
Pingali, Keshav, see Hassaan, Muhammad Amber,
see Kulkarni, Milind,
see Méndez-Lojo, Mario,
see Nguyen, Donald,
see Prountzos, Dimitrios
-
Pingali:2011:TPA, 46(6)12--25
-
Pinocchio, 45(10)774--789
-
pinpoint, 45(6)174--186
-
Pinto, Don, 45(5)325--326
-
Pinto, Don, see Lupei, Daniel
-
Pinto, Pedro da Rocha, 46(10)845--864
-
Pinto:2011:SAC, 46(10)845--864
-
pipeline, 45(5)315--324, 45(6)363--375, 47(5)61--70
-
pipelined, 45(3)65--76, 45(5)191--202, 45(5)315--324
-
pipelined, software-, 45(5)191--202
-
pipelining, 45(1)83--92
-
Pirog, Maciej, 45(11)25--36
-
Pirog:2010:SDS, 45(11)25--36
-
Piskac, Ruzica, 45(6)316--329
-
Piskac, Ruzica, see Kuncak, Viktor
-
Pister, Markus, 45(4)67--76
-
Pister, Markus, see Schlickling, Marc
-
Pistoia, Marco, 46(10)1053--1068
-
Pistoia, Marco, see Sridharan, Manu
-
pitfall, 45(3)257--270, 45(3)347--358, 45(5)179--190, 46(4)53--64
-
Pitts, Andrew M., 45(1)159--170
-
Pitts:2010:NS, 45(1)159--170
-
pivotal, 47(1)425--426
-
pixels/elements, 45(5)343--344
-
Pizlo, Filip, 45(6)146--159
-
Pizlo:2010:SFT, 45(6)146--159
-
place, 45(5)341--342, 45(6)13--24, 46(11)55--64, 47(2)85--96,
47(4)345--356, 47(5)21--30
-
place, in-, 46(11)129--138, 47(5)51--60
-
placed, 45(5)203--212
-
placeholders, 45(2)99--108
-
placement, 45(3)3--14, 45(3)219--230, 45(5)355--356, 45(8)113--120,
46(11)55--64
-
placing, 47(5)41--50
-
Plaid, 46(10)713--732
-
plan, 45(6)363--375, 46(6)458--469
-
planned, 45(5)169--178, 45(7)37--38
-
planner, 46(6)458--469
-
Plasmeijer, Rinus, 45(11)49--60
-
Plasmeijer, Rinus, see Groningen, John van
-
plausible, 47(1)387--400
-
play, 45(2)35--44, 45(3)1--2, 45(9)357--368, 47(1)215--216,
47(1)285--296, 47(2)97--106
-
play, plug-and-, 46(2)93--102
-
playback, 45(2)147--156
-
played, 47(3)185--186
-
Playing, 47(1)259--272
-
PLDI, 47(6)1--12, 47(6)13--22, 47(6)23--34, 47(6)35--44, 47(6)45--54,
47(6)55--66, 47(6)67--76, 47(6)77--88, 47(6)89--98
-
plentiful, 47(4)159--170
-
pList, 46(8)235--246
-
Ploennigs, Joern, 46(2)23--32
-
Ploennigs, Joern, see Ryssel, Uwe
-
PLogP, 45(5)293--304
-
Plotkin, Gordon D., 47(1)349--360
-
Plotkin, Gordon D., see Kammar, Ohad
-
plots, 47(6)89--98
-
PLT, 47(1)285--296
-
plug, 47(1)427--440
-
plug-and-play, 46(2)93--102
-
plug-in, 45(5)233--244, 46(2)93--102
-
plugin-based, 45(6)412--423
-
plus, 45(5)351--352, 45(8)73--82, 47(1)495--508
-
Plux, 46(2)93--102
-
Plux.NET, 46(2)93--102
-
pMap, 46(8)235--246
-
pMatrix, 46(8)235--246
-
pocket, 46(3)171--184, 47(4)171--184
-
PocketSearch, 47(4)171--184
-
Podelski, Andreas, 45(1)249--260, 45(1)471--482
-
Podelski, Andreas, see Heizmann, Matthias
-
Podelski-Rybalchenko, 47(1)245--258
-
Podelski:2010:CGF, 45(1)249--260
-
Pohle, Aaron, 45(7)3--12
-
Pohle:2010:CWM, 45(7)3--12
-
point, fixed-, 46(9)359--371
-
point, floating-, 45(6)233--243
-
point, point-to-, 45(4)85--94, 45(5)159--168, 45(5)293--304
-
point, variation-, 46(2)23--32
-
point-to-point, 45(4)85--94, 45(5)159--168, 45(5)293--304
-
pointcut, 45(2)35--44
-
pointcut-advice, 45(2)35--44
-
pointer, Allocation-Site-via-a-Class-, 45(7)109--120
-
pointer, dangling-, 45(3)179--192
-
pointer-based, 45(5)3--14
-
pointer-dereference, NULL-, 45(3)179--192
-
pointers., 45(8)73--82
-
Points, Object-, 47(3)157--166
-
points-to, 45(5)37--46, 45(6)160--173, 45(6)305--315, 45(10)428--443,
46(1)3--16, 47(1)309--322, 47(1)373--386
-
poisoning, 45(7)63--74
-
policy., 45(5)341--342
-
pollution, 46(8)103--112
-
polygon, 45(4)27--36
-
polymorphic, 45(9)63--74, 47(1)361--372, 47(2)37--50
-
polymorphic, shape-, 45(9)261--272
-
polymorphism, 45(12)81--96, 46(9)94--106, 46(9)107--116, 46(10)973--992,
47(1)231--244, 47(5)11--20
-
polynomial, 45(4)1--8, 45(5)25--36, 47(1)387--400
-
polynomial-time, 45(6)305--315
-
polyvariant, 45(9)63--74
-
pooling, 46(7)121--132
-
poor, 45(3)205--218, 45(5)179--190, 45(6)36--49, 46(2)53--62,
46(8)267--276, 46(8)297--298, 46(11)55--64, 47(1)165--178,
47(1)495--508
-
poorly, 45(6)376--387, 46(8)247--256, 47(6)13--22
-
Pop, Iustin, 45(9)369--374
-
Pop:2010:ERH, 45(9)369--374
-
Popeea, Corneliu, 46(1)331--344
-
Popeea, Corneliu, see Gupta, Ashutosh
-
Popescu, Andrei, 46(9)346--358
-
Popescu:2011:RPS, 46(9)346--358
-
popularity, 45(2)99--108, 46(5)31--40, 47(4)185--198
-
populate, 45(3)219--230
-
populating, 45(6)174--186
-
Porkolab, Zoltán, 46(2)137--146
-
Porkolab:2011:DSL, 46(2)137--146
-
port, 45(7)3--12, 45(7)39--50, 45(8)93--102
-
portability, 45(3)347--358, 45(5)179--190, 45(5)351--352, 45(7)51--62,
47(4)145--158, 47(4)381--392, 47(5)71--78, 47(5)149--152,
47(6)13--22
-
portable, 45(2)1--2, 45(4)115--124, 46(2)137--146, 46(3)381--392,
46(8)69--80, 46(8)213--222, 46(8)277--288, 47(4)381--392,
47(5)149--152, 47(6)13--22
-
portable., 45(2)137--146
-
ported, 45(5)325--326, 45(6)376--387
-
Porter, Donald E., 45(5)349--350, 46(3)291--304, 47(4)291--304
-
Porter:2010:MTM, 45(5)349--350
-
Porter:2011:RLT, 46(3)291--304
-
Porter:2012:RLT, 47(4)291--304
-
Porterfield, Allan, 45(5)269--280
-
Porterfield, Allan, see Tallent, Nathan R.
-
porting, 46(8)113--122
-
portion, 45(3)385--396, 45(7)37--38, 45(7)157--166, 46(5)31--40,
47(4)213--224, 47(4)279--290
-
pose, 45(6)62--73, 45(12)97--112, 47(5)61--70
-
posed, 47(6)13--22
-
positive, 45(3)91--102, 45(3)179--192, 45(3)257--270, 45(5)25--36,
45(5)203--212, 45(6)160--173, 45(7)37--38, 45(10)22--35,
46(8)135--146, 46(10)19--34, 47(1)19--30, 47(4)239--250
-
positive, false-, 47(4)251--264
-
POSIX, 45(3)53--64, 45(7)3--12
-
POSIX, non-, 45(7)3--12
-
POSIX-like, 45(7)3--12
-
possibility, 45(3)359--370, 45(5)281--292, 47(1)19--30
-
possibly, 45(3)219--230, 45(5)335--336, 47(3)167--176
-
post-conditions, 47(1)123--136
-
post-failure, 47(4)3--14
-
post-shipping, 45(6)448--459
-
postcondition, 46(2)53--62, 46(4)84--96
-
poster, 45(5)341--342, 45(5)345--346
-
Potanin, Alex, 45(10)598--617
-
Potanin, Alex, see Zibin, Yoav
-
potentially, 45(4)95--104, 45(4)115--124, 45(4)133--142, 45(5)203--212,
45(5)233--244, 45(5)325--326, 46(2)113--122, 47(1)137--150,
47(1)557--570
-
Pottier, François, 45(9)217--228, 46(1)147--158,
see Pouillard, Nicolas
-
Pottier:2011:TSP, 46(1)147--158
-
Pouchet, Louis-Noël, 46(1)549--562
-
Pouchet:2011:LTC, 46(1)549--562
-
Pouillard, Nicolas, 45(9)217--228, 46(9)320--332
-
Pouillard:2010:FLP, 45(9)217--228
-
Pouillard:2011:NP, 46(9)320--332
-
Pouzet, Marc, 46(5)61--70, 47(5)51--60
-
Pouzet, Marc, see Benveniste, Albert,
see Gérard, Léonard
-
POWER, 46(6)175--186, 47(1)509--520
-
power, high-, 47(4)185--198
-
power, low-, 45(3)243--256, 46(3)225--238, 46(6)164--174,
47(4)185--198, 47(4)225--238
-
power, refresh-, 46(3)213--224, 47(4)213--224
-
power, server-, 45(3)243--256
-
power-aware, 46(3)199--212, 47(4)199--212
-
power-efficiency, 45(4)17--26, 47(4)345--356
-
power-efficient, 45(3)15--28, 47(4)369--380
-
power-performance, 45(4)85--94
-
Power7, 46(8)201--212
-
PowerDial, 47(4)199--212
-
powered, 47(4)159--170
-
powered, battery-, 47(4)1--2
-
PowerPoint, 47(4)291--304
-
Powerstone, 47(5)41--50
-
PowerTrade, 45(3)243--256
-
PP-CC, 46(8)299--300
-
PPoPP, 46(8)1--2, 46(8)3--12, 46(8)13--24, 46(8)25--34, 46(8)35--46,
46(8)47--56, 46(8)57--68, 46(8)69--80, 46(8)81--90, 46(8)91--102,
46(8)103--112, 46(8)113--122, 46(8)123--124, 46(8)125--134,
46(8)135--146, 46(8)147--156, 46(8)157--168, 46(8)169--178,
46(8)179--188, 46(8)189--200, 46(8)201--212, 46(8)213--222,
46(8)223--234, 46(8)235--246, 46(8)247--256, 46(8)257--266,
46(8)267--276, 46(8)277--288, 46(8)289--290, 46(8)291--292,
46(8)293--294, 46(8)295--296, 46(8)297--298, 46(8)299--300,
46(8)301--302, 46(8)303--304, 46(8)305--306, 46(8)307--308,
46(8)309--310, 46(8)311--312, 46(8)313--314
-
PPR, 45(5)335--336
-
Prabhakar, Ramya, 46(8)289--290
-
Prabhakar:2011:QAS, 46(8)289--290
-
Prabhu, Prakash, 45(6)50--61, 46(6)1--11, 46(6)142--151
-
Prabhu, Prakash, see Jablin, Thomas B.
-
Prabhu, Tarun, 46(1)511--522
-
Prabhu:2010:SPS, 45(6)50--61
-
Prabhu:2011:CSL, 46(6)1--11
-
Prabhu:2011:EAF, 46(1)511--522
-
practicability, 47(3)3--12
-
practicality, 47(1)427--440, 47(1)557--570
-
practice., 45(6)483--496
-
practise, 45(2)15--24
-
pragmatic, 46(2)127--136, 47(3)93--94, 47(4)291--304
-
Prasad, Ashwin, 46(6)152--163
-
Prasad:2011:ACM, 46(6)152--163
-
pre, 46(2)53--62, 46(4)84--96, 47(1)123--136
-
pre-allocate, 47(3)107--116
-
pre-assigned, 45(4)1--8
-
pre-conditions, 46(10)1033--1052
-
pre-empting, 45(8)11--20
-
pre-images, 47(1)137--150
-
pre-requirements, 45(10)848--864
-
pre-shipping, 45(6)448--459
-
precedence, 46(8)113--122
-
precedes, causally-, 47(1)387--400
-
preceding, 45(8)63--72
-
precipitated, 45(2)1--2
-
precisely, 45(6)134--145, 46(8)201--212, 47(1)231--244, 47(3)147--156
-
precision, double-, 45(5)115--126, 45(6)233--243
-
precision, high-, 45(6)233--243
-
precision, single-, 45(5)115--126
-
preclude, 45(6)36--49, 47(1)59--72
-
precondition, 47(1)19--30
-
predetermined, 45(2)5--14
-
predicatively, 45(3)179--192
-
predict, 45(3)91--102, 45(5)105--114, 45(5)305--314, 45(5)315--324,
45(5)349--350, 45(7)133--144, 46(8)91--102, 46(8)103--112,
47(1)45--58, 47(5)119--128
-
predictability, 47(5)41--50
-
predictable, 45(5)103--104, 45(6)146--159, 45(6)316--329, 46(5)131--140,
46(8)289--290, 47(1)521--532
-
predicted, 45(5)305--314, 45(5)315--324, 45(8)63--72, 47(5)89--98
-
predicted., 45(5)331--332
-
predicting, 45(5)105--114, 45(5)305--314
-
prediction, 45(5)293--304, 45(5)305--314, 45(5)315--324, 45(6)50--61,
45(8)63--72, 45(8)121--130, 47(5)89--98, 47(5)119--128
-
predictive, 47(1)387--400
-
predictor, 47(5)89--98
-
preempt, 45(3)117--128
-
preempted, 45(3)117--128, 45(4)153--162
-
preempting, 45(4)153--162
-
preemption, 45(4)153--162, 45(5)15--24
-
preemption-bounding, 45(5)15--24
-
preemptive, 45(4)153--162, 45(6)99--110, 46(8)147--156, 46(9)404--417
-
PREFAIL, 46(10)171--188
-
preference, 47(5)109--118
-
preferred, 47(5)109--118
-
prefetch, 45(3)297--310, 45(5)331--332, 47(4)393--404
-
prefetched, 45(5)331--332
-
prefetcher, 45(3)297--310, 45(3)359--370
-
prefetching, 45(3)129--142, 45(3)297--310, 45(3)359--370, 45(5)331--332,
45(5)343--344, 46(3)393--404, 46(10)259--274, 47(4)393--404,
47(5)89--98
-
Preikschat, Wolfgang, Schröder-, 46(2)33--42, 46(8)301--302
-
preliminarily, 45(5)203--212
-
preliminary, 45(5)357--358, 46(8)169--178, 46(8)213--222,
46(12)118--129, 47(2)61--72
-
prematurely, 46(5)31--40
-
premise, 45(6)448--459, 45(7)37--38
-
premium, 45(3)1--2
-
preprocessing, 46(8)247--256
-
preprocessor, 45(2)157--166, 46(2)33--42, 47(3)23--32
-
preprocessor-based, 46(2)33--42, 47(3)23--32
-
prerequisite, 45(2)99--108
-
Presburger, 45(6)316--329
-
presence, 45(2)35--44, 45(2)75--84, 45(5)37--46, 45(6)62--73,
45(8)31--40, 45(8)63--72, 46(2)113--122, 46(4)65--83, 46(8)125--134,
46(10)805--824, 47(1)19--30, 47(1)455--468, 47(2)51--60,
47(4)67--78, 47(4)91--104, 47(4)105--118, 47(4)369--380
-
presentation, 45(2)25--34, 46(9)259--265, 47(1)1--2, 47(1)323--336,
47(1)337--348, 47(1)469--480
-
presented, 45(2)177--186, 45(3)219--230, 45(12)43--58, 46(6)283--294,
46(12)47--58, 47(1)297--308, 47(2)25--36, 47(3)63--72
-
presenting, 45(2)99--108, 46(9)259--265
-
preservation, 47(1)455--468
-
preservation, SC-, 46(6)199--210
-
preserve, 45(2)25--34, 45(3)91--102, 45(5)331--332, 45(6)111--121,
45(6)424--435, 45(8)51--52, 46(6)199--210, 46(8)57--68,
47(1)309--322, 47(3)33--42
-
preserved, 45(4)163--172, 47(1)455--468
-
preserving, 45(5)351--352, 46(6)199--210, 47(1)151--164, 47(5)61--70
-
preserving, behaviour-, 46(6)447--457
-
preserving, equivalence-, 46(9)431--444
-
preserving, SC-, 46(6)199--210
-
preserving, SC-, 46(6)199--210
-
preserving, semantics-, 45(2)117--126, 47(1)441--454
-
preserving, Type-, 45(6)412--423
-
preserving, type-, 45(6)412--423
-
Presidential, 45(6)98--98
-
pressing, 47(5)51--60
-
pressure, 45(5)213--222, 47(1)215--216
-
pretenuring, 45(7)109--120
-
Prettier, 46(12)83--94
-
pretty, 45(11)1--12
-
pretty-printers, 46(12)107--117
-
prevalent, 45(5)15--24, 45(6)400--411, 45(7)3--12, 45(8)31--40,
47(4)239--250
-
prevent, 45(4)163--172, 45(5)179--190, 45(7)97--108, 45(8)1--10,
46(5)31--40, 47(1)165--178, 47(2)37--50, 47(4)105--118,
47(4)145--158
-
prevented, 45(5)137--146
-
preventing, 45(6)50--61, 46(8)169--178, 47(4)105--118
-
price, 45(8)51--52, 46(10)427--444
-
primarily, 45(3)129--142, 45(3)155--166, 45(4)9--16, 46(8)267--276,
47(1)165--178
-
primary, 45(3)231--242, 45(4)163--172, 45(11)49--60, 47(1)285--296,
47(4)185--198, 47(4)381--392
-
prime, 45(4)27--36
-
principal, 45(7)39--50
-
principally, 45(8)21--30
-
principle, 45(2)1--2, 45(2)5--14, 45(4)57--66, 45(5)315--324,
45(8)51--52, 45(12)59--72, 46(8)201--212, 46(9)346--358,
46(9)359--371, 46(11)43--54, 47(1)97--110, 47(1)245--258,
47(1)323--336
-
principled, 45(6)36--49, 45(12)59--72, 47(1)97--110, 47(3)117--126,
47(3)185--186, 47(4)265--278
-
printed, 45(6)233--243
-
printers, pretty-, 46(12)107--117
-
printf, 47(3)185--186
-
printing, 45(6)233--243, 45(11)1--12
-
priori, 45(7)13--24
-
priorities., 45(7)85--96
-
priorities/shares, 45(3)91--102
-
priorities/shares., 45(3)91--102
-
priorities/weights, 45(3)335--346
-
prioritize, 45(5)15--24
-
prioritized, 45(3)335--346, 45(5)15--24
-
prioritizing, 47(1)19--30
-
priority, 45(6)483--496, 46(1)93--104
-
priority-based, 46(8)223--234
-
prison, 46(10)1--2
-
privacy, 45(3)143--154, 45(9)157--168, 47(1)73--84, 47(1)85--96,
47(1)97--110, 47(4)3--14
-
private, 45(8)21--30, 46(8)69--80, 47(1)97--110
-
privatization, 45(5)67--78
-
privilege, 45(3)117--128, 47(1)165--178
-
probabilistically, 45(7)109--120
-
probability, 45(3)167--178, 45(4)67--76, 46(8)303--304, 47(1)545--556
-
probably, 46(2)33--42, 46(11)43--54
-
problem-solution, 45(2)167--176
-
problem-space, 45(2)167--176
-
problem-specific, 45(6)483--496
-
problem., 45(5)91--100
-
problematic, 45(6)160--173, 45(6)471--482, 47(1)165--178, 47(5)129--138
-
problems., 45(7)25--36
-
procedural, inter-, 46(6)578--589
-
proceed, 46(2)177--186, 46(8)179--188, 47(1)215--216
-
Process, Inter-, 46(8)307--308
-
process., 45(4)67--76
-
process/channel, 45(5)351--352
-
processed, 45(6)233--243, 46(2)73--82, 47(1)217--230
-
processing, image-, 47(5)61--70
-
processing, list-, 46(1)599--610
-
processing, packet-, 47(1)215--216
-
processing, signal-, 45(6)279--291
-
processor, 2-, 46(11)11--20
-
Processor, Multi-, 45(4)77--84
-
processor, multi-, 45(5)147--158
-
processor, single-, 47(4)15--26
-
processor, uni-, 45(3)219--230
-
processors, multi-, 45(5)47--56
-
processors, multi-, 45(3)143--154
-
procurement, 46(8)113--122
-
produced, 45(5)327--328, 45(6)198--209, 46(8)125--134, 47(3)185--186
-
>produces, 45(6)13--24
-
producing, 45(6)424--435, 46(5)31--40, 46(6)458--469, 47(3)185--186,
47(4)369--380
-
product, by-, 45(2)147--156
-
product, cross-, 47(3)13--22
-
product., 45(3)29--38
-
production, 45(2)3--4, 45(3)143--154, 45(3)179--192, 45(3)231--242,
45(5)233--244, 45(6)255--268, 45(7)109--120, 45(8)41--50,
47(1)509--520, 47(4)3--14
-
production, in-, 45(6)198--209
-
production-quality, 45(7)121--132, 47(2)13--24
-
production-scale, 45(3)167--178
-
productive, 45(4)27--36, 46(11)43--54
-
productiveness, 46(5)161--170
-
productivity, 45(5)15--24, 46(8)293--294, 47(3)33--42
-
Professor, 45(6)98--98
-
Professorship, 45(6)98--98
-
profile, 45(2)127--136, 45(5)327--328, 45(6)187--197, 45(7)133--144,
46(6)98--108, 46(8)257--266, 46(8)293--294, 47(4)239--250,
47(5)99--108, 47(6)89--98
-
profile-based, 45(3)193--204, 47(4)145--158
-
profile-guided, 47(5)79--88
-
profiler, 45(2)85--94, 45(6)187--197, 46(8)293--294, 47(6)67--76,
47(6)89--98
-
profiling-based, 47(5)99--108
-
profit, 45(3)385--396
-
profound, 47(1)273--284, 47(5)31--40
-
profoundly, 45(6)305--315
-
program, whole-, 47(4)369--380
-
program-level, 45(4)95--104
-
program-specific, 45(6)448--459
-
program., 45(6)244--254
-
programmability, 45(3)297--310, 45(5)1--2, 45(5)37--46, 47(6)13--22
-
programmable, 45(3)297--310, 45(6)50--61, 46(10)171--188, 47(1)215--216
-
programmatic, 46(2)93--102
-
programmed, 46(8)13--24, 47(5)11--20, 47(6)23--34
-
programmed, multi-, 46(8)201--212
-
programmer-controlled, 46(11)99--108
-
programmer-defined, 47(4)79--90
-
programmer-managed, 45(3)347--358
-
programmer-observable, 45(8)51--52
-
programmer-provided, 45(6)279--291
-
programmer-specified, 45(5)281--292
-
programmer-visible, 45(8)51--52
-
programming, ease-of-, 45(5)179--190, 45(6)341--350
-
programming, meta-, 45(12)81--96, 46(2)1--2, 47(3)107--116
-
programming-languages, 47(1)215--216
-
programming., 45(5)325--326
-
programs., 45(3)271--284, 45(6)279--291, 45(6)424--435
-
progress, 45(5)15--24, 45(5)147--158, 45(8)11--20, 46(8)113--122,
46(8)123--124, 47(1)59--72, 47(1)245--258, 47(1)297--308,
47(3)93--94, 47(5)119--128
-
progress, work-in-, 46(8)313--314
-
prohibitive, 45(6)13--24, 46(8)135--146
-
prohibits, 47(5)71--78
-
project, 45(2)1--2, 45(2)127--136, 45(5)3--14, 45(5)67--78, 45(7)37--38,
45(9)369--374, 46(2)33--42, 46(2)177--186, 47(3)167--176
-
projecting, 45(6)305--315
-
projection, 45(4)77--84
-
Prolog, 46(11)129--138
-
prominent, 47(1)59--72
-
promise, 45(4)17--26, 45(5)47--56, 45(5)91--100, 45(5)349--350,
47(4)91--104, 47(4)291--304
-
promised, 45(5)1--2
-
promised, long-, 47(4)291--304
-
promising, 45(3)3--14, 45(4)77--84, 45(5)79--90, 45(5)105--114,
45(5)315--324, 45(7)133--144, 46(8)267--276, 47(1)151--164,
47(4)39--52, 47(4)405--418, 47(5)109--118
-
promote, 45(2)95--98
-
promoted, 46(2)63--72
-
promotion, 45(5)103--104
-
prone, 45(6)244--254, 46(2)63--72
-
prone, error-, 45(2)95--98, 45(4)67--76, 45(5)15--24,
45(5)281--292, 46(2)157--166, 46(2)177--186, 47(1)97--110,
47(1)215--216, 47(3)53--62, 47(6)1--12
-
prone., 45(6)244--254
-
proof-carrying, 45(6)412--423
-
proof-of-concept, 45(6)187--197
-
proof-rules, 45(6)292--304
-
propagate, 47(4)251--264
-
propagated, back-, 47(3)13--22
-
propagating, 45(6)483--496
-
propagation, 45(6)292--304, 46(5)161--170, 46(6)199--210, 47(4)251--264
-
propagation, error-, 45(3)179--192
-
proper, 45(7)85--96, 46(8)103--112
-
properly, 46(8)267--276, 47(1)19--30, 47(6)13--22
-
prophecy, 46(1)399--410
-
proportion, 45(6)255--268, 45(6)471--482
-
proportional, 45(6)255--268, 45(6)483--496
-
proportional, load-, 47(4)185--198
-
proportionality, 45(6)255--268
-
proportionality, energy-, 47(4)225--238
-
proposal, 45(3)15--28, 45(3)193--204, 45(3)231--242, 45(3)243--256,
45(5)191--202, 45(6)25--35, 46(2)73--82, 46(8)179--188,
47(1)509--520, 47(3)167--176, 47(5)11--20, 47(6)35--44
-
proposed, Recently-, 45(3)65--76
-
proposing, 45(8)1--10
-
proposition, 45(2)127--136
-
propositional, 46(2)33--42
-
proprietary, 47(1)215--216, 47(3)53--62, 47(4)265--278
-
pros, 45(5)341--342
-
prose, 45(8)51--52
-
prospective, 47(2)51--60
-
protect, 45(3)385--396, 45(4)143--152, 46(8)103--112, 46(8)125--134,
47(1)85--96, 47(1)97--110, 47(5)99--108
-
protected, 45(5)245--256, 45(7)63--74, 47(4)159--170
-
protecting, 45(3)385--396, 45(4)143--152, 45(5)245--256, 47(5)99--108
-
protection, 45(3)371--384, 45(3)385--396, 45(3)397--408, 45(10)634--651,
47(4)291--304, 47(5)99--108
-
proto-scientific, 45(10)901--917
-
prototyping, 46(2)53--62, 47(4)27--38
-
Prountzos, Dimitrios, 45(5)3--14, 46(1)159--172, 46(6)12--25,
46(6)542--555
-
Prountzos, Dimitrios, see Kulkarni, Milind,
see Méndez-Lojo, Mario,
see Pingali, Keshav
-
Prountzos:2011:SAO, 46(1)159--172
-
provably, 45(6)436--447, 47(1)509--520
-
proved, 45(6)111--121, 45(6)305--315, 45(6)424--435, 46(8)125--134,
47(1)31--44
-
proven, 45(2)3--4, 45(6)111--121, 46(12)35--46
-
prover, 45(6)99--110, 46(6)556--566, 47(1)259--272, 47(1)425--426,
47(1)427--440
-
provided, 45(3)143--154, 45(5)3--14, 45(5)341--342, 45(8)41--50,
46(8)91--102, 46(8)307--308, 47(1)297--308, 47(1)571--584,
47(3)83--92, 47(3)157--166, 47(3)167--176, 47(3)185--186
-
provided, programmer-, 45(6)279--291
-
provider, 45(5)15--24
-
proving, 46(9)359--371, 46(12)23--34, 47(1)123--136, 47(1)259--272,
47(1)373--386, 47(1)425--426, 47(1)455--468
-
provision, 45(3)243--256, 46(2)93--102
-
provisioned, over-, 45(3)243--256, 45(6)471--482
-
provisioning, 45(3)231--242, 46(7)51--62, 47(3)53--62
-
provisioning, over-, 45(3)243--256
-
proxy, 45(12)59--72
-
proxy-based, 45(12)59--72
-
prune, 45(3)179--192, 46(5)161--170, 46(8)257--266, 47(1)373--386
-
pruning, 46(1)549--562, 46(6)590--601
-
pSet, 46(8)235--246
-
pseudo-random, 47(3)185--186
-
pstatic, 47(4)91--104
-
PTIME, 47(1)203--214
-
Pu, Yewen, 46(10)83--98
-
Pu:2011:SFO, 46(10)83--98
-
public, 45(6)448--459, 46(8)309--310, 47(3)185--186, 47(4)305--318
-
publication, 45(5)67--78
-
published, 45(3)323--334, 45(6)341--350, 46(8)201--212, 46(8)307--308,
47(4)305--318
-
publish/subscribe, 47(3)53--62
-
pub/sub, 47(3)53--62
-
PUCB, GP-, 47(5)119--128
-
Pucella, Riccardo, 46(1)447--458, 46(10)625--642
-
Pucella, Riccardo, see Tov, Jesse A.
-
Pukall, Mario, 47(3)3--12
-
Pukall, Mario, see Rosenmüller, Marko
-
Pulou, Jacques, 46(2)73--82
-
Pulou, Jacques, see Navas, Juan F.
-
Purandare, Rahul, 45(10)270--285
-
Purandare:2010:MOS, 45(10)270--285
-
pure, 45(1)287--298, 45(4)9--16, 45(4)85--94, 45(5)337--338,
45(6)424--435, 45(10)918--932, 46(8)157--168, 46(12)71--82,
46(12)83--94, 47(4)369--380
-
pure-CMP, 45(5)191--202
-
pure-SMT, 45(5)191--202
-
purely, 45(5)37--46, 45(6)400--411, 46(4)65--83, 46(9)129--141,
46(12)83--94, 47(1)231--244, 47(3)185--186
-
purity, 45(6)50--61
-
purpose, 45(2)3--4, 45(2)25--34, 45(2)55--64, 45(3)347--358,
45(5)105--114, 45(6)1--12, 45(6)86--97, 45(6)221--232,
45(7)121--132, 45(8)113--120, 46(2)33--42, 46(2)137--146,
46(11)1--10, 47(1)285--296, 47(1)413--424, 47(3)95--96
-
purpose, general-, 45(3)65--76, 45(3)297--310, 45(5)105--114,
46(2)93--102, 46(8)35--46, 46(11)55--64, 47(2)73--84, 47(3)107--116,
47(4)159--170, 47(4)369--380, 47(5)149--152, 47(6)1--12
-
Purpose, Multi-, 47(3)95--96
-
purpose, multi-, 45(3)39--52
-
purpose, special-, 45(7)13--24
-
pursue, 45(3)205--218, 47(5)31--40
-
pursuit, 45(7)39--50
-
Püschel, Markus, 47(5)119--128, see Zuluaga, Marcela
-
Push-Value, Call-by-, 47(1)349--360
-
pushdown, 46(9)69--80
-
pushed, 47(1)215--216
-
put, 45(6)448--459, 45(7)75--84, 46(11)1--10, 47(1)215--216,
47(1)557--570, 47(3)73--82
-
putting, 45(3)243--256
-
PV, 45(5)245--256
-
pVector, 46(8)235--246
-
Pyka, Robert, 45(4)9--16
-
Pyka:2010:VSL, 45(4)9--16
-
Pyla, Hari K., 46(10)555--574
-
Pyla:2011:ECG, 46(10)555--574
-
Pym, 46(4)84--96
-
PyPy, 47(2)25--36
-
Python, 45(2)55--64, 45(7)121--132, 45(9)369--374, 45(12)27--42,
46(8)47--56, 47(2)25--36, 47(2)51--60
-
Python/C, 45(6)36--49
-
python/C, 45(6)36--49