Index file section P for complngs.bib

Last update: Thu Jun 20 02:00:37 MDT 2019               

Return to index directory

P

• P-code, 9(3)149--159
• Pace, J. A., Díaz-, 46(z)1--19
• package, 3(1)1--11, 9(2)89--96, 10(3)179--187, 16(3)209--233, 17(3)157--167, 21(1)39--48
• packager, 21(1)39--48
• packaging, 21(1)39--48
• Pagan, F. G., 3(1)13--30
• Pagan, Frank G., 4(3)171--185
• Pagan:1978:FSS, 3(1)13--30
• Pagan:1979:SSU, 4(3)171--185
• page, 15(2)65--82, 19(2)65--78
• Pai, Rekha R., 46(z)167--181
• Pai:2016:DRE, 46(z)167--181
• Paige, Richard F., 44(z)1--2, 49(z)216--230
• Paige, Richard F., see Combemale, Benoit, see Zolotas, Athanasios
• pair, 19(4)261--276
• Pairot, Carles, 38(1)108--121
• Pairot, Carles, see Mondéjar, Rubén
• PAISLey, 11(1)15--28
• Paisley, 11(1)15--28
• Palatnik, Martin, 44(z)24--47
• Palatnik, Martin, see Erdweg, Sebastian
• Palmer, Trek, 34(4)195--211
• Palmer, Trek, see Walters II, Edward K.
• Palopoli, Luigi, 26(2)165--195
• Palopoli, Luigi, see Cadoli, Marco
• Palú, A., Dal, 28(2)181--201
• Panagopoulos, Ioannis, 35(2)196--215
• Panagopoulos, Ioannis, see Pavlatos, Christos
• Panayiotopoulos, T., 24(3)155--178
• Panayiotopoulos, T., see Rondogiannis, P.
• Pao, Tsyh-Wen, 3(1)53--64
• Pao:1978:SSI, 3(1)53--64
• Paoli, Flavio, De, 18(3)197--216
• Papaconstadopoulos, Christos, 3(3)145--155
• Papaconstadopoulos, Christos, see Konopasek, Milos
• Papadimitriou, Stergios, 35(3)217--240
• Papadimitriou:2009:JIS, 35(3)217--240
• Papakonstantinou, George, 35(2)196--215, 36(2)203--222
• Papakonstantinou, George, see Dimopoulos, Alexandros C., see Pavlatos, Christos
• Papazoglou, M. P., 9(2)107--131
• Papazoglou:1984:OPL, 9(2)107--131
• Papenhausen, Eric, 54(z)119--138
• Papenhausen:2018:CAO, 54(z)119--138
• paper, 33(1)32--32, 33(1)33--34
• ParaAJ, 45(z)1--15
• paradigm, 16(1)39--63, 16(1)97--107, 16(3)235--258, 17(3)157--167, 20(2)69--87, 21(2)81--100, 21(3)191--200, 22(2)79--93, 23(1)25--42
• paradigm, multi-, 44(z)299--318, 45(z)299--318
• parallel, AND-, 22(2)115--142
• parallel, and-, 22(2)115--142, 22(2)143--163
• parallel, data-, 22(1)27--38, 22(2)165--179
• Parallel, Digital-, 13(2)95--105
• parallelism, 1(2)151--160, 18(3)185--196, 19(2)119--134, 20(1)1--23, 20(4)253--265, 22(2)165--179, 22(2)181--192, 26(1)27--41, 36(3)288--315
• parallelism, and-, 22(2)115--142, 22(2)143--163
• parallelism, AND-, 22(2)143--163
• parallelism, data-, 22(2)143--163, 22(2)165--179
• parallelism, or-, 22(2)115--142
• parallelization, 19(2)135--155, 20(3)135--150
• parallelizing, 20(1)43--51
• Parameswaran, N., 7(3)147--160
• Parameswaran, N., see Iyengar, S. Sitharama
• parameter, 1(1)45--60, 1(4)303--320, 4(3)171--185, 6(3)115--130, 14(2)125--136, 15(2)109--125, 16(2)167--178, 16(3)197--207, 17(1)67--74, 17(2)147--154, 17(4)241--250, 18(4)217--239
• parameterised, 25(4)211--242
• parameterized, 14(3)165--180, 15(3)163--176, 30(3)139--169
• parametric, 18(2)105--123, 45(z)1--15
• parametrization, 17(4)241--250
• Parcels, 31(3)165--181
• Pareto, Fuzzy-, 51(z)1--21
• Park, Heejong, 44(z)251--282, 45(z)251--282
• Park, JongKuk, 34(4)170--183
• Park, JongKuk, see Jung, Dong-Heon
• Park:2015:CVS, 44(z)251--282
• Park:2016:CVS, 45(z)251--282
• PARLOG, 18(3)185--196
• parlog, 17(4)213--239, 18(3)185--196, 19(3)185--203
• parse, 3(2)127--133, 4(3)131--137, 13(2)65--74, 19(3)157--168, 20(3)151--175, 22(4)225--235
• parse-tree, 5(3)141--153
• parser, 1(2)105--119, 1(2)121--138, 1(3)233--253, 2(4)179--186, 10(2)127--146, 13(2)65--74, 13(3)125--141, 14(1)25--33, 14(2)93--98, 15(4)205--223, 16(2)167--178, 18(1)1--15, 18(4)241--250, 19(4)247--259, 20(2)89--100, 20(3)151--175, 22(4)225--235, 35(2)196--215, 50(z)108--126
• parsing, 1(2)105--119, 1(3)233--253, 3(2)127--133, 6(2)67--78, 6(2)95--107, 9(3)161--182, 10(2)127--146, 10(3)225--236, 11(1)39--51, 11(2)65--83, 13(1)1--11, 13(2)65--74, 13(3)125--141, 14(1)25--33, 14(2)99--108, 15(4)193--204, 16(2)167--178, 17(1)61--66, 18(1)1--15, 18(4)241--250, 18(4)251--271, 19(4)247--259, 20(1)43--51, 20(2)89--100, 20(2)101--116, 20(3)151--175, 20(4)213--238, 20(4)239--252, 22(4)225--235, 36(1)16--33, 50(z)108--126
• parsing1, 24(4)197--227
• partial, 17(4)241--250, 18(2)137--151, 20(1)53--68, 34(2)46--65
• partially, 37(4)178--192
• particular, 54(z)544--585
• partition, 14(1)11--23, 22(1)39--47, 47(z)104--129
• partitioning, 11(3)161--172, 19(2)105--117, 20(3)135--150, 22(1)27--38, 24(4)197--227, 25(3)145--164, 53(z)143--162
• partly, 12(3)197--207
• party, 16(1)5--18
• Party, Multi-, 16(1)5--18
• PASCAL, 1(4)277--286, 2(1)9--19, 4(2)93--98, 4(3)155--169, 5(2)103--114, 5(3)131--139, 7(3)161--170, 8(3)125--137, 9(3)149--159
• Pascal, 3(4)227--240, 4(2)93--98, 4(3)155--169, 5(3)131--139, 8(3)125--137, 9(2)71--87, 9(2)97--106, 10(3)165--178, 14(1)53--60, 14(4)225--237, 15(4)193--204, 15(4)251--265, 16(2)147--165, 17(1)67--74, 18(4)217--239, 18(4)273--282, 19(4)247--259, 20(1)53--68, 20(4)239--252, 20(4)253--265, 32(1)2--41
• PASCAL-like, 20(4)253--265
• Pascal-Like, 4(3)155--169
• Pascal-like, 15(4)251--265
• pass, one-, 6(2)95--107, 13(1)1--11, 13(2)95--105
• passing, 8(3)95--111, 9(1)51--67, 9(3)193--202, 16(2)113--127, 16(2)129--146, 16(3)209--233, 17(1)19--37, 19(1)19--40, 21(2)81--100, 22(2)181--192, 22(4)237--258, 22(4)259--278, 23(1)1--24, 30(3)171--206
• passing, message-, 8(3)95--111, 16(3)209--233
• Pastrana, J. L., 37(1)2--23
• Pastrana:2011:QES, 37(1)2--23
• path, 6(3)115--130, 14(1)11--23, 15(2)65--82, 19(1)41--50, 19(2)119--134
• pathological, 5(3)155--161
• Patnaik, L. M., 9(2)97--106, 9(3)193--202, 10(3)165--178
• Patnaik:1984:DDF, 9(2)97--106
• Patnaik:1984:ICD, 9(3)193--202
• Patnaik:1985:GQH, 10(3)165--178
• Patrignani, Marco, 42(z)22--45
• Patrignani:2015:FAT, 42(z)22--45
• pattern, 1(3)233--253, 2(4)179--186, 3(1)13--30, 3(1)37--52, 8(2)77--92, 13(1)23--29, 13(3)149--170, 14(1)25--33, 14(3)153--163, 14(3)193--204, 15(1)41--54, 15(3)127--140, 17(1)61--66, 17(2)133--146, 30(1)21--33, 45(z)1--15, 46(z)106--139, 46(z)140--166, 48(z)89--111
• pattern-, 10(2)75--89
• pattern-matcher, 5(3)163--189
• pattern-matching, 10(2)75--89, 13(3)149--170, 19(3)157--168
• Pavlatos, Christos, 35(2)196--215, 36(2)203--222
• Pavlatos, Christos, see Dimopoulos, Alexandros C.
• Pavlatos:2009:ERE, 35(2)196--215
• PC, 5(2)52--z
• Pearce, David J., 44(z)1--2
• Pearce, David J., see Combemale, Benoit
• PEARL, specification-, 35(3)277--292
• Peck, Mariano Martinez, 38(1)1--15
• Peck:2012:OSC, 38(1)1--15
• Pecursive, 14(1)35--51
• peephole, 14(3)193--204
• peer, peer-to-, 40(3)112--136
• peer-to-peer, 40(3)112--136
• PEG, 18(2)137--151
• Peijun, Ma, 39(3)95--108
• Peijun, Ma, see Dandan, Gong
• Pelagatti, Susanna, 33(3)82--110
• Pelagatti, Susanna, see Di Cosmo, Roberto
• Peña, Ricardo, 44(0)141--142, see Loidl, Hans-Wolfgang
• Penna, Giuseppe Della, 31(2)71--101, 40(2)73--97
• Penna:2005:TSS, 31(2)71--101
• Penna:2014:MCX, 40(2)73--97
• per-file, 54(z)427--450
• Pereira, Fernando Magno Quintão, 40(2)37--52, see Costa, Igor Rafael de Assis
• Pereira, Juliana Alves, 54(z)451--471
• Pereira, Maria João Varanda, 45(z)35--52
• Pereira:2016:OAD, 45(z)35--52
• Pereira:2018:PRS, 54(z)451--471
• performance, 4(2)99--129, 7(3)161--170, 12(3)145--162, 14(1)1--9, 17(2)83--100, 19(1)41--50, 19(3)205--211, 20(2)127--134, 20(3)177--192, 20(3)193--212, 20(4)239--252, 22(1)39--47, 22(2)115--142, 22(2)143--163, 22(4)259--278, 23(2)121--160, 37(4)193--203
• performant, 49(z)62--81
• Pericas-Geertsen, Santiago M., 28(1)29--60
• Pericas-Geertsen, Santiago M., see Amtoft, Torben
• Perin, Fabrizio, 38(1)61--72
• Perin:2012:LSC, 38(1)61--72
• peripheral, 6(3)155--163, 9(1)39--49
• permission, 1(1)73--82
• permutability, 23(2)161--178
• Perrot, Jean-François, 31(3)199--218, 35(1)1--1, see Demeyer, Serge, \see{Razavi, Reza
• persistent, 19(3)185--203, 30(3)231--258
• personal, 35(4)448--463
• personalization, 36(3)223--249
• Personalized, 54(z)451--471
• Perspective, 16(1)1--3
• Perugini, Saverio, 36(3)223--249
• Perugini:2010:PTI, 36(3)223--249
• Peter, 25(2)113--113, 25(2)113--114
• Peterson, Norman D., 3(1)1--11
• Peterson:1978:ESA, 3(1)1--11
• Peterssen:1986:PDT, 11(3)161--172
• Petersson, Kent, 11(3)161--172
• petri, 10(1)43--61, 14(1)1--9, 14(4)263--281, 16(1)5--18, 16(1)39--63, 23(1)1--24, 25(2)55--87
• Petri, Techniques-, 16(1)5--18
• PEWAM, 18(2)137--151
• Pezze, Mauro, 14(4)263--281
• Pezze, Mauro, see Ghezzi, Carlo
• Pfandler, Andreas, 44(z)72--88
• Pfandler, Andreas, see Kaufmann, Petra
• Pham, Hoang, 53(z)27--42
• Pham, Hoang, see Zhu, Mengmeng
• phase, 10(2)127--146, 11(2)65--83
• phase, phase-by-, 14(2)83--92
• phase, three-, 19(2)105--117
• phase, two-, 53(z)27--42
• phase-by-phase, 14(2)83--92
• Philippidis, Cesar J., 36(3)250--267
• Philippidis:2010:MRU, 36(3)250--267
• philosophers, 8(3)95--111
• philosophical, 14(3)137--152
• philosophy, 15(4)205--223
• Phol, Ira, 14(3)137--152
• Phol, Ira, see Edelson, Daniel
• Piazza, Carla, 30(3)207--230, 30(3)231--258
• Piazza, Carla, see Bossi, Annalisa, see Braghin, Chiara
• pictographs, 10(2)91--126
• picture, 13(3)143--147, 14(4)239--254
• piece, 21(1)39--48
• piecewise, 47(z)44--61
• Pierantonio, Alfonso, 49(z)174--175
• Pierantonio, Alfonso, see Di Ruscio, Davide
• Pietro, Pierluigi San, 26(2)105--123
• Pietro, Pierluigi San, see Crespi-Reghizzi, Stefano
• Pietrzykowski, Tomasz, 10(2)91--126
• Pietrzykowski, Tomasz, see Matwin, Stanislaw
• Pimentel, E., 37(1)2--23
• Pimentel, E., see Pastrana, J. L.
• Pimentel, Ernesto, 35(4)395--405
• Pimentel, Ernesto, see Roldan, Ana M.
• Pinsard, Thomas, 42(z)2--21
• Pinsard, Thomas, see Dabrowski, Frédéric
• Pinte, Kevin, 40(3)112--136
• Pinte, Kevin, see Van Cutsem, Tom
• Pinto, Pedro, 53(z)1--26
• Pinto:2018:ACM, 53(z)1--26
• Pirkelbauer, Peter, 45(z)191--203, 47(z)170--188
• Pirkelbauer, Peter, see Milewicz, Reed
• pivot, 22(1)39--47
• PL-I, 2(4)171--178
• PL/1, 1(1)29--43, 2(4)171--178, 3(2)65--74, 6(1)47--57, 6(3)139--153
• placement, 13(2)75--93, 15(2)83--94
• placement, floorplanning-, 34(1)25--42
• Placer, John, 16(3)235--258
• Placer:1991:MLG, 16(3)235--258
• PLAIN, 4(3)155--169
• Planas, Elena, 46(z)66--90
• Planas:2016:LSV, 46(z)66--90
• Plants--Flexible, 16(1)39--63
• platform, 31(3)127--141, 36(2)158--202, 36(2)203--222, 46(z)182--205
• platform, cross-, 48(z)3--19
• platform, multi-, 52(z)21--42
• Platzer, André, 47(z)19--43, see Ghorbal, Khalil
• PL/I, 5(1)1--28, 5(2)65--76, 6(1)47--57
• pluggable, 35(1)48--62
• Pluquet, Frédéric, 32(2)140--156, see Mens, Kim
• plus, 5(2)52--z, 17(4)251--267
• Pnueli, Amir, 30(3)139--169
• Pnueli, Amir, see Zuck, Lenore
• Poggi, Agostino, 50(z)142--158
• Poggi, Agostino, see Bergenti, Federico
• Pohjonen, Risto, 44(z)24--47
• Pohjonen, Risto, see Erdweg, Sebastian
• Pohl, Ira, 13(2)51--64
• Pohl:1988:ZCL, 13(2)51--64
• Pohlai, Herbert, 19(3)185--203
• Pohlai, Herbert, see Kuhn, Eva
• Pohlmann, 13(1)1--11
• point, 21(1)17--37, 25(2)89--112, 32(2)157--183, 36(1)96--121
• pointcuts, 34(2)66--82, 35(1)31--47
• pointer, 2(4)135--148, 2(4)149--170, 7(1)21--23, 18(3)197--216, 19(2)119--134, 31(2)71--101, 39(2)49--65
• POINTY, 7(1)1--10
• Polách, Radomír, 46(z)91--105
• Polach:2016:EDV, 46(z)91--105
• policies, 49(z)1--35, 54(z)273--296
• polyhedral, 47(z)2--18
• polymorphic, 14(3)165--180, 15(1)1--26, 20(1)25--42, 20(3)177--192, 22(4)215--223, 39(3)109--120
• polymorphism, 10(1)1--22, 19(2)65--78, 20(1)25--42, 22(4)215--223, 49(z)176--195
• polynomial, 15(1)27--39, 20(2)89--100
• Pontelli, E., 28(2)181--201
• Pontelli, Enrico, 22(2)115--142, 36(2)158--202
• Pontelli:1996:IEN, 22(2)115--142
• Pontelli:2002:ODS, 28(2)181--201
• Pontelli:2010:IPE, 36(2)158--202
• Popovic, Aleksandar, 43(z)69--95
• Popovic:2015:DMA, 43(z)69--95
• Porisini, Alberto, Coen-, 18(3)197--216
• Porta, M., 26(2)67--104
• Porta, M., see Mosconi, M.
• portability, 2(3)75--91, 7(3)161--170, 10(2)127--146, 11(2)105--121, 13(2)51--64, 18(1)17--30, 22(2)181--192
• portable, 10(2)127--146, 16(1)81--95, 18(1)17--30, 22(2)181--192
• Porubän, Jaroslav, 46(z)44--65, 49(z)101--118, see Nosál, Milan, see Sulír, Matús
• positive, 47(z)19--43
• Poskitt, Christopher M., 48(z)68--88
• Poskitt, Christopher M., see Kolesnichenko, Alexey
• post, 22(2)51--77
• post-conditions, 22(4)193--203
• postfix, 11(2)55--63
• PostScript, 19(2)65--78
• potential, 5(2)52--z
• power, 1(3)219--232, 19(2)79--89
• powerful, 21(1)17--37
• PPL, 22(2)51--77, 34(1)18--24
• practical, 14(3)137--152, 20(2)101--116, 20(4)239--252, 23(1)43--58, 35(1)48--62, 44(z)89--113
• practice, 41(z)42--65, 50(z)140--141
• Pradeep, B., 20(1)43--51, 20(4)267--277
• Pradeep:1994:PAE, 20(4)267--277
• Pradeep:1994:PRP, 20(1)43--51
• Pradella, Matteo, 26(2)105--123
• Pradella, Matteo, see Crespi-Reghizzi, Stefano
• pragmatic, 46(z)167--181
• Prähofer, Herbert, 39(3)67--94
• Prahofer:2013:MDS, 39(3)67--94
• PRAM, 20(4)253--265, 20(4)267--277
• pram, 20(4)253--265
• PRAM-language, 20(4)253--265
• Prasad, Y. V., 15(4)193--204
• Prasad, Y. V., see Murching, Arvind M.
• precedence, 20(2)101--116
• precise, 1(1)83--99, 36(1)96--121, 46(z)167--181
• predicate, 10(1)63--73, 11(3)161--172, 14(1)25--33, 14(3)205--224, 18(1)57--75, 18(2)137--151, 22(1)1--13
• Predicate-based, 17(3)157--167
• predicative, 39(3)109--120
• predicted, 20(4)253--265
• prediction, 31(2)49--70
• preemption, 12(2)109--121, 14(2)109--123
• Preface, 34(2)45--45, 34(4)151--152
• preference, 22(4)259--278, 24(3)179--196
• prefix, 9(2)107--131
• prefixing, 9(2)107--131
• Preliminary, 10(2)91--126
• preparatory, 11(2)65--83
• prepass, 21(2)101--112
• preprocessor, 5(2)65--76, 6(3)139--153, 7(2)69--87, 16(1)97--107, 17(2)147--154, 18(1)17--30, 18(1)31--55
• preprogrammed, 2(1)27--43
• presentation, 44(z)355--365, 45(z)355--365
• preserving, 33(2)35--59
• Priami, Corrado, 24(2)73--98
• Priami, Corrado, see Degano, Pierpaolo
• Prieto, Máximo, 32(2)157--183, see Wilkinson, Hernán
• prime, 13(3)109--123
• primitive, 2(1)1--8, 8(2)61--68, 10(1)43--61, 10(2)75--89, 10(2)147--164, 11(2)55--63, 12(1)47--66, 14(3)165--180, 15(3)163--176, 16(2)129--146, 16(3)197--207, 19(1)1--17, 21(1)17--37
• primitive-based, 19(1)41--50
• principal, 9(3)149--159
• principle, 20(1)1--23
• priority, 15(3)153--162
• private, 20(2)117--126
• privileged, 20(2)117--126
• probabilistic, 14(2)125--136
• probability, 7(3)125--146, 14(2)125--136
• probable, 19(2)65--78
• probing, 3(1)31--35
• probing, batch-, 3(1)31--35
• problem, 1(1)61--71, 1(1)83--99, 1(2)161--194, 1(3)197--218, 1(3)255--273, 1(4)321--342, 2(1)1--8, 2(3)75--91, 3(1)53--64, 3(3)145--155, 3(3)193--201, 4(1)17--27, 4(3)187--198, 5(3)155--161, 7(3)125--146, 8(2)69--76, 8(3)95--111, 11(3)161--172, 12(1)9--20, 14(1)11--23, 14(3)137--152, 14(3)153--163, 14(4)255--262, 16(1)97--107, 16(3)235--258, 19(3)157--168, 19(3)169--184, 19(3)205--211, 20(3)177--192, 21(2)113--127, 22(1)27--38, 22(4)259--278, 23(1)25--42, 23(1)43--58, 23(2)61--85, 24(1)1--32, 26(2)165--195
• problem-solving, 25(3)119--144
• procedural, 10(2)75--89, 14(2)63--82, 15(1)55--64, 18(4)217--239
• Procedural, Imperative-, 16(3)235--258
• procedure, 1(4)277--286, 1(4)303--320, 2(3)47--59, 2(4)117--134, 3(2)75--94, 3(3)181--192, 3(4)227--240, 4(2)71--82, 4(3)171--185, 5(2)65--76, 5(3)155--161, 6(3)115--130, 8(1)15--25, 10(1)63--73, 14(1)11--23, 14(3)153--163, 14(4)225--237, 15(1)27--39, 15(2)95--108, 15(2)109--125, 16(1)5--18, 16(3)209--233, 17(1)67--74, 18(3)153--168, 19(2)105--117, 22(4)215--223
• procedure-oriented, 7(2)89--102, 15(2)95--108
• procedure/call, 5(3)155--161
• process, 1(2)151--160, 2(3)75--91, 5(3)163--189, 7(1)11--20, 7(3)125--146, 8(2)51--60, 9(2)107--131, 9(3)183--192, 10(3)179--187, 11(3)155--160, 12(1)27--37, 12(2)109--121, 13(1)31--47, 14(1)1--9, 16(3)209--233, 17(3)199--211, 18(4)273--282, 19(1)51--62, 20(2)127--134, 20(4)213--238, 20(4)253--265, 21(1)39--48, 23(1)1--24, 23(1)43--58, 23(2)87--120, 27(1)39--59, 33(3)111--133, 38(4)279--299, 39(3)67--94, 50(z)159--176, 54(z)156--182, 54(z)451--471
• process, inter-, 22(4)259--278
• process-oriented, 53(z)43--58
• processing, 1(1)17--28, 1(1)73--82, 1(2)151--160, 3(1)37--52, 3(2)75--94, 3(2)127--133, 3(2)135--142, 3(3)181--192, 3(4)209--226, 4(2)93--98, 6(3)131--138, 6(3)155--163, 7(1)11--20, 7(1)25--40, 8(1)27--45, 8(2)51--60, 8(2)61--68, 8(3)113--124, 9(2)89--96, 9(2)97--106, 9(3)161--182, 9(3)193--202, 10(2)91--126, 11(1)39--51, 11(2)85--104, 12(1)39--46, 12(2)123--143, 13(1)23--29, 13(2)95--105, 13(3)149--170, 14(1)53--60, 14(4)239--254, 15(1)41--54, 15(2)95--108, 16(1)5--18, 16(1)39--63, 17(2)133--146, 17(4)213--239, 19(1)1--17, 19(1)51--62, 19(2)135--155, 19(3)169--184, 19(3)185--203, 19(4)261--276, 20(1)25--42, 20(1)43--51, 20(3)135--150, 20(4)213--238, 21(2)81--100, 22(1)1--13, 22(2)165--179, 22(2)181--192, 22(4)205--214, 25(2)113--114, 32(1)2--41, 34(1)18--24, 54(z)406--426
• Processing--Data, 14(1)35--51, 15(1)41--54
• Processing--Enhancement, 13(3)143--147
• processor, 6(3)139--153, 7(1)25--40, 8(3)139--159, 14(3)193--204, 16(1)97--107, 17(1)61--66, 18(1)17--30, 18(1)31--55, 19(4)213--233, 20(4)213--238, 20(4)239--252, 20(4)267--277, 21(1)49--65, 22(4)225--235, 23(2)121--160, 51(z)158--175
• processor, multi-, 18(2)77--103
• producer, 34(4)184--194
• producer-consumer, 18(1)31--55
• producing, 19(1)41--50
• product, 46(z)206--235, 47(z)189--210, 48(z)20--38, 48(z)89--111
• product-line, 54(z)451--471
• production, 1(2)105--119, 5(3)131--139, 11(2)105--121, 14(1)25--33, 15(3)127--140, 16(1)39--63, 18(4)273--282, 54(z)337--357
• profiling, 37(4)193--203, 38(1)16--28
• profitability, 15(2)83--94
• program, inter-, 28(4)307--325
• Program, Systems-, 13(2)95--105, 14(1)11--23, 14(3)193--204, 15(1)27--39, 15(3)127--140, 15(3)141--152, 16(1)81--95
• programmed, 5(2)77--101, 14(2)99--108, 19(3)185--203
• programmer, 1(1)3--16, 1(1)45--60, 2(1)21--25, 3(2)95--113, 3(4)227--240, 16(2)179--195, 16(3)235--258, 17(3)169--184, 23(1)43--58
• programmer-defined, 15(3)141--152
• Programming, Metatheory-, 13(3)149--170, 15(1)1--26
• programming, non-, 49(z)101--118
• Programming--Algorithms, 14(2)93--98, 14(2)99--108, 14(2)109--123, 14(2)125--136, 14(3)181--191, 14(4)239--254, 14(4)255--262, 14(4)263--281, 15(2)83--94, 15(2)109--125, 16(3)235--258
• Programming--Object, 15(1)55--64, 15(2)95--108
• Programming-Language, 17(1)19--37
• programming-language, 17(1)19--37
• PROGRAPH, 10(2)91--126
• prograph, 10(2)91--126
• project, 8(3)139--159, 16(1)19--37, 35(3)277--292
• PROLOG, 12(1)9--20, 13(3)149--170, 14(2)63--82, 14(3)193--204, 17(2)133--146, 17(4)213--239, 18(1)57--75, 18(3)185--196, 19(4)235--245, 20(1)25--42, 22(2)95--113, 22(2)115--142
• Prolog, 12(1)9--20, 13(3)149--170, 14(3)193--204, 17(2)133--146, 17(4)213--239, 18(1)57--75, 18(3)185--196, 19(3)185--203, 19(4)235--245, 20(1)25--42, 21(2)81--100, 22(2)95--113, 22(2)115--142, 22(2)181--192, 31(1)17--33, 39(4)142--162, 51(z)102--117
• Promislow, Eric, 16(1)97--107
• Promislow, Eric, see Cordy, James R.
• prone, 47(z)211--231
• proof, 1(2)151--160, 2(4)149--170, 3(2)65--74, 5(1)1--28, 5(2)77--101, 17(2)101--131, 17(3)157--167, 18(4)273--282, 21(2)67--79, 23(2)161--178, 47(z)19--43
• proof-theoretic, 23(2)161--178
• propagation, 3(3)193--201, 48(z)39--67
• proper, 15(1)27--39
• property, 3(1)37--52, 3(4)265--266, 16(1)19--37, 16(3)259--280, 17(3)157--167, 20(2)89--100, 22(1)1--13, 23(2)161--178, 30(3)231--258, 43(z)116--138, 47(z)77--103
• proposal, 2(4)135--148, 3(3)157--162, 8(3)125--137, 9(2)71--87, 13(1)23--29, 18(1)31--55, 22(2)79--93
• propositions, 11(3)161--172
• PROSPER, 14(3)165--180
• Prosper, 14(3)165--180
• PROT, 16(1)39--63
• prot, 16(1)39--63
• protected, 42(z)22--45
• protection, 3(4)265--266
• Protein, 5(2)52--z
• PROTOB, 16(1)39--63
• protob, 16(1)39--63
• protocol, 16(1)39--63, 21(3)165--189, 23(2)87--120, 40(3)137--154
• Protocols, Networks-, 13(2)95--105
• prototyping, 14(2)83--92, 14(3)165--180, 15(4)225--249, 16(1)19--37, 16(1)39--63, 16(1)97--107, 16(3)197--207, 17(1)75--82, 18(2)77--103, 19(1)41--50, 19(3)157--168, 19(4)213--233, 22(1)1--13, 27(1)93--113, 46(z)140--166
• prototyping, rapid-, 34(4)195--211
• provability, 23(2)161--178
• prover, 17(3)157--167
• provides, 24(1)1--32
• Providing, 38(1)108--121
• proving, 3(1)37--52, 11(3)173--191, 17(3)157--167, 23(2)161--178, 36(1)60--95, 47(z)77--103
• pruning, 40(3)155--170
• Przigoda, Nils, 54(z)512--527
• Przigoda:2018:FCA, 54(z)512--527
• Psaila, Giuseppe, 24(4)197--227
• Psaila, Giuseppe, see Reghizzi, Stefano Crespi
• PSDL, 18(2)77--103
• pseudo-execution, 12(3)145--162
• PSP, 22(1)1--13
• Publication, 35(4)z--z, 36(4)z--z
• Publisher, 32(1)1--1, 37(4)204--204
• Puentes, John, 54(z)156--182
• Puentes, John, see Simonin, Jacques
• Pun, P. K. C., 23(1)25--42
• Pun, P. K. C., see Lee, J. H. M.
• Puntigam, Franz, 19(3)185--203, 27(4)163--202
• Puntigam, Franz, see Kuhn, Eva
• Puntigam:2001:SID, 27(4)163--202
• Purba, 25(2)114--115
• pure, 20(3)177--192, 49(z)101--118
• purely, 8(1)27--45, 18(4)251--271
• purpose, 11(1)1--13, 14(3)137--152, 14(3)181--191, 14(4)239--254
• Purpose, Special-, 17(3)155--156
• purpose, special-, 6(2)79--94
• Purtilo, James M., 16(3)197--207, 17(2)147--154, 21(1)39--48
• Purtilo, James M., see Myers, Heidi E.
• Purtilo:1991:EPD, 16(3)197--207
• Purtilo:1995:EPS, 21(1)39--48
• pushdown, 1(3)219--232, 4(2)83--92, 9(3)149--159, 46(z)91--105
• Putney, Colin, 34(2)109--129
• Putney, Colin, see Bergel, Alexandre
• Putten, P. H. A. van der, 27(1)19--38
• Putten, P. H. A. van der, see Geilen, M. C. W.