Last update: Fri Nov 4 02:18:00 MDT 2022
Return to index directory
P
-
P, 8(1)26--29, 10(4)33--34, 14(2)79, 14(8)58--65
-
p, 12(1)49--50
-
pace, 13(1)22--28
-
package, 6(5)19--27, 8(4)91--95, 9(3)168--176, 13(1)52--56, 14(6)73--80
-
packet, 6(3)13--16
-
PACT, 14(7)118--121
-
Pact, 13(4)52--56
-
page, 5(3)4--47, 9(3)157--167, 11(3)79--81, 14(2)78
-
paid, 8(4)173--179, 13(5)235--247
-
pair, 8(4)145--148
-
PAISLey, 9(4)12--19
-
Pakstas, A., 14(7)141--144
-
Pakstas:1989:ALC, 14(7)141--144
-
Pal, A., 14(7)149--151
-
Pal, A., see Mack-Crane, B.
-
Pal, Anil, 9(3)21--29
-
Pal, Anil, see Fischer, C. N.
-
Palo, 12(1)51--52
-
Pamela, 10(1)58--58
-
panel, 8(4)96--97, 10(5)29, 12(1)56--62, 13(5)107--109
-
panelists, 8(4)117--120
-
Panzl, David, 7(1)20--30
-
Panzl, David, see Curtis, Bill
-
parable, 10(2)19--22
-
paradigm, 8(4)23--24, 8(4)32--33, 12(3)25--36, 13(2)25--38, 13(3)41--42,
13(3)43--44, 13(5)25--34, 13(5)97--106, 13(5)121--129, 14(4)97--102,
14(4)113--115, 14(5)108--117, 14(6)32--41, 14(7)133--136
-
paradox, 10(1)43--46
-
parallel, 8(4)145--148, 11(3)51--64, 12(1)29--34, 12(2)37--37,
14(1)89--95, 14(3)49--51, 14(6)68--72
-
parallelism, 14(7)15--22
-
parameterizable, 14(4)116--117
-
parameterization, 14(4)43--45, 14(4)116--117
-
parameterized, 7(5)160--166, 9(3)141--148, 9(3)149--156, 14(4)116--117,
14(4)163--166
-
parameterizing, 14(4)116--117
-
parameters, 14(4)111--112, 14(8)158--167
-
PARC, 8(4)96--97
-
Parikh, 11(2)49--52
-
Parikh, G., 12(2)51--53, 12(3)61--61
-
Parikh, Girish, 8(2)11--12, 9(2)114--116, 10(2)58--59, 10(5)79--88,
10(5)89--98, 11(2)49--52, 11(2)53--56, 11(5)86--91
-
Parikh:1983:HPW, 8(2)11--12
-
Parikh:1984:WSM, 9(2)114--116
-
Parikh:1985:DWS, 10(5)79--88
-
Parikh:1985:SMN, 10(2)58--59
-
Parikh:1985:SMP, 10(5)89--98
-
Parikh:1986:EWSa, 11(2)49--52
-
Parikh:1986:EWSb, 11(5)86--91
-
Parikh:1986:NWA, 11(2)53--56
-
Parikh:1987:EE, 12(3)61--61
-
Parikh:1987:SMN, 12(2)51--53
-
Parker, Donn B., 8(5)10--17
-
Parker, Jeff, 10(3)28--32
-
Parker:1983:T, 8(5)10--17
-
Parker:1985:TMI, 10(3)28--32
-
Parkyn, D. G., 7(5)50--53
-
Parkyn, D. G., see Dodd, W. P.
-
Parnas, D. L., 6(3)64--65
-
Parnas, David L., 7(5)45--49
-
Parnas, David L., see Dixon, John K.
-
Parnas, David Lorge, 10(5)15--23
-
Parnas:1981:LGU, 6(3)64--65
-
Parnas:1985:SAS, 10(5)15--23
-
parse, 13(5)121--129
-
parser, 8(3)17--29, 9(3)1--6, 9(3)7--14, 14(4)116--117, 14(8)75--84
-
parser-based, 9(3)73--80
-
parsing, 9(3)7--14, 14(4)116--117
-
Parsippany, 12(1)48--48
-
part, 6(3)68--75, 7(1)77--77, 7(2)3--12, 7(4)24--33, 7(5)150--154,
8(4)91--95, 8(4)96--97, 8(4)107--111, 9(2)38--53, 9(3)149--156,
10(3)95--108, 10(5)37--46, 11(3)44--50, 13(1)30--32, 13(5)1--13,
13(5)14--24, 13(5)25--34, 13(5)173--182, 14(1)89--95, 14(4)111--112,
14(4)163--166, 14(5)43--54, 14(6)68--72, 14(7)38--41, 14(7)137--140
-
PARTIAL, 10(3)76--94
-
partial, 7(5)171--180, 10(3)76--94
-
partially, 8(4)25--31, 10(4)37--40
-
participants, 8(4)206--206
-
participating, 7(1)56--69, 9(5)8--10
-
participation, 7(4)34--38
-
particular, 5(1)18--27, 7(5)25--32, 7(5)50--53, 8(4)45--52, 8(4)81--90,
8(4)117--120, 8(4)173--179, 9(2)80--88, 10(3)76--94, 10(3)95--108,
12(1)52--55, 12(2)37--37, 13(1)52--56, 13(4)52--56, 13(5)14--24,
13(5)235--247, 14(1)89--95, 14(4)43--45, 14(4)111--112,
14(4)116--117, 14(4)163--166, 14(5)43--54, 14(7)149--151
-
particularization, 14(4)43--45
-
particularize, 14(4)43--45
-
particularly, 7(5)150--154, 10(2)28--34, 12(1)35--37, 13(5)76--84,
14(4)116--117, 14(4)163--166, 14(7)76--85, 14(8)187--196
-
partition, 13(1)46--50, 14(8)38--47
-
partitioned, 7(5)3--16
-
partitioning, 10(2)41--44
-
partly, 10(3)95--108, 14(4)43--45
-
party, 7(2)27--28
-
PASCAL, 9(2)117--119, 9(5)20--22
-
Pascal, 5(1)18--27, 7(5)61--66, 8(4)152--154, 8(4)180--189, 9(3)21--29,
9(3)49--56, 9(5)28--42, 10(3)28--32, 10(4)61--62
-
Pascal-like, 5(1)18--27, 9(3)132--140, 10(4)37--40
-
Pascual, V., 13(5)14--24
-
Pascual, V., see Borras, P.
-
pass, 9(2)21--37
-
passed, 13(4)52--56
-
passing, 13(5)76--84, 14(4)43--45
-
past, 9(5)8--10, 11(2)29--31, 14(1)61--82, 14(6)25--31
-
pastel, 13(1)22--28
-
patching, 8(4)203--205
-
path, 7(1)10--20, 7(3)12--13, 8(4)34--44, 8(4)81--90, 8(4)159--172,
14(2)62--70, 14(4)111--112, 14(8)48--54, 14(8)179--186
-
paths, all-du-, 14(8)179--186
-
pattern, 5(2)34--37, 7(5)141--149, 8(4)140--144, 10(3)76--94,
14(1)61--82, 14(8)75--84
-
patterned, 13(5)216--225
-
Pattison, B., 14(8)58--65
-
Pattison, B., see Choi, B.
-
Patton, Bob, 8(2)14--16
-
Patton:1983:PNP, 8(2)14--16
-
pauses, 9(3)157--167
-
Payne, Charlotte, 8(4)155--158
-
Payne, Charlotte, see Tischler, Ron
-
payoffs, 9(2)130--132
-
Pazirandeh, Reza, 11(1)64--72
-
Pazirandeh:1986:TPM, 11(1)64--72
-
PC, 8(4)145--148, 11(2)22--26
-
PC-time, 8(4)145--148
-
PCTE, 13(4)52--56, 13(5)248--257, 14(5)55--61
-
PCTE+, 13(5)248--257
-
PDG, 9(3)177--184
-
PDP-10, 9(3)185--192
-
PDS, 7(5)96--105
-
PECAN, 9(3)30--41
-
Pechura, Michael, 5(2)22--25
-
Pechura:1980:PEI, 5(2)22--25
-
Pellegrin, J., 11(4)12--13
-
Pellegrin, J., see Evangelist, M.
-
Pencept, 10(3)95--108
-
pencil, 12(3)45--50
-
Penedo, Maria H., 13(5)226--234
-
Penedo:1988:OMI, 13(5)226--234
-
penetration, 9(2)130--132
-
penny, 10(5)89--98
-
Penteado, R. D., 10(3)40--46
-
Penteado:1985:SCJ, 10(3)40--46
-
people, 7(2)27--28, 7(5)25--32, 12(1)50--50, 13(1)22--28, 13(5)183--190,
14(4)43--45
-
peopleware, 14(1)89--95
-
percent, 8(2)17--27, 14(8)179--186
-
percentage, 5(2)34--37
-
perfect, 14(4)116--117
-
perform, 7(1)20--30, 7(5)17--24, 8(4)107--111, 9(3)168--176, 12(2)37--37,
13(3)32--40, 14(8)187--196, 14(8)210--218
-
performance, 5(2)34--37, 7(5)181--185, 8(4)25--31, 9(3)113--123,
9(3)132--140, 9(3)157--167, 9(4)12--19, 10(2)28--34, 14(6)73--80,
14(8)10--19
-
performance, high-, 10(3)95--108
-
performed, 6(3)68--75, 8(4)159--172, 8(4)201--202, 14(2)62--70,
14(6)51--55
-
performing, 8(4)67--70, 9(3)124--131, 12(3)42--44, 14(4)148--152
-
perhaps, 7(5)33--34, 10(2)28--34, 13(1)30--32
-
perils, 13(2)22--24
-
period, 8(4)1--3, 9(2)21--37, 9(4)58--60, 14(6)51--55
-
periodic, 14(8)10--19
-
peripheral, 7(2)25--26
-
Perlman, G., 11(3)44--50
-
Perlman, Gary, 5(4)9--9
-
Perlman:1980:THL, 5(4)9--9
-
Perlman:1986:CQT, 11(3)44--50
-
permanent, 7(4)24--33
-
permit, 8(4)107--111, 9(3)7--14, 9(3)57--64, 11(2)22--26, 11(5)43--51,
12(2)37--37, 13(5)25--34, 13(5)35--44, 13(5)76--84
-
permitting, 9(3)124--131, 13(5)191--200
-
PERQ, 8(4)34--44
-
Perry, D., 14(8)114--121
-
Perry, D. E., 14(4)126--128
-
Perry, D. L., 14(4)73--75
-
Perry, D. L., see Fritsch, C. A.
-
Perry, Dewayne E., 11(4)70--71
-
Perry:1986:TES, 11(4)70--71
-
Perry:1989:LPI, 14(8)114--121
-
Perry:1989:PSP, 14(4)126--128
-
persistence, 13(5)1--13, 13(5)110--120, 13(5)130--142
-
persistent, 13(5)14--24, 13(5)110--120, 13(5)130--142
-
person, 8(4)107--111, 12(3)42--44, 14(6)51--55
-
person, multi-, 11(4)41--45
-
personal, 8(4)81--90, 9(3)21--29, 9(3)30--41, 9(3)185--192, 11(2)22--26,
11(4)41--45, 12(2)42--49
-
personalized, 9(5)28--42
-
perspective, 8(4)45--52, 9(1)43--49, 10(3)49--61, 11(4)52--53,
12(1)3--22, 14(3)177--184, 14(3)238--240
-
PEs, 8(4)81--90
-
Pete, 5(2)38--39
-
Peter, 5(3)4--47, 5(3)52--52, 11(2)29--31
-
Peters, L., 14(3)83--90
-
Peters:1989:TES, 14(3)83--90
-
Petri, 11(5)53--56, 12(3)25--36, 14(2)45--48, 14(3)60--67
-
Petri-net-like, 14(3)291--293
-
Pett, M. M., 14(3)284--286
-
Pett:1989:FFD, 14(3)284--286
-
Pezze, M., 14(3)60--67
-
Pezze, M., see Ghezzi, C.
-
Pfenning, Frank, 13(5)25--34, 13(5)110--120
-
Pfenning, Frank, see Lee, Peter,
see Nord, Robert L.
-
PGN, 7(2)27--28
-
PGRAPHITE, 13(5)130--142
-
Pgraphite, 13(5)130--142
-
Ph.D, 14(4)116--117
-
phase, 7(5)39--44, 7(5)133--140, 8(2)17--27, 8(4)159--172, 9(1)19--23,
9(3)73--80, 9(4)58--60, 9(5)13--13, 10(2)41--44, 12(1)35--37,
12(2)26--29, 13(5)153--162, 13(5)216--225, 14(4)43--45
-
phenomena, 14(4)43--45
-
Philip, 6(3)65--65
-
Phillips, R. W., 14(4)129--132
-
Phillips:1989:SCA, 14(4)129--132
-
philosophers, 12(4)27--33
-
philosophical, 14(4)111--112
-
philosophy, 13(5)191--200
-
Phoan, 9(3)96--103
-
phrase, 12(1)52--55
-
physical, 10(2)47--50, 11(2)22--26
-
physicists, 14(6)51--55
-
physics, 14(4)43--45
-
Piazza, 10(1)58--58
-
PIC, 14(4)163--166
-
pick, 8(2)11--12
-
PICS, 13(1)22--28
-
pictorial, 13(5)121--129
-
picture, 13(5)121--129, 14(4)43--45
-
piece, 9(2)80--88, 9(2)89--103, 12(1)29--34, 13(1)52--56, 14(4)116--117
-
PIOCO, 12(1)35--37
-
pipe, 8(4)60--62, 10(3)37--39
-
Piperakis, N., 14(7)170--178
-
Piperakis, N., see Dinsart, A.
-
Pircher, 14(2)79
-
Pircher, Peter, 14(1)32--55
-
Pircher, Peter, see Wasserman, A. I.
-
Pirie, I. W., 11(2)27--28
-
Pirie:1986:LS, 11(2)27--28
-
Pittsburgh, 13(2)41--47
-
Pixon, Mark R., 10(4)92--94
-
Pixon:1985:EFE, 10(4)92--94
-
place, 9(2)130--132, 13(4)52--56, 13(5)235--247, 14(3)227--234,
14(4)43--45, 14(4)116--117
-
placed, 9(1)32--35
-
plague, 14(8)219--228
-
Plaisted, David A., 10(4)55--59
-
Plaisted, David A., see Dershowitz, Nachum
-
plan, 8(4)32--33, 9(4)22--55, 10(1)48--51, 10(4)44--47, 11(1)64--72,
12(1)50--50, 12(2)37--37, 13(5)97--106
-
plan-based, 13(5)97--106
-
planned, 13(5)107--109, 14(4)111--112
-
planner, 12(2)37--37
-
planning, 8(2)29--54, 10(1)31--42, 10(3)49--61, 11(2)32--35, 12(2)37--37,
13(5)97--106, 14(3)177--184, 14(4)43--45, 14(4)163--166
-
plateau, 9(1)29--30
-
platform, 9(3)57--64
-
Platoff, M. A., 14(3)147--154, 14(7)86--95
-
Platoff, M. A., see Schwanke, R. W.
-
plausible, 7(4)24--33
-
play, 7(5)106--111, 7(5)160--166, 9(3)177--184, 14(4)111--112
-
PL/CV3, 6(3)58--60
-
plea, 5(4)4--5
-
pleasant, 13(5)1--13
-
please, 10(5)31--32
-
plight, 6(1)5--5
-
Plinta, C. P., 14(3)140--142
-
Plinta, C. P., see D'Ippolito, R. S.
-
Ploedereder, E., 14(7)5--14
-
Ploedereder, Erhard, 13(5)226--234, 13(5)235--247
-
Ploedereder, Erhard, see Munck, Robert,
see Penedo, Maria H.
-
Ploedereder:1989:DMC, 14(7)5--14
-
plot, 6(3)68--75
-
pluralistic, 14(3)128--136
-
plus, 9(2)21--37, 9(2)130--132
-
{PLUS, BASIC}-, 9(2)89--103
-
PLUS, BASIC-, 9(2)89--103
-
PML, 14(4)136--141
-
Pnueli, A., 14(3)11--19
-
Pnueli, A., see Gerth, R.
-
Podgurski, A., 14(8)168--178
-
Podgurski:1989:IPD, 14(8)168--178
-
Poe, 9(3)21--29
-
Poegen, 9(3)21--29
-
poetry, 11(2)20
-
Pohl, Ira, 11(2)18--19
-
Pohl:1986:SSA, 11(2)18--19
-
point, 5(2)8--14, 7(5)17--24, 7(5)133--140, 7(5)167--168, 11(1)49--59,
11(2)29--31, 11(2)32--35, 13(1)30--32, 13(4)45--51, 14(4)43--45,
14(4)111--112, 14(4)163--166, 14(7)137--140
-
pointed, 13(5)173--182
-
pointing, 8(4)23--24, 9(3)113--123
-
pointing-oriented, 9(3)132--140
-
Polak, Wolfgang, 5(1)37--38
-
Polak:1980:RKF, 5(1)37--38
-
police, 14(6)51--55
-
policy, 9(3)89--95, 14(1)89--95, 14(7)5--14
-
Pong, L., 11(5)53--56
-
Pong, L., see Tse, T. H.
-
poor, information-, 14(4)163--166
-
poorly, 9(3)1--6, 10(3)95--108, 13(5)191--200
-
popular, 7(2)41--60, 9(3)1--6, 13(2)55--57
-
popularisation, 14(4)111--112
-
port, 8(4)145--148, 14(7)141--144
-
PORT, S-, 8(4)121--122
-
portability, 5(2)8--14, 7(4)24--33, 13(5)235--247
-
portable, 7(2)25--26, 8(4)121--122, 9(3)113--123, 10(4)61--62,
13(5)235--247, 14(5)55--61, 14(6)25--31
-
portion, 8(4)91--95
-
posed, 14(4)111--112
-
poses, 11(4)9--11
-
position, 5(3)4--47, 6(3)46--50, 8(2)11--12, 10(4)61--62, 10(4)113--116,
11(4)26--27, 11(4)66--68, 11(4)68--70, 11(4)70--71, 13(2)18--20,
13(3)18--19, 14(4)43--45, 14(4)46--56
-
possess, 7(4)34--38
-
possibility, 8(4)60--62, 8(4)91--95, 8(4)123--129, 11(2)32--35,
14(6)68--72, 14(7)149--151
-
possible, 6(3)68--75, 7(5)25--32, 7(5)33--34, 7(5)160--166, 8(2)11--12,
8(4)23--24, 8(4)81--90, 8(4)117--120, 8(4)140--144, 8(4)145--148,
9(5)15--19, 12(2)42--49, 13(1)46--50, 13(5)153--162, 13(5)191--200,
14(5)118--123, 14(7)5--14, 14(7)15--22, 14(7)114--117,
14(7)149--151, 14(8)103--113
-
possibly, 8(4)107--111, 14(4)111--112, 14(4)116--117, 14(4)163--166
-
post, 7(1)56--69
-
Post-mortem, 13(2)41--47
-
posteriori, 5(3)4--47
-
postponed, 8(4)114--116
-
potential, 6(5)19--27, 7(3)5--11, 7(5)88--93, 8(4)63--66, 9(4)12--19,
12(1)35--37, 12(1)38--41, 13(1)46--50, 13(5)25--34, 14(1)61--82,
14(6)73--80, 14(7)15--22, 14(8)103--113
-
potentially, 7(5)160--166, 13(5)55--64, 14(4)43--45
-
Poughkeepsie, 14(2)71--77
-
Powell, Michael L., 8(4)67--70
-
Powell, Patricia, 6(4)6--15
-
Powell, Patricia, see Howden, William
-
Powell:1983:DMD, 8(4)67--70
-
power, 7(2)25--26, 9(1)50--51, 13(5)85--96, 14(4)111--112, 14(8)10--19,
14(8)66--74
-
powerful, 6(1)9--14, 8(2)17--27, 8(4)67--70, 8(4)71--80, 8(4)107--111,
8(4)149--151, 9(3)30--41, 9(3)65--72, 9(3)132--140, 10(3)49--61,
10(3)95--108, 14(4)116--117, 14(6)61--67, 14(7)96--105, 14(8)10--19,
14(8)66--74, 14(8)103--113
-
practical, 5(3)4--47, 6(3)50--55, 7(5)88--93, 8(4)206--206, 9(3)1--6,
9(3)57--64, 9(3)65--72, 9(3)73--80, 9(4)12--19, 10(3)49--61,
10(4)44--47, 11(2)29--31, 12(1)51--52, 13(3)45--48, 13(5)55--64,
14(4)111--112, 14(6)25--31, 14(7)42--45, 14(8)10--19, 14(8)103--113,
14(8)124--130, 14(8)168--178
-
practicality, 14(8)179--186
-
practically, 12(4)36--42
-
practice, 7(2)25--26, 8(4)60--62, 9(3)1--6, 10(1)19--30, 10(5)37--46,
11(4)41--45, 12(1)29--34, 12(2)32--35, 14(8)86--96
-
practiced, 10(3)49--61
-
practicing, 14(8)97--102
-
practitioner, 7(4)34--38, 11(5)36--37, 14(2)25--31
-
Pragmatic, 9(2)80--88
-
Pratt, S. J., 12(3)55--57
-
Pratt:1987:CTS, 12(3)55--57
-
pre-TOPS-10, 9(3)185--192
-
preceded, 14(4)46--56
-
precise, 7(5)120--126, 13(5)1--13, 14(4)116--117, 14(4)163--166
-
precisely, 7(5)45--49, 14(4)163--166
-
precondition, 8(1)17--19, 11(2)21, 14(4)43--45, 14(5)43--54
-
predefined, 14(4)43--45
-
predicate, 10(4)63--66, 10(4)92--94, 14(4)116--117, 14(8)10--19,
14(8)114--121
-
predication, 13(2)48--50
-
predicative, 8(4)81--90
-
predict, 13(3)49--51
-
predictable, 14(4)111--112
-
predicted, 5(2)8--14, 14(4)111--112
-
Predicting, 7(1)30--35
-
prediction, 5(2)34--37, 5(4)10--16, 6(1)14--14
-
predictive, 12(3)58--60
-
preexisting, 14(4)43--45
-
prefabrication, 7(5)160--166
-
preferable, 14(4)163--166
-
preferences, 13(5)121--129
-
preferred, 8(3)12--16
-
preliminary, 6(3)68--75, 8(4)25--31, 8(4)107--111, 8(4)140--144,
8(4)190--200, 9(3)113--123, 9(3)149--156, 11(1)35--46, 11(2)58--85,
13(1)22--28, 14(2)42--44, 14(8)124--130, 14(8)141--149,
14(8)152--155
-
premature, 14(4)116--117
-
premise, 8(4)123--129, 8(4)152--154
-
Prentice, Dan, 6(5)19--27
-
Prentice-Hall, 7(2)63--64
-
Prentice:1981:ASD, 6(5)19--27
-
preoccupation, 14(4)43--45
-
preparation, 12(1)29--34
-
prepare, 7(4)34--38
-
preparing, 11(2)32--35, 12(2)37--37, 14(4)111--112
-
prerequisite, 14(5)83--104
-
prescriptive, 14(4)111--112, 14(4)116--117
-
presence, 8(4)145--148, 8(4)159--172, 9(5)15--19
-
present, 7(1)77--77, 7(5)67--70, 7(5)127--132, 8(4)53--59, 8(4)130--139,
8(4)155--158, 8(4)180--189, 9(1)32--35, 9(2)80--88, 9(3)73--80,
9(3)81--88, 9(5)8--10, 10(3)28--32, 10(4)37--40, 11(2)36--48,
11(4)28--33, 12(1)51--52, 12(3)25--36, 12(4)36--42, 13(2)55--57,
13(5)35--44, 13(5)45--54, 13(5)130--142, 13(5)143--152,
13(5)183--190, 13(5)248--257, 14(2)42--44, 14(4)122--125,
14(6)73--80, 14(7)38--41, 14(7)56--65, 14(7)96--105, 14(7)141--144,
14(8)10--19, 14(8)75--84, 14(8)103--113, 14(8)114--121,
14(8)168--178
-
presentation, 7(5)106--111, 8(3)12--16, 8(4)117--120, 8(4)155--158,
9(2)13--20, 10(4)28--32, 11(4)28--33, 12(1)48--48, 12(2)26--29,
13(2)41--47
-
presented, 6(5)14--18, 7(5)3--16, 7(5)127--132, 7(5)141--149, 8(1)17--19,
8(3)17--29, 8(4)1--3, 8(4)23--24, 8(4)53--59, 8(4)96--97,
8(4)98--106, 9(2)21--37, 9(3)81--88, 9(5)28--42, 10(3)95--108,
10(4)61--62, 11(2)32--35, 11(2)36--48, 11(3)65--76, 12(1)56--62,
12(4)52--71, 13(2)41--47, 13(3)45--48, 13(5)183--190, 14(4)163--166,
14(5)118--123, 14(7)38--41, 14(7)76--85, 14(7)152--161,
14(8)97--102, 14(8)158--167, 14(8)168--178
-
presenting, 8(4)23--24, 8(4)114--116
-
presently, 14(6)42--49, 14(7)170--178
-
preserved, 14(7)46--55
-
preserving, 13(5)25--34, 14(7)96--105
-
president, 8(2)11--12
-
Press, 7(3)24--29, 14(2)57
-
Pressash, 11(3)79--81
-
presses, 11(2)22--26
-
pressure, 9(5)15--19, 14(4)43--45
-
pretty, 8(4)91--95
-
prevent, 8(4)81--90
-
prevented, 8(4)81--90, 10(1)31--42, 13(5)97--106
-
prevention, 8(4)152--154
-
previous, 6(3)68--75, 7(5)67--70, 9(2)130--132, 10(4)61--62, 11(3)44--50,
12(1)38--41, 13(1)30--32, 13(3)32--40, 14(2)78, 14(7)5--14
-
previously, 14(4)46--56, 14(8)103--113
-
primarily, 8(4)9--22, 9(3)57--64, 13(5)14--24, 14(5)55--61
-
primary, 7(2)25--26, 8(4)4--8, 8(4)152--154, 8(4)180--189, 9(3)15--20,
10(3)49--61, 12(1)64--84, 13(2)22--24, 13(3)49--51, 13(4)45--51,
14(4)46--56, 14(4)163--166
-
prime, 14(4)111--112
-
primitive, 8(4)4--8, 13(1)17--21, 14(4)43--45, 14(4)163--166
-
principal, 13(5)25--34, 13(5)248--257
-
principle, 5(1)30--33, 9(1)32--35, 9(3)57--64, 10(1)58--58, 10(2)28--34,
12(1)29--34, 12(3)17--19, 13(1)52--56, 13(2)21--21, 13(5)45--54,
13(5)153--162, 14(4)97--102, 14(5)83--104, 14(5)108--117,
14(6)32--41
-
Prins, 14(7)46--55
-
print, 7(5)133--140
-
printers, 8(4)91--95
-
printing, 9(1)50--51
-
priori, 5(3)4--47
-
priority, 7(2)21--24
-
PRISMA, 14(3)128--136
-
prize, 8(3)64--64
-
probability, 14(6)42--49
-
probably, 8(4)107--111
-
probes, 8(4)140--144
-
Probing, 14(4)79--81
-
problem, 5(1)18--27, 5(3)4--47, 5(3)51--52, 6(3)58--60, 6(3)68--75,
6(5)3--10, 6(5)19--27, 7(1)56--69, 7(2)3--12, 7(2)27--28, 7(2)41--60,
7(2)61--62, 7(5)150--154, 8(2)14--16, 8(4)53--59, 8(4)81--90,
8(4)107--111, 8(4)159--172, 8(4)173--179, 9(1)29--30, 9(2)80--88,
9(3)7--14, 9(3)193--196, 9(4)12--19, 10(3)95--108, 10(4)126--129,
11(4)12--13, 11(5)43--51, 12(1)3--22, 12(1)29--34, 12(1)42--47,
12(1)63--63, 12(2)42--49, 12(3)45--50, 12(4)27--33, 13(4)74--78,
13(4)79--84, 13(5)183--190, 14(1)61--82, 14(2)62--70, 14(3)177--184,
14(4)97--102, 14(4)111--112, 14(4)116--117, 14(4)126--128,
14(5)43--54, 14(5)118--123, 14(6)25--31, 14(6)51--55, 14(6)61--67,
14(7)42--45, 14(7)76--85, 14(7)141--144, 14(7)149--151, 14(8)66--74,
14(8)97--102, 14(8)103--113, 14(8)219--228
-
problem-oriented, 9(4)12--19
-
problem-prone, 7(5)88--93
-
problem/solution, 7(5)141--149
-
procedural, 8(4)9--22
-
procedurally, 14(4)43--45, 14(4)163--166
-
procedure, 8(4)159--172, 8(4)201--202, 9(2)80--88, 10(1)19--30,
10(1)31--42, 10(4)61--62, 11(3)65--76, 12(1)50--50, 13(2)48--50,
14(4)43--45, 14(7)5--14, 14(8)158--167
-
proceed, 14(4)46--56, 14(5)83--104
-
proceeded, 8(4)32--33
-
proceeding, 8(1)17--19
-
Proceedings, 10(2)77--117
-
process-driven, 14(4)65--67
-
processed, 9(3)124--131, 14(4)43--45
-
processing, 7(5)133--140, 7(5)141--149, 8(4)107--111, 10(2)28--34,
11(5)43--51, 12(2)26--29, 13(1)30--32, 13(3)45--48, 14(3)52--55,
14(4)43--45, 14(6)61--67
-
processing, multi-, 8(4)190--200
-
processing, text-, 7(5)50--53
-
processor, 7(5)127--132, 8(4)145--148, 8(4)203--205, 10(4)116--118,
11(2)22--26, 14(4)43--45
-
processor'', co-, 8(4)145--148
-
processor, co-, 8(4)145--148
-
processors, micro-, 6(2)8--14
-
Proctor, Norman, 10(4)116--118
-
Proctor:1985:RAP, 10(4)116--118
-
produce, 7(5)39--44, 7(5)54--60, 9(3)30--41, 12(1)29--34, 13(5)14--24,
14(4)111--112, 14(4)116--117, 14(4)163--166
-
produced, 7(5)127--132, 8(4)140--144, 8(4)155--158, 9(2)80--88,
9(2)130--132, 9(3)177--184, 13(5)216--225, 14(7)162--169
-
producing, 5(2)34--37, 7(5)61--66, 9(2)89--103, 9(2)130--132,
13(5)110--120, 14(4)116--117
-
product, 7(1)56--69, 7(5)39--44, 7(5)120--126, 8(3)39--43, 8(4)180--189,
9(2)130--132, 9(3)193--196, 10(1)19--30, 10(1)31--42, 10(3)95--108,
10(5)37--46, 10(5)47--59, 11(2)22--26, 12(1)35--37, 12(2)37--37,
12(2)42--49, 13(1)22--28, 13(1)30--32, 13(5)216--225, 14(1)61--82,
14(2)71--77, 14(4)43--45, 14(4)73--75, 14(4)111--112, 14(6)25--31,
14(7)56--65, 14(8)219--228
-
production, 7(5)35--38, 7(5)54--60, 7(5)61--66, 7(5)112--119,
7(5)120--126, 8(2)17--27, 8(4)206--206, 9(2)89--103, 9(3)104--112,
9(3)113--123, 9(3)149--156, 10(4)15--16, 12(1)35--37, 13(1)30--32,
13(5)45--54, 14(8)210--218
-
productive, 9(3)193--196, 9(4)58--60, 10(1)58--58
-
productive, non-, 9(4)58--60
-
productivity, 7(1)10--20, 7(2)3--12, 10(1)19--30, 10(3)63--75,
11(1)21--28, 12(1)42--47, 12(2)30--31, 13(5)235--247, 14(6)73--80
-
profession, 14(4)43--45
-
professional, 5(2)34--37, 7(4)3--13, 12(3)42--44
-
Professionals, 8(2)11--12
-
professor, 8(5)43--48
-
profile, 13(3)45--48
-
profound, 5(2)8--14
-
program, stored-, 13(1)17--21
-
program--development, 8(4)4--8
-
program-integration, 14(7)46--55
-
programmable, 9(3)141--148, 10(4)70--71, 14(8)66--74
-
programmer, 5(2)34--37, 6(5)14--18, 7(1)10--20, 7(2)27--28, 7(4)3--13,
7(5)141--149, 7(5)150--154, 8(2)11--12, 8(4)23--24, 8(4)67--70,
8(4)71--80, 8(4)81--90, 8(4)91--95, 8(4)112--113, 8(4)117--120,
8(4)121--122, 8(4)130--139, 8(4)155--158, 8(4)159--172,
8(4)201--202, 9(2)89--103, 9(3)49--56, 9(3)65--72, 9(3)113--123,
9(5)28--42, 10(2)19--22, 10(5)89--98, 11(5)38, 13(1)17--21,
13(5)55--64, 13(5)97--106, 13(5)191--200, 13(5)235--247,
14(7)149--151, 14(8)114--121
-
programmer, inter-, 7(1)10--20
-
programmer, multi-, 7(1)10--20
-
programmer-selected, 13(5)97--106
-
programmerash, 8(1)16--16
-
programmes, 13(4)52--56
-
programming-in-the-large, 13(5)45--54
-
programming-in-the-small, 10(5)62--72
-
programming-language, 14(8)103--113
-
PROGRESS, 14(7)96--105
-
progress, 5(3)4--47, 6(2)8--14, 8(2)29--54, 9(3)96--103, 9(3)141--148,
11(2)32--35, 11(4)36--38, 12(1)42--47, 13(1)46--50, 13(4)74--78,
14(4)111--112, 14(4)116--117
-
progressing, 7(4)3--13
-
progressively, 13(2)22--24
-
Project-management, 11(2)32--35
-
project.+, 10(3)95--108
-
projection, 13(1)52--56
-
PROLOG, 9(1)16--18, 14(4)163--166
-
Prolog, 10(4)37--40, 13(2)48--50, 13(5)14--24, 14(3)249--256,
14(4)118--121, 14(8)97--102
-
Prolog, Mu-, 13(5)14--24
-
promised, 11(2)29--31
-
promising, 9(4)12--19, 14(4)116--117
-
promote, 7(5)112--119, 12(2)30--31
-
promoted, 8(2)11--12
-
prompts, 9(3)168--176
-
prone, 14(4)163--166, 14(7)76--85
-
prone, error-, 12(3)58--60, 14(7)5--14
-
prone, problem-, 7(5)88--93
-
proof, 7(1)2--5, 9(3)15--20, 10(4)19--25, 13(5)25--34, 14(5)43--54
-
proof-theoretic, 13(5)25--34
-
propagating, 14(8)114--121
-
propagation, 14(8)114--121
-
property, 7(3)16--21, 7(4)14--17, 9(3)15--20, 10(3)76--94, 10(4)102--104,
11(4)36--38, 12(1)52--55, 14(4)43--45, 14(4)111--112, 14(4)116--117,
14(4)163--166, 14(5)43--54, 14(7)133--136, 14(8)10--19, 14(8)28--37,
14(8)103--113
-
Proponents, 7(1)56--69
-
proportion, 12(1)42--47
-
proposal, 7(1)6--10, 7(1)36--45, 7(1)56--69, 7(5)106--111
-
propose, 7(1)10--20, 7(2)25--26, 7(4)14--17, 9(2)80--88, 10(3)37--39,
10(4)19--25, 10(4)76--79, 11(2)36--48, 13(1)46--50, 14(4)73--75,
14(4)148--152, 14(6)42--49, 14(7)46--55, 14(7)76--85, 14(8)86--96
-
proposed, 5(2)8--14, 6(5)19--27, 7(1)10--20, 7(1)56--69, 7(4)3--13,
7(4)14--17, 7(5)96--105, 7(5)120--126, 8(3)12--16, 8(4)4--8,
9(2)38--53, 11(4)36--38, 12(1)29--34, 13(1)58--67, 13(5)235--247,
13(5)248--257, 14(3)177--184, 14(4)148--152, 14(4)163--166,
14(5)118--123, 14(7)46--55, 14(7)133--136, 14(8)48--54,
14(8)219--228
-
protected, 9(3)15--20
-
protocol, 6(1)6--8, 6(3)8--13, 8(4)53--59, 9(3)96--103, 14(4)129--132
-
prototype, 7(5)17--24, 7(5)25--32, 7(5)35--38, 7(5)39--44, 7(5)45--49,
7(5)54--60, 7(5)61--66, 7(5)67--70, 7(5)71--74, 7(5)85--87,
7(5)88--93, 7(5)96--105, 7(5)120--126, 7(5)127--132, 7(5)141--149,
7(5)167--168, 7(5)171--180, 7(5)181--185, 8(2)17--27, 8(4)25--31,
8(4)159--172, 9(3)57--64, 9(3)73--80, 9(3)113--123, 9(3)132--140,
9(5)11--12, 9(5)13--13, 10(4)72--74, 11(3)65--76, 12(2)26--29,
12(3)58--60, 12(4)45--51, 13(3)32--40, 13(5)76--84, 13(5)85--96,
13(5)130--142, 13(5)153--162, 14(4)148--152, 14(4)163--166,
14(5)55--61, 14(8)124--130
-
prototyped, 7(5)120--126
-
prototyping, 7(3)14--15, 7(5)2--2, 7(5)3--16, 7(5)17--24, 7(5)25--32,
7(5)33--34, 7(5)35--38, 7(5)39--44, 7(5)45--49, 7(5)50--53,
7(5)54--60, 7(5)61--66, 7(5)67--70, 7(5)71--74, 7(5)75--84,
7(5)85--87, 7(5)88--93, 7(5)94--95, 7(5)96--105, 7(5)112--119,
7(5)120--126, 7(5)133--140, 7(5)150--154, 7(5)160--166,
7(5)167--168, 7(5)169--170, 7(5)171--180, 7(5)181--185, 8(2)14--16,
8(2)17--27, 8(3)9--11, 8(3)17--29, 9(4)12--19, 9(5)23--27,
10(2)28--34, 11(3)65--76, 12(1)38--41, 12(2)26--29, 12(2)37--37,
12(3)25--36, 12(4)34--34, 12(4)45--51, 13(5)25--34, 14(4)43--45,
14(4)163--166, 14(6)68--72
-
prove, 9(5)8--10, 10(4)61--62, 14(4)111--112
-
proved, 7(5)71--74
-
proven, 9(2)130--132
-
prover, 6(1)9--14, 10(4)61--62, 10(4)69--69, 10(4)70--71
-
prover, theorem-, 10(4)72--74
-
provide, 5(2)8--14, 7(4)34--38, 7(5)54--60, 7(5)106--111, 7(5)160--166,
8(1)17--19, 8(3)12--16, 8(4)9--22, 8(4)63--66, 8(4)67--70,
8(4)145--148, 8(4)155--158, 9(3)42--48, 9(3)49--56, 9(3)89--95,
9(3)96--103, 9(3)104--112, 9(3)113--123, 9(3)132--140, 9(3)157--167,
9(4)12--19, 9(5)28--42, 10(3)28--32, 10(3)37--39, 10(5)62--72,
11(1)73--102, 11(4)9--11, 12(1)64--84, 12(2)26--29, 12(2)37--37,
12(3)42--44, 12(4)19--26, 13(1)46--50, 13(5)1--13, 13(5)14--24,
13(5)25--34, 13(5)45--54, 13(5)55--64, 13(5)76--84, 13(5)85--96,
13(5)97--106, 13(5)107--109, 13(5)121--129, 13(5)130--142,
13(5)143--152, 13(5)183--190, 14(4)43--45, 14(4)111--112,
14(4)122--125, 14(4)163--166, 14(5)55--61, 14(5)83--104, 14(7)5--14,
14(7)26--29, 14(7)42--45, 14(7)46--55, 14(7)96--105, 14(7)162--169,
14(8)58--65, 14(8)219--228
-
provided, 6(5)19--27, 8(4)152--154, 9(2)21--37, 9(3)49--56, 10(5)62--72,
13(5)121--129, 14(8)48--54
-
providing, 7(5)3--16, 7(5)71--74, 7(5)88--93, 8(3)39--43, 8(4)130--139,
8(4)203--205, 11(2)27--28, 11(4)41--45, 12(1)29--34, 13(5)1--13,
14(4)122--125, 14(7)162--169, 14(8)114--121
-
proving, 9(3)15--20, 10(4)53--54, 10(4)63--66, 10(4)67--68, 11(5)63--85
-
provision, 13(5)226--234
-
pseudocode, 9(2)54--79, 10(3)76--94
-
PSL-like, 7(5)127--132
-
psychological, 11(1)21--28, 12(4)52--71, 13(1)17--21
-
psychology, 12(4)52--71
-
Psychosocial, 7(2)3--12
-
PTI, 14(5)55--61
-
PTIs, 14(5)55--61
-
public, 8(3)70--71, 11(1)2--14, 11(2)1, 11(2)2--17, 11(5)3--28,
12(1)3--22, 12(3)2--17, 12(4)2--18, 13(1)3--16, 13(2)5--17,
13(4)3--20, 13(5)248--257, 14(5)55--61
-
published, 11(2)27--28, 11(2)49--52
-
Publishers, 9(1)12--15
-
Punchcard, 13(3)21--21
-
purely, 14(8)103--113
-
purpose, 6(1)9--14, 7(4)14--17, 7(5)67--70, 8(4)203--205, 10(4)44--47,
12(1)51--52, 13(4)45--51, 14(4)43--45, 14(4)111--112, 14(4)163--166
-
purpose, general-, 14(4)163--166
-
purpose, Special-, 7(5)67--70
-
purpose, special-, 8(3)17--29
-
pursuing, 6(3)24--24, 14(4)43--45
-
pursuit, 14(4)111--112
-
pushed, 8(3)17--29
-
put, 9(4)58--60, 11(4)52--53, 12(2)42--49, 13(1)52--56, 13(5)248--257,
14(3)60--67, 14(4)43--45, 14(5)83--104
-
Putnam, Dan, 10(4)26--27, 10(4)90--91
-
Putnam:1985:SMS, 10(4)90--91
-
Putnam:1985:VDV, 10(4)26--27
-
PVS, 10(4)44--47