Last update: Sun Jan 14 02:00:47 MST 2024
Return to index directory
P
-
P, 9(7)6--6, 14(8)208--213
-
P-code, 14(8)208--213
-
package, 6(10)23--30, 11(0)99999999, 11(5)59--62, 11(6)101--105,
11(8)31--35, 12(6)168--174
-
packed, 13(8)227--241
-
PACOL, 10(3)44--53
-
Pagan, F. G., 5(12)46--49, 8(10)44--48
-
Pagan, Frank G., 12(6)54--62
-
Pagan:1970:MLP, 5(12)46--49
-
Pagan:1973:TDP, 8(10)44--48
-
Pagan:1977:AIL, 12(6)54--62
-
page, 13(8)245--272, 14(10)36--47
-
Page, P. D., 6(10)30--34
-
Page, R. L., 9(4)179--186
-
Page:1971:OLP, 6(10)30--34
-
Page:1974:ITE, 9(4)179--186
-
Pai, Ajit B., 14(8)158--167
-
Pai:1979:GCR, 14(8)158--167
-
Painter, James A., 5(7)101--126
-
Painter:1970:EOC, 5(7)101--126
-
pair, 8(9)34--37, 13(3)29--33
-
Palme, Jacob, 9(2)24--40, 11(5)59--62
-
Palme:1974:STE, 9(2)24--40
-
Palme:1976:NFM, 11(5)59--62
-
Panel, 4(8)37--39, 4(8)53--54
-
Papakonstantinou, G., 13(9)76--84
-
Papakonstantinou, G., see Skordalakis, E.
-
paper, 6(10)23--30, 8(4)16--21, 9(10)21--27, 9(12)14--22, 10(3)119--132,
10(4)37--46, 10(7)41--45, 10(8)10--11, 10(9)19--30, 10(10)25--36,
10(12)14--21, 11(0)128, 11(11)8--25, 11(11)58--64, 13(4)85--88,
13(6)18--28, 13(6)29--37, 13(8)15--44, 13(8)47--57, 13(8)59--60,
13(8)121--161, 13(8)217--223, 13(8)225--226, 13(8)227--241,
13(8)245--272, 13(8)275--308, 13(8)309--310, 13(10)42--49,
14(4)64--76, 14(5)11--18, 14(5)28--45, 14(5)54--63, 14(8)50--57,
14(8)65--75, 14(8)188--200, 14(8)208--213, 14(9)50--58,
14(11)23--25, 14(11)110--115, 14(11)116--122
-
paradigm, 9(8)23--36
-
paragraph, single-, 6(8)45--53
-
paragraphing, 12(3)105--113
-
parallel, 5(10)18--31, 6(8)93--103, 6(12)56--57, 7(1)116--120,
7(11)45--52, 8(9)42--45, 8(9)82--85, 8(11)141--151, 9(0)z,
9(2)24--40, 9(4)65--76, 9(4)163--170, 9(4)171--178, 9(8)23--36,
9(8)98--111, 10(0)99999999, 10(3)9--16, 10(3)17--24, 10(3)25--33,
10(3)34--38, 10(3)39--43, 10(3)44--53, 10(3)54--61, 10(3)72--76,
10(3)77--86, 10(3)97--102, 10(3)103--106, 10(3)107--112,
10(3)113--118, 10(3)119--132, 10(3)133--137, 10(3)138--145,
10(3)146--152, 10(3)153--163, 10(9)30--38, 11(10)19--31,
12(3)114--127, 12(6)109--116, 12(7)75--81, 12(8)55--59, 13(1)25--33,
13(4)68--75, 13(5)23--35, 13(12)41--59, 14(9)17--34
-
parallelism, 10(3)9--16, 10(3)17--24, 13(1)25--33
-
Paralyzer, 10(3)9--16
-
parameter, 9(0)vi--132, 9(4)82--90, 10(6)204--207, 10(6)208--220,
10(6)337--346, 11_3S_120_120, 11(5)52--58, 11(6)54--56,
11(11)38--41, 12(9)45--51, 13(1)16--20, 13(3)34--42, 13(6)18--28,
13(7)41--42, 14(7)47--50, 14(9)59--60
-
parameter, argument-, 13(1)16--20
-
parameterisation, 13(7)27--30
-
parametric, 13(1)43--47
-
parametrised, 11_3S_69_70
-
parenthesis, 13(8)215--216
-
parenthetical, 10(3)146--152
-
Pargas, R. P., 9(4)107--114
-
Pargas, R. P., see Presnell, H. A.
-
Paris, 7(4)45--47
-
Paris-XI, 12(6)109--116
-
Parker, Edwin B., 10(1)75--85
-
Parker, Edwin B., see Martin, Thomas H.
-
Parkin, Rodney, 13(7)41--42
-
Parkin:1978:UKP, 13(7)41--42
-
Parkyn, D. G., 14(3)5--15
-
Parkyn, D. G., see Axford, T. H.
-
Parnas, 10(7)41--45
-
Parnas, D. L., 10(6)358--362, 11_3S_149_154
-
Parnas, David L., 10(5)29--36
-
Parnas:1975:ISS, 10(6)358--362
-
Parnas:1975:NFR, 10(5)29--36
-
Parnas:1976:ATD, 11_3S_149_154
-
parse, 14(1)46--54, 14(8)26--38, 14(8)168--175
-
parse-tree-like, 14(8)65--75
-
parsed, 13(12)88--97
-
parser, 5(11)10--24, 9(5)10--12, 9(8)130--138, 11(1)32--36, 11(2)20--29,
12(10)48--60, 14(0)vii--234, 14(1)102--104, 14(8)98--106,
14(8)117--126, 14(8)144--151, 14(8)158--167, 14(8)168--175
-
parsing, 5(7)128--128, 5(12)2--17, 6(12)56--57, 8(6)39--41,
10(3)138--145, 11(2)20--29, 12(6)49--53, 13(2)71--76, 13(10)42--49,
14(1)16--26, 14(1)100--101, 14(8)152--157, 14(8)158--167,
14(11)26--30
-
part, 6(1)5--12, 6(10)40--46, 7(4)47--49, 9(11)6--10, 12(6)184--191,
13(8)1--1, 13(8)59--60, 13(8)103--118, 13(8)183--198, 13(8)215--216,
13(8)227--241
-
partial, 7(1)58--65, 9(4)82--90, 10(12)14--21, 11(7)34--40, 12(6)19--26,
14(11)84--96
-
partially, 13(8)1--1
-
participant, 13(8)15--44
-
particular, 13(8)47--57, 13(8)201--202, 14(5)28--45, 14(8)188--200
-
particularly, 10(9)19--30, 11(11)8--25, 13(8)201--202, 13(9)36--58
-
partition, 10(6)51--58
-
partner, 13(8)1--1
-
Partsch, H., 13(12)15--24
-
Partsch, H., see Bauer, F. L.
-
PASCAL, 10(6)23--30, 10(6)156--164, 10(6)305--309, 10(6)310--318,
10(6)473--481, 10(9)39--40, 11(1)37--38, 11_3S_120_120,
11_3S_71_71, 11(4)138--143, 11(5)63--64, 11(8)42--45, 11(10)32--35,
11(10)36--42, 11(11)8--25, 11(11)58--64, 12(1)82--86, 12(3)11--18,
12(3)19--24, 12(3)25--40, 12(3)56--62, 12(3)77--94, 12(4)31--33,
12(6)184--191, 12(7)82--84, 12(7)101--105, 12(8)67--76,
12(11)10--22, 12(11)23--27, 13(2)57--62, 13(7)34--40, 13(8)3--14,
13(9)30--33, 13(11)15--22, 13(12)98--101, 14(2)9--13, 14(2)60--74,
14(5)28--45, 14_6a_1_145, 14(8)117--126, 14(8)127--138,
14(8)139--143, 14(8)176--187, 14(8)201--207, 14(8)208--213,
14(8)221--225, 14(9)42--49, 14(9)61--63, 14(9)76--z, 14(10)36--47,
14(11)97--106, 14(12)59--61
-
Pascal, 8(6)34--36, 8(6)89--90, 9(7)15--21, 9(10)21--27, 10(6)305--309,
12(6)184--191, 12(11)10--22, 12(11)23--27, 12(12)83--86,
13(1)48--58, 13(3)57--69, 13(3)70--84, 13(11)15--22, 14(2)9--13,
14(2)60--74, 14(3)5--15, 14(4)35--40, 14(8)13--25, 14(8)50--57,
14(8)117--126, 14(8)168--175, 14(9)42--49, 14(9)61--63,
14(11)97--106, 14(12)47--49, 14(12)59--61
-
PASCAL-based, 12(8)67--76
-
PASS, 6(9)20--28
-
pass, 10(3)87--96, 11(1)32--36, 14(8)152--157
-
pass, multi-, 14(8)26--38, 14(8)117--126
-
Pass, One-, 14(12)50--58
-
pass, one-, 11(1)32--36
-
passage, 10(3)17--24
-
Passardiere, B. De La, 8(6)25--27
-
Passardiere, B. De La, see Daquin, C.
-
passing, 12(9)45--51, 13(7)41--42, 14(9)59--60
-
passive, 12(3)56--62
-
past, 11(12)74--93, 13(3)9--10, 14(12)122--141
-
patching, 13(3)25--28
-
Patel, R., 12(6)49--53
-
Patel, R., see Hunter, R. B.
-
Paterson, Michael S., 7(1)74--82
-
Paterson:1972:DPC, 7(1)74--82
-
path, 9(4)107--114, 11_3S_141_148, 13(5)12--22, 13(12)41--59
-
path, multi-, 14(4)55--63
-
pattern, 9(4)34--42, 10(4)33--37, 12(6)144--152, 12(10)70--74,
13(5)46--55, 13(8)3--14
-
paves, 14(8)65--75
-
Payne, A. J., 13(1)59--69
-
Payne:1978:FTE, 13(1)59--69
-
PDEL, 9(0)vi--132, 9(4)82--90
-
PDEL-ID, 9(4)82--90
-
PDP, 11(4)27--34, 11(4)109--112, 11(4)118--118, 11(4)135--137,
11(5)47--52, 11(6)18--23, 12(7)85--100
-
PDP-10, 6(10)20--22, 9(5)13--30
-
PDP-11, 11(4)27--34, 11(4)109--112, 11(5)47--52, 12(7)85--100
-
PDP11ash, 12(6)153--156
-
PDP11/ICL1900, 12(6)153--156
-
PDP8, 11(4)118--118
-
PEARL, 7(3)9--26
-
Peck, J. E. L., 9(7)39--39, 12(5)1--70
-
Peck, J. E. L., see van Wijngaarden, A.
-
Peck, John E. L., 4(8)9--13
-
Peck, John E. L., see Mailloux, Barry J.
-
Peck:1974:RAS, 9(7)39--39
-
pedagogic, 8(2)3--27, 8(6)50--51
-
pedagogical, 9(9)29--31, 11(4)45--56
-
Peetz, J. G., 8(11)141--151
-
Peetz, J. G., see Chirica, L. M.
-
Pei Wang, P., Shen-, 11(6)106--112
-
penetrating, 13(8)15--44
-
Pennello, Thomas J., 14(8)176--187
-
Pennello, Thomas J., see DeRemer, Frank
-
Pentagon, 13(8)121--161
-
people, 13(8)227--241
-
Pepper, P., 13(12)15--24
-
Pepper, P., see Bauer, F. L.
-
perceived, 10(9)19--30
-
percent, 13(8)103--118
-
Pereira, Fernando C. N., 12(8)109--115
-
Pereira, Fernando C. N., see Warren, David H. D.
-
Pereira, Luis M., 12(8)109--115
-
Pereira, Luis M., see Warren, David H. D.
-
performance, 9(8)139--144, 10(6)208--220, 11(4)66--69, 11(4)118--118,
11(6)79--84, 13(8)3--14, 14(11)19--22
-
performed, 13(8)165--180
-
perhaps, 10(3)119--132, 13(8)3--14, 13(8)47--57, 13(8)245--272,
13(10)40--41
-
period, 11(9)10--17, 13(8)15--44, 13(8)183--198, 13(8)217--223,
13(8)245--272
-
peripheral, 11(6)24--31, 13(8)203--214
-
Perkins, Daniel R., 14(8)201--207
-
Perkins:1979:MIP, 14(8)201--207
-
Perlis, Alan J., 4(8)3--5, 13(8)3--14
-
Perlis:1969:IEL, 4(8)3--5
-
Perlis:1978:ASD, 13(8)3--14
-
permanent, 8(6)70--72, 13(8)309--310
-
permissible, 11(12)74--93
-
permit, 9(11)6--10, 10(12)26--38, 13(8)201--202
-
Perseus, 13(8)1--1
-
personal, 11(9)10--17, 13(8)47--57
-
personalized, 10(1)161--175
-
personnel, 10(6)260--266, 13(8)199--200
-
perspective, 6(10)23--30, 10(6)546--550, 11(6)18--23, 14(11)84--96
-
Perstein, Millard H., 6(10)41--49
-
Perstein:1971:RSS, 6(10)41--49
-
Peschke, J., v., 9(7)30--38
-
Peschke, J. V., 13(4)85--88
-
Peschke, Joachim v., 6(4)16--22
-
Peschke, Joachim von, 9(7)30--38
-
Peschke:1978:CPR, 12(7)26--42, 13(4)85--88
-
PET, 13(8)273--274
-
Peterson, James, 9(7)6--6
-
Peterson, James L., 12(12)83--86
-
Peterson:1974:REP, 9(7)6--6
-
Peterson:1977:FPP, 12(12)83--86
-
Petri, 8(9)34--37
-
Pettus, C., 7(4)40--41
-
Pettus:1972:IDC, 7(4)40--41
-
Pfeffer, Lawrence, 8(6)66--70, 8(6)70--72, 8(6)72--74
-
Pfeffer:1973:DNF, 8(6)66--70
-
Pfeffer:1973:PTD, 8(6)70--72
-
Pfeffer:1973:RNM, 8(6)72--74
-
Pfister, Gregory F., 11(6)1--9
-
Pfister:1976:HLL, 11(6)1--9
-
Pflasterer, David C., 13(2)63--70, 13(11)43--55, 14(9)50--58
-
Pflasterer:1978:AEF, 13(2)63--70
-
Pflasterer:1978:CPL, 13(11)43--55
-
Pflasterer:1979:ARC, 14(9)50--58
-
phase, 10(4)33--37, 13(8)15--44, 13(9)36--58, 13(9)59--75, 14(8)65--75,
14(8)188--200
-
philosophy, 10(6)122--130, 12(6)157--160
-
phrases, 11(12)74--93
-
physics, 11(4)27--34, 11(4)156--164, 11(11)42--49
-
PI, 13(8)215--216
-
PICASSO, 7(10)85--92
-
picture, 10(4)33--37, 11(0)99999999, 11(6)1--9, 11(6)49--53,
11(6)57--60, 11(6)73--76, 11(6)106--112, 14(12)80--91
-
pipe, 10(3)119--132
-
pipeline, 13(7)31--33
-
Pittman, T., 14(5)28--45
-
Pittman, T., see Hanson, S.
-
Pittman, Tom, 14(5)28--45
-
Pittman, Tom, see DeRemer, Frank
-
PL, 11(4)4--15, 11(4)27--34
-
PL-11, 11(4)27--34
-
PL/1, 6(0)z, 6(9)89--91, 8(9)30--33, 8(9)104--108, 9(7)30--38,
9(9)29--31, 10(4)46--48, 11(1)39--44, 11(5)38--46, 11(7)55--62,
11(12)21--24, 11(12)94--104, 12(3)101--104, 12(7)26--42, 13(0)z,
13(2)30--45, 13(4)58--63, 13(4)85--88, 13(5)12--22, 13(6)29--37,
13(8)227--241, 14(9)15--16, 14(10)77--99
-
PL/2, 11(7)41--54
-
PL316, 10(11)13--17
-
PL360, 6(9)20--28
-
PL/85, 14(8)144--151
-
place, 13(8)103--118, 13(8)217--223, 13(9)36--58, 14(3)5--15,
14(9)50--58
-
placed, 13(8)273--274, 13(8)275--308
-
placing, 8(4)6--15
-
plan, 8(6)66--70
-
plane, 13(8)59--60
-
planning, 6(10)41--49, 12(8)67--76, 13(8)183--198
-
Plas, A., 13(1)25--33
-
Plas, A., see Comte, D.
-
PLash, 8(11)124--130, 11(1)39--44, 11(12)21--24
-
PLASMA, 12(3)56--62
-
Plauger, 9(7)6--6
-
Plauger, P. J., 11(4)135--137
-
Plauger:1976:LIL, 11(4)135--137
-
PL/C, 11(12)21--24
-
PL/CS, 11(12)21--24
-
Pleban, Uwe F., 14(8)144--151
-
Pleban:1979:UTM, 14(8)144--151
-
Plex1, 11_3S_63_65
-
Plex2, 11_3S_63_65
-
PL/I, 4(8)40--44, 5(3)22--24, 5(12)18--29, 5(12)30--43, 5(12)46--49,
6(4)16--22, 6(9)89--91, 7(9)21--36, 8(5)8--23, 8(9)30--33,
8(9)104--108, 8(10)12--43, 9(7)30--38, 10(4)46--48, 11(1)39--44,
11(5)38--46, 11(12)94--104, 12(3)101--104, 12(7)26--42, 13(2)30--45,
13(6)29--37, 13(8)225--226, 13(8)227--241, 14(8)107--116,
14(9)15--16, 14(10)77--99
-
PLIGOL, 11(7)41--54
-
plot, 11(6)85--100
-
plotters, 11(6)85--100
-
plotting, 11(6)85--100
-
PL/S, 6(9)110--121
-
PLUM, 11(1)39--44
-
Plum, Thomas W. S., 10(8)34--44
-
Plum, Thomas W. S., see Weinberg, Gerald M.
-
Plum, Thomas W.-S. S., 10(2)32--33
-
Plum:1975:MOS, 10(2)32--33
-
PLUS, 5(11)29--31, 13(8)215--216
-
plus, 13(10)33--39
-
point, 6(10)20--22, 6(12)137--140, 10(1)118--130, 11(4)103--108,
11(6)101--105, 11(11)8--25, 12(9)60--70, 13(8)15--44, 13(8)59--60,
13(8)165--180, 13(9)36--58
-
point, floating-, 7(4)40--41, 12(9)60--70
-
pointer, 9(4)71--72, 11_3S_115_119, 11_3S_95_107, 12(3)19--24,
12(7)60--74, 14(3)5--15
-
Poisson, 10(6)204--207, 10(6)337--346
-
poker, 13(9)28--29
-
Pokrovsky, Sergei, 11(10)36--42
-
Pokrovsky:1976:FTT, 11(10)36--42
-
policy, 10(6)208--220
-
Polillo, R., 10(6)43--50
-
Polillo, R., see Cicu, A.
-
polish, 8(11)131--140, 10(1)131--143, 12(9)114--123
-
politics, 7(10)11--22
-
Pollack, 10(12)14--21
-
polyadic, 8(6)31--34
-
polygon, 7(10)48--56
-
polymorphic, 4(8)20--26
-
POLYP, 11(9)18--24
-
POOL, 13(8)201--202
-
Popek, G. J., 12(2)1--77, 12(3)11--18
-
Popek, G. J., see Lampson, B. W.
-
Popek, Gerald J., 10(6)294--304
-
Popek:1975:VPS, 10(6)294--304
-
Popek:1977:NDE, 12(3)11--18
-
popularized, 13(8)273--274
-
portability, 8(6)90--92, 10(6)186--192, 10(9)19--30, 10(12)39--z,
11(0)z, 11(9)10--17, 11(9)18--24, 14(0)vii--234, 14(8)92--97,
14(8)98--106, 14(8)117--126, 14(8)127--138, 14(8)201--207,
14(8)208--213
-
portable, 11(4)4--15, 11(9)10--17, 12(6)54--62, 12(11)10--22,
14(8)92--97, 14(8)98--106, 14(8)201--207
-
porting, 14(8)92--97
-
portion, 8(4)16--21, 14(9)50--58
-
positional, 11(5)52--58
-
possess, 11(7)34--40
-
possibilities, 10(12)26--38
-
possible, 10(4)33--37, 10(9)19--30, 11(12)74--93, 13(8)163--164,
13(8)245--272, 14(8)168--175
-
postfix, 10(6)96--103
-
Postma, Stef. W., 13(7)43--59
-
Postma:1978:FFE, 13(7)43--59
-
potential, 6(12)137--140
-
power, 12(6)1--18, 13(8)3--14, 13(8)225--226, 14(7)78--81
-
powerful, 9(5)13--30, 12(8)67--76, 13(8)181--182, 14(3)5--15
-
pp, 12(4)21--30
-
PPL, 4(8)20--26, 6(12)144--145
-
PQCC, 14(8)65--75
-
practical, 9(4)195--202, 10(12)26--38, 13(7)34--40, 14(8)168--175,
14(9)42--49
-
practically, 6(8)89--93, 11(9)25--37
-
practice, 10(3)97--102, 13(3)25--28
-
practitioners, 10(12)26--38
-
Prakash, Naveen, 14(7)82--96
-
Prakash:1979:IDB, 14(7)82--96
-
Pratt, Terrence, 8(6)74--76
-
Pratt:1973:FDP, 8(6)74--76
-
pre-processor, 14(2)14--20, 14(3)14--20
-
pre-processor, macro-, 11(9)10--17
-
precedence, 5(11)10--24, 9(8)98--111, 13(8)45--45, 14(8)168--175
-
precision, 10(6)363--370
-
precompilation, 12(6)102--108
-
precompiler, 9(12)22--29, 12(9)45--51
-
predecessor, 12(12)55--59, 13(8)3--14
-
predicate, 10(1)31--47, 10(6)427--436, 11(7)17--24, 14(4)32--34
-
predictability, 6(9)20--28
-
predicting, 10(9)19--30, 14(8)214--220
-
prediction, 10(6)208--220, 13(6)49--59
-
predicts, 13(8)183--198
-
predominantly, 13(8)103--118
-
preface, 13(8)245--272
-
preferable, 10(9)19--30
-
prefix, 11(11)50--57, 14(1)46--54
-
prefix-style, 13(11)30--42
-
preliminary, 11(6)73--76, 12(3)41--55, 14_6a_1_145, 14(8)65--75,
14(9)17--34
-
prelude, 12(6)78--81
-
premium, 14(8)168--175
-
Prenner, Charles J., 6(12)104--112, 7(11)36--44, 8(9)129--132
-
Prenner:1971:CSF, 6(12)104--112
-
Prenner:1972:IBP, 7(11)36--44
-
Prenner:1973:ECS, 8(9)129--132
-
preparation, 7(3)9--26
-
prepared, 11(9)25--37
-
preparing, 13(8)15--44
-
preprocessing, 10(8)11--19, 11(9)25--37, 11(9)38--48
-
preprocessor, 6(8)33--40, 6(8)45--53, 9(7)30--38, 9(10)28--28,
10(9)19--30, 10(10)12--15, 10(10)17--24, 10(12)39--z, 11(9)10--17,
11(9)25--37, 11(9)38--48, 12(4)34--39, 13(2)46--56, 13(9)76--84,
14(1)12--15, 14(3)14--20
-
preprocessor-based, 7(9)21--36
-
Presberg, David L., 10(3)9--16
-
Presberg:1975:PIP, 10(3)9--16
-
present, 8(3)24--32, 11(11)58--64, 13(6)18--28, 13(8)15--44, 14(3)5--15,
14(5)11--18, 14(8)65--75, 14(8)168--175, 14(11)107--109,
14(12)122--141
-
presentation, 6(6)3--13, 6(12)23--25, 13(8)15--44
-
presented, 10(4)37--46, 11(0)128, 11(7)17--24, 11(12)74--93,
13(6)18--28, 13(9)36--58, 14(5)28--45, 14(9)17--34, 14(10)48--68,
14(11)116--122
-
preserved, 7(1)97--103, 13(8)227--241
-
preserves, 14(9)50--58
-
Presnell, H. A., 9(4)107--114
-
Presnell:1974:CAS, 9(4)107--114
-
Press, B., 8(6)77--80
-
Press:1973:MOD, 8(6)77--80
-
Presser, Leon, 10(7)22--24
-
Presser:1975:SL, 10(7)22--24
-
prettyprinter, 14(12)47--49, 14(12)50--58
-
prettyprinting, 13(7)34--40, 14(9)74--75
-
prevalent, 13(8)243--244
-
PREVIOUS, 11(12)74--93
-
previous, 11(12)74--93, 13(8)119--119, 14(8)168--175, 14(8)208--213,
14(9)50--58
-
Previously, 13(8)101--102
-
price, 11(4)118--118
-
Price, Norman, 10(1)180--181
-
Price:1975:CER, 10(1)180--181
-
priced, 13(10)33--39
-
primarily, 13(8)1--1, 13(8)15--44, 13(8)201--202
-
primary, 6(10)23--30, 13(8)165--180, 14(3)5--15
-
primitive, 5(1)27--28, 5(3)28--28, 6(10)23--30, 6(12)117--119,
7(4)29--40, 7(12)9--19, 7(12)42--52, 8(6)22--23, 9(8)169--177,
11(6)57--60, 11(6)61--65, 11(7)34--40, 12(6)71--77, 13(8)3--14,
13(8)45--45, 13(8)165--180, 13(10)42--49, 14(5)54--63, 14(10)48--68,
14(10)69--74
-
Princeton-type, 13(8)199--200
-
principle, 9(4)73--81, 10(3)34--38, 10(4)25--33, 10(6)401--410,
10(9)19--30, 12(12)73--82
-
printed, 10(4)33--37
-
printers, 11_3S_115_119
-
priority, 11(4)127--134, 13(12)41--59
-
Prison, 12(3)25--40
-
probability, 10(6)204--207, 10(6)208--220
-
probable, 13(3)90--92
-
procedural, 8(9)142--146, 9(11)6--10, 10(1)101--112, 14(4)32--34,
14(7)47--50
-
procedural, non-, 11(6)79--84
-
procedure, 6(9)105--109, 9(1)8--32, 9(2)7--23, 9(2)24--40, 9(3)12--20,
9(5)10--12, 9(5)13--30, 9(7)15--21, 9(8)37--65, 9(8)86--97,
9(8)121--129, 9(8)145--153, 9(8)161--168, 9(10)11--20, 9(10)21--27,
9(12)22--29, 10(1)101--112, 10(3)107--112, 10(5)36--52, 10(9)19--30,
11(0)99999999, 11_3S_25_35, 11(7)41--54, 11(10)32--35,
11(10)36--42, 11(11)8--25, 12(1)67--72, 12(1)82--86, 12(1)87--92,
12(3)63--67, 12(6)54--62, 12(6)144--152, 12(6)179--183, 12(7)43--50,
12(7)60--74, 12(8)45--54, 12(9)45--51, 12(9)52--59, 12(9)60--70,
12(9)77--84, 12(9)103--113, 12(10)33--36, 12(10)70--74,
12(10)75--77, 12(11)10--22, 12(11)23--27, 12(11)28--35,
12(12)73--82, 13(1)48--58, 13(1)70--74, 13(2)19--29, 13(5)46--55,
13(5)56--64, 13(7)41--42, 13(8)1--1, 13(9)30--33, 13(10)10--15,
13(10)16--21, 13(10)22--26, 13(10)27--32, 13(10)33--39,
13(12)15--24, 13(12)98--101, 14(1)91--99, 14(3)5--15, 14(4)18--31,
14(4)41--54, 14(4)55--63, 14(5)19--20, 14(5)54--63, 14(8)8--12,
14(8)139--143, 14(8)214--220, 14(9)17--34, 14(9)35--41,
14(11)19--22, 14(11)110--115, 14(12)1--46, 14(12)80--91
-
procedureless, 9(4)13--24
-
procedurisation, 12(6)157--160
-
proceed, 13(8)3--14
-
proceedings, 6(0)z, 6(6)14--15, 6(6)15--16, 7(10)93--102, 8(0)iv--150,
8(0)z, 9(0)iii--181, 9(0)181, 9(0)z, 10(0)99999999, 11(0)128,
11(0)v--190, 12(0)99999999, 13(8)309--310, 14(0)vii--234
-
process, 6(2)55--82, 7(11)15--27, 8(0)z, 8(9)42--45, 8(9)46--49,
8(9)57--59, 8(9)82--85, 8(9)133--136, 9(2)24--40, 10(6)204--207,
10(6)208--220, 10(6)337--346, 10(6)473--481, 10(9)30--38,
11(4)127--134, 11(9)10--17, 12(0)99999999, 12(3)1--10,
12(3)114--127, 12(3)128--137, 12(3)142--142, 12(8)55--59,
12(8)109--115, 12(8)147--154, 13(7)31--33, 13(8)61--99,
13(12)41--59, 14(8)65--75, 14(8)208--213, 14(11)84--96,
14(12)64--70
-
processed, 14(8)188--200
-
processing, 4(8)32--36, 6(8)81--89, 6(12)58--64, 8(9)42--45, 8(9)82--85,
8(9)104--108, 8(9)117--119, 9(2)24--40, 9(4)25--33, 9(4)203--212,
9(8)2--22, 9(8)23--36, 9(8)86--97, 9(9)2--13, 10(0)99999999,
10(1)2--12, 10(1)101--112, 10(3)9--16, 10(3)17--24, 10(3)25--33,
10(3)34--38, 10(3)39--43, 10(3)44--53, 10(3)54--61, 10(3)72--76,
10(3)77--86, 10(3)97--102, 10(3)103--106, 10(3)107--112,
10(3)113--118, 10(3)119--132, 10(3)133--137, 10(3)138--145,
10(3)146--152, 10(3)153--163, 10(8)20--33, 10(9)30--38,
10(10)25--36, 10(12)22--25, 11(0)99999999, 11(3)1--223,
11(4)94--101, 11(6)106--112, 12(3)1--10, 12(3)114--127, 12(4)40--50,
12(6)109--116, 12(6)179--183, 12(7)75--81, 12(9)77--84, 13(1)25--33,
13(4)68--75, 13(5)23--35, 13(7)31--33, 13(8)273--274, 13(12)41--59,
14(3)5--15, 14(4)18--31, 14(4)55--63, 14(8)39--49, 14(9)17--34,
14(10)77--99
-
processing, list-, 7(10)66--75
-
processor, macro-pre-, 11(9)10--17
-
processor, multi-, 9(4)65--76
-
processor, pre-, 14(2)14--20, 14(3)14--20
-
Processor-N, 10(10)25--36
-
produce, 10(8)10--11, 13(8)165--180, 13(8)245--272, 14(9)50--58
-
produced, 11(11)58--64, 13(8)59--60, 13(8)163--164, 13(9)36--58,
14(9)50--58
-
producer, 8(9)82--85
-
product, 5(11)33--38, 9(2)24--40, 10(6)528--533, 13(8)3--14
-
production, 5(7)38--51, 8(6)56--58, 10(6)10--22, 10(6)172--185,
11(4)88--93, 11(4)151--155, 11(9)10--17, 12(8)37--44, 12(8)163--173,
13(2)63--70, 14(8)168--175, 14(9)42--49, 14(9)50--58
-
Production-Quality, 14(8)65--75
-
production-quality, 14(8)188--200
-
productivity, 10(6)172--185
-
professional, 13(10)33--39
-
profile, 10(8)20--33, 10(12)40--z, 13(4)44--57
-
profiling, 12(6)27--35
-
programmable, 12(8)94--99
-
programmed, 12(3)95--100, 13(8)61--99, 13(8)203--214
-
programmer, 9(4)43--49, 9(4)131--140, 10(2)14--31, 10(4)37--46,
10(10)25--36, 11(11)8--25, 11(12)74--93, 12(7)101--105, 13(8)59--60,
13(8)165--180, 13(8)201--202, 13(8)225--226, 13(8)227--241,
14(3)5--15, 14(11)23--25
-
programmers, learner-, 12(6)157--160
-
PROGRAMMING, 13(8)165--180
-
programming, micro-, 11(4)70--77
-
Programming-in-the, 10(6)114--121
-
programming-in-the-small, 10(6)114--121
-
progress, 7(6)4--24, 7(10)23--29, 9(12)14--22, 10(4)37--46,
13(8)227--241
-
project, 6(9)79--88, 7(5)13--13, 8(0)z, 8(9)52--56, 8(9)82--85, 9(1)6--7,
10(6)260--266, 10(6)371--381, 13(6)49--59, 13(8)203--214,
13(9)36--58, 14(5)28--45, 14(8)65--75, 14(9)17--34
-
proliferated, 13(8)199--200
-
PROLOG, 12(8)109--115
-
Prolog, 12(8)109--115
-
PROM.Forth, 13(10)33--39
-
prompted, 13(8)3--14
-
prone, error-, 8(6)43--46
-
proof, 6(10)30--34, 8(9)46--49, 8(9)97--99, 10(6)2--2, 10(6)88--95,
10(6)143--155, 10(6)382--394, 10(6)427--436, 10(6)473--481,
10(6)493--510, 10(6)511--517, 10(12)26--38, 11(5)64--68, 12(3)1--10,
12(8)13--21, 12(8)22--28, 12(8)174--179, 13(9)36--58
-
Proof-oriented, 9(4)155--162
-
proper, 7(11)15--27, 13(8)15--44
-
properly, 13(8)275--308
-
property, 6(2)146--170, 7(1)27--50, 7(1)97--103, 7(1)203--207,
8(6)12--13, 8(9)38--41, 9(5)31--36, 9(6)18--24, 10(6)31--42,
11_3S_60_62, 11(11)42--49, 12(3)68--76, 12(3)77--94, 13(8)183--198,
13(9)36--58
-
PROPHET, 8(6)16--18
-
proposal, 6(10)22--40, 7(10)113--123, 9(4)115--122, 10(3)62--71,
11(12)35--37, 12(1)82--86, 12(1)93--94, 12(9)85--102, 12(12)60--67,
13(1)48--58, 13(9)34--35, 14(4)41--54
-
propose, 11(12)94--104, 14(12)50--58
-
proposed, 6(8)93--103, 6(10)21--23, 9(5)31--36, 10(7)41--45, 11(1)16--21,
11(3)1--223, 11(3)z, 11(7)34--40, 11(12)25--34, 11(12)74--93,
11(12)94--104, 12(7)26--42, 12(7)112--125, 13(6)18--28, 13(6)29--37,
14(9)42--49, 14(10)77--99
-
propositional, 10(6)473--481
-
prospects, 10(12)26--38
-
PROTECTED, 11(5)59--62
-
protection, 8(9)27--27, 8(9)97--99, 8(9)142--146, 8(12)18--29,
10(6)267--284, 10(6)294--304, 11(5)59--62, 12(0)99999999,
12(3)25--40, 13(5)12--22
-
protective, 10(6)458--464
-
Proteus, 4(8)27--31, 6(12)135--136
-
protocols, 13(8)243--244
-
prototype, 8(9)112--114, 14(11)23--25
-
provability, 10(7)16--17
-
provable, 9(11)4--6, 10(6)411--419
-
provably, 10(7)25--29
-
proven, 13(8)309--310
-
prover, 10(6)427--436
-
provide, 6(6)16--18, 6(10)23--30, 10(10)25--36, 11(12)74--93,
13(8)47--57, 13(8)199--200, 13(8)309--310, 13(9)36--58, 13(9)59--75,
13(10)42--49, 14(8)50--57, 14(9)50--58
-
provided, 13(8)47--57, 13(8)165--180, 13(8)199--200
-
proving, 7(1)27--50, 8(9)97--99, 10(6)165--171, 10(6)234--245,
10(6)427--436, 10(6)473--481, 10(6)534--545, 11(4)103--108
-
provision, 13(8)163--164
-
provoked, 13(8)15--44
-
proximity, 10(1)177--180
-
Prudom, A., 12(6)138--143
-
Prudom:1977:SPC, 12(6)138--143
-
PS440, 6(0)z, 6(9)37--41
-
pseudo, 11(6)101--105, 14(8)201--207, 14(8)221--225
-
PSI, 12(8)130--139
-
psychological, 6(9)1--19, 8(6)92--95, 9(6)25--36, 12(3)105--113
-
psychology, 10(7)46--47, 12(3)105--113
-
public, 10(1)86--100, 13(10)33--39
-
publication, 13(8)121--161
-
publicly, 13(8)103--118
-
published, 9(12)14--22, 11(11)58--64, 12(8)109--115, 13(8)309--310
-
Pun-dora, 10(8)10--11
-
purpose, 4(8)6--8, 6(9)50--72, 9(0)z, 9(8)169--177, 9(11)18--31,
10(6)305--309, 10(7)41--45, 11(2)20--29, 11_3S_25_35, 11(6)10--17,
11(7)34--40, 11(7)41--54, 13(8)101--102, 13(8)181--182,
13(8)183--198, 14(1)77--90, 14(8)188--200
-
purpose, All-, 13(8)101--102
-
purpose, general-, 8(6)96--98, 9(8)169--177, 13(8)45--45
-
pursued, 13(8)217--223
-
push, 13(4)64--67
-
PYXIS, 11(10)32--35, 12(1)82--86