Last update: Thu May 27 02:00:25 MDT 2021
Return to index directory
P
-
Pacini, G., 16(10)1122--1135, 16(11)1235--1246, 18(8)705--716
-
Pacini, G., see Crimi, C.,
see Degl'Innocenti, M., \see{Nota, G.
-
packaging, 17(6)626--635
-
page, 18(7)631--645
-
page, twin-, 19(2)155--164
-
PAISLey, 17(3)212--225
-
Palma, J., 21(5)405--414
-
Palma, J., see Tian, J.
-
Palsberg, J., 24(1)79--92
-
Palsberg, J., see Seiter, L. M.
-
Pande, H. D., 16(2)129--140, 20(5)385--403
-
Pande, H. D., see Ryder, B. G.
-
Pande:1994:IDU, 20(5)385--403
-
Paoli, F., De, 17(9)884--899, 20(8)606--616
-
Papelis, Y. E., 18(3)252--261
-
Papelis:1992:SAP, 18(3)252--261
-
paper, 18(7)631--645, 21(11)894--901, 25(2)286--286
-
paradigm, 20(8)631--643, 21(1)1--18, 21(3)244--262, 25(1)75--90
-
parallel, 16(1)13--31, 16(2)111--120, 16(3)281--293, 16(7)677--683,
16(11)1311--1316, 17(10)987--1004, 17(10)1005--1012,
17(10)1059--1068, 17(10)1093--1108, 18(1)55--71, 18(3)190--205,
18(4)296--303, 18(5)434--447, 19(5)486--502, 19(7)672--686,
19(10)976--981, 20(12)914--932, 21(11)913--926, 22(10)762--773,
25(1)75--90, 25(6)870--882
-
parallelash, 18(3)252--261
-
parallelism, 16(4)421--431, 19(8)749--764, 23(10)646--658
-
parallelization, 23(8)517--528
-
parameters, 17(5)483--489, 20(1)29--42
-
Parametric, 21(8)662--673
-
Park, Chang Yun, 21(7)593--604
-
Park, Chang Yun, see Lim, Sung-Soo
-
Park, Kunsoo, 21(7)593--604
-
Park, Kunsoo, see Lim, Sung-Soo
-
Park, S. K., 18(1)33--43
-
Park, S. K., see Miller, K. W.
-
Parnas, 19(3)310--z
-
Parnas, D. L., 16(3)360--369, 19(1)70--84, 19(3)310--z, 19(9)856--862,
20(10)750--759, 24(3)161--173
-
Parnas, D. L., see Peters, D. K.,
see Wang, Yabo, \see{Xu, J.
-
Parnas, D. Lorge, 20(12)948--976
-
Parnas:1993:PLS, 19(9)856--862
-
Parnas:1994:PDW, 20(12)948--976
-
Parrish, A., 17(6)565--581
-
Parrish, A. S., 19(7)742--746, 21(12)1006--1009
-
Parrish:1991:ARS, 17(6)565--581
-
Parrish:1993:CSF, 19(7)742--746
-
Parrish:1995:RAA, 21(12)1006--1009
-
parse, 21(11)894--901
-
parsers, 16(12)1344--1351, 18(5)357--367
-
parsing, 16(7)677--683, 17(7)641--651, 19(9)935--940, 20(9)720--739,
23(12)777--799
-
partial-order, 22(7)496--507
-
partially-implemented, 24(8)602--614
-
partition, 16(12)1402--1411, 17(7)703--711, 19(7)687--697,
20(12)977--980, 21(12)959--968, 25(5)661--674
-
partitioning, 16(2)248--258, 19(8)804--812
-
partly, 16(12)1433--1435
-
Pascal-like, 17(1)1--9
-
Passive-space, 19(9)845--855
-
Patel, J. U., 25(5)619--632
-
Patel, J. U., see Kalbarczyk, Z.
-
Paterno, F., 24(10)863--888
-
Paterno, F., see Lecerof, A.
-
path, 20(12)885--899, 21(6)481--496
-
paths, all-{DU}-, 21(12)1006--1009
-
pathwise, 16(8)880--896
-
pattern, 18(11)931--942, 20(6)463--475, 21(12)1009--1010
-
Patton, G. C., 23(7)437--444
-
Patton, G. C., see Cohen, D. M.
-
Paul, S., 20(6)463--475, 22(3)202--217
-
Paul:1994:FSC, 20(6)463--475, 21(12)1009--1010
-
Paul:1996:QAP, 22(3)202--217
-
Paulo, F. Borges, 25(1)33--49
-
Paulo:1999:HES, 25(1)33--49
-
Paulson, D., 18(3)174--189
-
Paulson:1992:AAI, 18(3)174--189
-
Pawlowski, S. D., 25(6)816--835
-
Pawlowski, S. D., see Robinson, W. N.
-
payment, 22(5)294--301
-
Pekergin, M. F., 18(4)296--303
-
Pekergin, N., Yazia-, 17(10)1005--1012
-
Pekergin:1992:PCO, 18(4)296--303
-
Peled, D., 22(7)496--507
-
Peled, D., see Godefroid, P.
-
Peng, D. T., 19(3)253--267
-
Peng, Dar-Tzen, 23(12)745--758
-
Peng:1993:OSC, 19(3)253--267
-
Peng:1997:ASC, 23(12)745--758
-
per-object, 25(3)347--362
-
performance, 16(2)197--211, 16(2)231--237, 16(4)477--483, 16(7)684--698,
17(1)22--33, 17(1)87--93, 17(5)386--402, 17(5)403--423,
17(10)1013--1027, 17(10)1059--1068, 18(1)55--71, 18(1)78--86,
18(7)613--623, 19(2)120--138, 19(2)181--186, 19(5)486--502,
19(7)720--741, 19(9)845--855, 19(10)982--996, 20(7)516--525,
20(11)849--867, 21(7)615--628, 21(9)754--767, 24(11)1014--1030,
25(1)122--135, 25(5)690--700
-
periodic, 18(1)44--54, 19(12)1171--1179, 21(7)579--592, 23(12)745--758
-
Perry, D. E., 17(3)283--295, 20(10)774--784
-
Perry, D. E., see Bradac, M. G.
-
Perry:1991:MSD, 17(3)283--295
-
persistent, 18(7)631--645, 18(8)657--673
-
perspective, 22(4)267--271
-
pessimistic, 24(2)149--159
-
Peters, D. K., 24(3)161--173
-
Peters:1998:UTO, 24(3)161--173
-
Peterson, L. L., 17(1)64--76, 19(6)613--624
-
Peterson, L. L., see Hutchinson, N. C.,
see Rao, H. C.
-
Petrenko, A., 20(2)149--162
-
Petrenko, A., see Luo, Gang
-
Petri, 16(1)39--50, 16(5)523--536, 16(11)1273--1281, 17(2)99--107,
17(2)108--116, 17(2)117--125, 17(2)126--132, 17(2)160--172,
17(3)259--273, 18(1)55--71, 18(3)252--261, 19(2)89--107,
20(2)115--126, 20(2)127--141, 20(5)325--336, 20(7)506--515,
20(7)536--544, 21(1)32--49, 21(12)969--992, 22(9)629--639,
22(11)794--811, 24(10)889--902, 24(11)1014--1030, 24(12)1115--1130,
25(2)207--217, 25(2)218--236, 25(2)237--257
-
Petriu, D. C., 21(9)776--782
-
Petriu, D. C., see Neilson, J. E.
-
Petrov, P., 17(5)436--442
-
Petrov, P., see Dimitrov, B.
-
Petrov, P. V., 25(1)50--74
-
Petrov, P. V., see Stoyen, A. D.
-
Pezze, M., 17(2)160--172
-
Pezze, M., see Ghezzi, C.
-
Pfleeger, S. Lawrence, 21(12)929--944, 23(3)187--189, 23(3)189--189
-
Pfleeger, S. Lawrence, see Kitchenham, B.,
see Morasca, S.
-
Pfleger, K., 21(4)288--301
-
Pfleger, K., see Hayes-Roth, B.
-
phase, two-, 17(5)386--402
-
philosophers, 16(11)1293--1306
-
physical, 16(2)248--258
-
Piazza, R. L., 23(7)461--472
-
Piazza, R. L., see Holtzblatt, L. J.
-
Picciotto, J., 16(6)608--618
-
Picciotto, J., see Berger, J. L.
-
Picco, G. P., 21(5)440--454, 24(5)342--361
-
Picco, G. P., see Bandinelli, S.,
see Fuggetta, A.
-
Pickard, L., 25(2)282--285
-
Pickard:1999:CEA, 23(6)379--387, 25(2)282--285
-
Pictorial, 18(7)590--600
-
picture, 21(9)768--775
-
PIE, 18(8)717--727
-
Pike, L., 32(5)347--348
-
Pike:2006:NIA, 25(5)651--660, 32(5)347--348
-
Pilaud, D., 25(3)416--427
-
Pilaud, D., see Caspi, P.
-
Pillai, K., 23(8)485--497
-
Pillai:1997:MSD, 23(8)485--497
-
Pinzani, R., 16(1)32--38
-
Pinzani, R., see Barcucci, E.
-
pipelined, 18(1)78--86
-
Pitt, D. H., 16(12)1337--1343
-
Pitt:1990:DCT, 16(12)1337--1343
-
place, in-, 24(8)650--663
-
places, 22(4)225--247
-
Plaice, J., 19(3)268--276
-
Plaice:1993:NAV, 19(3)268--276
-
planning, 24(6)420--434, 24(7)534--558
-
Plateau, B., 17(10)1093--1108
-
Plateau:1991:SAN, 17(10)1093--1108
-
Playground, 21(9)735--746
-
Pnueli, A., 16(4)403--414
-
Pnueli, A., see Harel, D.
-
Podgurski, A., 16(9)965--979
-
Podgurski:1990:FMP, 16(9)965--979
-
Poels, G., 23(3)190--197
-
Poels:1997:CPB, 22(1)68--86, 23(3)190--197, 23(3)196--197
-
Pohl, K., 24(12)1036--1054
-
Pohl, K., see Haumer, P.
-
point, 16(1)64--71, 17(7)731--734, 18(11)1011--1024, 19(5)529--532,
19(7)661--671, 20(4)275--287, 22(9)640--653, 22(12)895--910
-
pointer, 16(5)490--497, 18(7)631--645, 19(9)902--911, 20(5)385--403
-
Poisson, Compound-, 18(7)624--630
-
Poisson, logarithmic-, 20(9)677--683
-
Polak, W., 16(9)1058--1075
-
Polak, W., see Guaspari, D.
-
Pole, T. P., 20(8)617--630
-
Pole, T. P., see Frakes, W. B.
-
policy, 16(7)684--698, 18(1)44--54, 18(2)148--158, 19(9)902--911,
20(6)432--444, 21(2)63--68
-
policy-based, 25(6)852--869
-
Politi, M., 16(4)403--414
-
Politi, M., see Harel, D.
-
Porisini, A., Coen-, 17(9)884--899, 20(8)548--561, 23(9)572--598
-
Porras, P. A., 17(11)1166--1185, 21(3)181--199, 22(5)283--293
-
Porras, P. A., see Ilgun, K.,
see Kemmerer, R. A., \see{Sibert, O.
-
port-based, 23(12)759--776
-
Porter, A. A., 21(6)563--575, 23(3)129--145, 23(6)329--346
-
Porter, B. S., 18(11)1011--1024
-
Porter, B. S., see Kemerer, C. F.
-
Porter:1995:CDM, 21(6)563--575
-
Porter:1997:ASR, 23(3)129--145
-
Porter:1997:EAC, 23(6)329--346
-
possibilistic, 22(1)53--67
-
possibly, 16(11)1307--1310
-
postconditions, 21(2)79--89
-
potential, 21(5)468--475
-
Powell, D., 16(2)166--182
-
Powell, D., see Arlat, J.
-
PQL, 24(3)197--215
-
practical, 18(11)998--1010, 19(2)199--200, 20(9)740--747, 21(1)19--31,
23(3)157--170
-
practice, 20(11)825--832, 21(2)69--78, 22(1)6--15
-
Prakash, A., 16(11)1225--1234, 20(6)463--475, 22(3)202--217
-
Prakash, A., see Paul, S.,
see Ramamoorthy, C. V.
-
Prasad, J., 24(2)137--148
-
Prasad, J., see Lederer, A. L.
-
pre-run-time, 17(7)669--677, 21(11)865--880, 23(9)599--600
-
precedence, 16(3)360--369, 16(12)1390--1401, 19(2)139--154
-
Prechelt, L., 24(4)302--312
-
Prechelt:1998:CEA, 24(4)302--312
-
Precise, 20(12)948--976
-
predicate, 16(5)490--497, 19(9)856--862, 21(2)163--177, 22(8)552--562,
24(8)664--677, 24(9)709--720
-
predicateash, 17(6)513--526
-
predict, 23(3)146--156
-
Predicting, 17(2)196--207, 22(12)886--894
-
prediction, 17(4)334--344, 17(10)1059--1068, 18(7)563--574,
21(8)674--681, 25(5)675--689
-
Predictive, 18(11)979--987
-
preemptive, 16(10)1198--1208, 23(6)388--400
-
presence, 22(4)225--247
-
presentation, 17(11)1186--1194, 18(10)853--869
-
presented, 18(7)631--645
-
preserving, meaning-, 21(4)275--287
-
preventing, 16(6)581--592
-
prevention, 16(11)1311--1316
-
price, 17(4)345--356
-
primary-site, 19(2)108--119
-
primitives, 19(4)344--365
-
principal, 21(11)894--901
-
priority, 19(9)920--934, 21(5)475--480, 21(7)605--614, 21(10)834--844
-
priority, dynamic-, 23(6)388--400
-
priority, Fixed-, 20(4)308--317
-
priority, fixed-, 20(1)13--28
-
Prism, 18(5)380--392, 22(8)563--579
-
Prism-methodology, 17(12)1270--1283
-
privately, 18(4)319--328
-
probability, 17(9)922--933, 18(1)33--43, 21(9)747--753
-
problem, 16(11)1293--1306, 17(3)274--282, 19(7)687--697, 19(8)788--803,
21(10)785--798, 22(11)827--838, 24(10)779--796
-
procedure, 16(4)483--487, 21(10)785--798, 23(7)401--417, 24(4)278--301,
24(4)302--312
-
process, 16(1)64--71, 16(2)153--165, 16(3)360--369, 16(7)729--740,
16(12)1412--1426, 17(2)108--116, 17(8)839--849, 18(10)915--924,
19(2)139--154, 19(12)1128--1144, 19(12)1145--1156,
19(12)1157--1170, 20(7)506--515, 20(10)774--784, 21(5)440--454,
21(6)515--527, 21(7)579--592, 21(11)894--901, 22(3)218--223,
22(6)424--437, 22(12)895--910, 23(3)171--184, 23(4)235--245,
23(7)418--436, 24(8)650--663, 24(9)759--775, 24(11)982--1001,
25(3)401--415, 25(4)541--556, 25(6)769--781, 25(6)784--799,
25(6)800--815
-
process, In-, 19(11)1055--1070
-
process, in-, 18(11)943--956
-
process-control, 17(3)241--258, 20(8)658--663, 20(9)684--707
-
process-oriented, 17(12)1270--1283, 18(6)483--497
-
processing, 16(8)791--806, 17(5)436--442, 17(10)1059--1068,
18(5)434--447, 18(7)631--645, 18(10)899--914
-
processing, language-, 21(11)894--901
-
processor, 16(4)471--z, 16(4)472--z, 16(12)1390--1401, 17(5)443--453,
17(10)1013--1027, 21(2)69--78, 21(7)593--604, 21(11)894--901,
25(3)416--427, z(10)1018--1024
-
product, 17(2)99--107, 21(2)146--162
-
production, 16(3)281--293, 18(12)1053--1064, 19(6)640--z, 23(6)379--387,
25(2)282--285
-
productivity, 17(2)196--207, 17(12)1284--1288, 22(10)706--718,
22(12)875--885
-
profiles, 21(6)481--496
-
Profiling, 16(2)129--140
-
program, 15(11)1471--1480, 16(1)51--63, 16(1)92--99, 16(3)316--324,
16(4)471--z, 16(4)472--z, 16(5)498--509, 16(6)630--638,
16(8)880--896, 16(9)965--979, 16(9)980--992, 16(9)1005--1023,
16(9)1024--1043, 16(9)1058--1075, 16(11)1307--1310,
16(11)1311--1316, 16(12)1402--1411, 16(12)1439--z, 17(1)45--63,
17(4)320--333, 17(8)737--750, 17(8)751--761, 17(9)853--871,
17(10)1005--1012, 18(1)19--32, 18(2)89--102, 18(3)206--215,
18(4)304--318, 18(5)423--433, 18(8)674--704, 18(11)969--978,
18(12)1038--1044, 18(12)1045--1052, 18(12)1065--1075,
19(3)277--296, 19(5)503--528, 19(6)584--593, 19(9)845--855,
19(10)976--981, 20(2)105--114, 20(3)218--219, 20(5)345--352,
20(6)445--462, 20(6)463--475, 20(8)658--663, 20(11)833--839,
20(12)885--899, 20(12)914--932, 20(12)948--976, 21(2)163--177,
21(4)275--287, 21(5)389--404, 21(7)605--614, 21(11)894--901,
21(11)902--912, 21(12)959--968, 21(12)1009--1010, 22(3)202--217,
22(7)461--483, 22(7)496--507, 22(8)552--562, 22(10)762--773,
23(1)17--34, 23(4)246--259, 23(10)646--658, 24(1)46--62,
24(3)161--173, 24(3)197--215, 24(5)331--341, 24(6)471--490,
25(3)387--400, 25(6)870--882, z(10)1018--1024
-
Programmer, 16(10)1107--1121
-
programmers, 21(9)735--746, 21(11)894--901
-
programming, 16(1)72--81, 16(2)111--120, 16(4)389--402, 16(6)639--646,
16(10)1178--1184, 16(12)1361--1373, 17(1)1--9, 17(9)911--921,
18(3)190--205, 18(3)225--236, 18(6)534--546, 18(9)785--793,
19(8)826--834, 21(1)19--31, 21(2)138--145, 23(5)296--313,
24(2)97--110, 24(11)1014--1030, 25(1)75--90, 25(4)438--455
-
project, 17(8)839--849, 19(6)603--612, 23(11)736--743
-
Projecting, 18(11)988--997
-
projection, 16(3)370--371, z(11)1088--1089
-
projects-bridging, 20(11)825--832
-
prolegomena, 21(2)107--125
-
Prolog, 16(3)335--349, 16(5)490--497, 17(6)493--512, 17(9)934--943
-
Prolog-based, 17(8)762--788
-
prone, error-, 17(2)141--152
-
prone, fault-, 18(5)423--433, 22(12)886--894
-
proof, 19(4)366--378, 20(8)548--561, 20(8)664--z
-
propagation, 18(7)631--645
-
property, 16(1)51--63, 16(8)858--869, 17(6)565--581, 17(11)1186--1194,
17(12)1289--1295, 20(2)127--141, 22(1)53--67, 23(3)190--197,
23(3)196--197, 23(9)550--571
-
Property-based, 22(1)68--86, 23(3)190--197, 23(3)196--197, 23(8)533--z
-
proposes, 18(7)631--645
-
Protean, 23(4)224--234
-
protection, 16(6)619--629
-
protocol, 16(3)370--371, 16(5)523--536, 16(8)858--869, 16(11)1273--1281,
17(1)64--76, 17(2)183--195, 18(10)899--914, 19(2)181--186,
19(4)410--423, 20(11)868--884, 22(1)6--15, 22(1)16--30, 22(1)31--42,
22(5)313--328, 23(3)185--186, 23(10)659--669, 24(4)252--267,
24(9)741--758, 25(1)3--21, 25(3)317--333, z(11)1088--1089
-
prototype, 16(6)608--618
-
prototyping, 18(6)534--546, 19(5)436--452, 19(5)453--477,
20(10)774--784, 20(11)825--832
-
Protsko, L. B., 17(1)10--21
-
Protsko:1991:TAG, 17(1)10--21
-
Provable, 19(10)962--975
-
prover, 16(9)1005--1023, 23(4)203--213, 24(1)46--62
-
Proving, 20(2)127--141
-
Prudent, 22(1)6--15
-
Pucci, G., 18(2)159--167
-
Pucci:1992:NAM, 18(2)159--167
-
Puchol, C., 22(6)378--389
-
Puchol, C., see Ardis, M. A.
-
Pugliese, R., 24(5)315--330
-
Pugliese, R., see De Nicola, R.
-
Puketza, N. J., 22(10)719--729
-
Puketza:1996:MTI, 22(10)719--729
-
pump, 18(9)817--826, 22(5)329--338
-
purpose, 21(10)845--857
-
Purtilo, J. M., 17(2)153--159, 17(6)626--635
-
Purtilo, J. M., see Callahan, J. R.
-
Purtilo:1991:EDF, 17(2)153--159
-
PVS, 21(2)107--125, 24(9)709--720