Index file section P for toplas.bib
Last update: Thu Jun 20 02:03:14 MDT 2024
Return to index directory
P
-
P, 16(3)607--648, 29(6)35--35, 31(3)9--9, 32(3)8--8, 33(3)9--9
-
p, 17(1)157--179
-
Pachi, Jan, 11(2)330--344
-
Pachi, Jan, see Burns, James E.
-
package, 4(4)552--562, 7(2)214--243, 7(2)244--269, 9(1)1--24,
9(2)235--256, 10(2)189--203, 12(1)135--138, 13(1)1--20, 13(1)52--98,
14(2)201--264, 15(2)211--252, 15(2)337--356, 15(5)876--895,
16(4)1361--1398, 16(5)1411--1430, 16(5)1572--1612, 16(6)1719--1736,
17(6)805--843, 21(4)790--812, 21(4)813--847, 30(6)32--32, 39(2)6--6
-
package, cross-, 37(2)6--6
-
packaging, 16(1)151--174
-
packet, 27(6)1097--1146
-
packing, bin-, 30(4)23--23
-
padding, 21(4)703--746
-
Paddle, 30(4)19--19
-
Padovani, Luca, 31(5)19--19, 41(2)9--9
-
Padovani, Luca, see Castagna, Giuseppe
-
Padovani:2019:CFS, 41(2)9--9
-
Padua, David, 21(2)286--323, 24(1)65--109
-
Padua, David, see De Rose, Luiz,
see Paek, Yunheung
-
Paek, Yunheung, 24(1)65--109
-
Paek:2002:EPA, 24(1)65--109
-
page, 11(4)598--632, 16(3)872--923, 34(2)10--10, 41(3)18--18
-
Page, Rex L., 3(1)49--59
-
Page, Rex L., see Grit, Dale H.
-
Pagel, Jens, 44(3)16--16
-
Pagel:2022:SSL, 44(3)16--16
-
paging, 7(1)62--79, 28(5)908--941
-
Pai, Ajit B., 2(1)18--41
-
Pai:1980:GCR, 2(1)18--41
-
Paige, Robert, 4(3)402--454
-
Paige:1982:FDC, 4(3)402--454
-
pair, 13(2)237--268, 15(4)575--631, 15(5)876--895, 16(3)1024--1050,
16(4)1215--1247, 20(1)51--115, 20(1)208--258, 30(4)18--18,
33(4)14--14, 34(4)17--17, 35(4)14--14, 41(4)20--20, 43(3)11--11
-
Palacz, 30(6)33--33
-
Palamidessi, Catuscia, 19(1)7--47, 19(5)685--725
-
Palamidessi, Catuscia, see Cortesi, Agostino,
see De Boer, Frank S.
-
Palem, Krishna V., 15(4)632--658, 23(1)73--103
-
Palem, Krishna V., see Leung, Allen
-
Palem:1993:STC, 15(4)632--658
-
palindrome, 45(1)1--1
-
Palmer, Zachary, 41(3)14--14
-
Palmer, Zachary, see Facchinetti, Leandro
-
Palsberg, 17(4)576--599, 38(2)7--7
-
Palsberg, Jens, 17(1)47--62, 17(2)264--292, 17(4)576--599,
18(5)519--527, 18(6)730--751, 20(6)1251--1264, 27(1)126--162,
29(3)14--14, 29(6)32--32, 30(5)29--29, 33(1)1--1, 33(6)18--18,
34(1)1--1, 35(1)1--1, 37(1)1--1
-
Palsberg, Jens, see Abadi, Martín,
see Danvy, Olivier,
see Grothoff, Christian, \see{Naik, Mayur
-
Palsberg:1995:CAC, 17(1)47--62
-
Palsberg:1995:EIA, 17(2)264--292
-
Palsberg:1995:TSE, 17(4)576--599
-
Palsberg:1996:CTT, 18(5)519--527
-
Palsberg:1998:EBF, 20(6)1251--1264
-
Palsberg:2005:ADC, 27(1)126--162
-
Palsberg:2011:E, 33(1)1--1
-
Palsberg:2011:EN, 33(6)18--18
-
Palsberg:2012:E, 34(1)1--1
-
Palsberg:2013:E, 35(1)1--1
-
Palsberg:2015:E, 37(1)1--1
-
Pan, Zhelong, 30(3)17--17
-
Pan:2008:PFE, 30(3)17--17
-
Panangaden, Prakash, 13(4)577--625
-
Panangaden, Prakash, see Jagadeesan, Radha
-
Pande, Santosh, 26(6)938--974, 29(2)9--9, 32(4)11--11
-
Pande, Santosh, see Thammanur, Sathyanarayanan,
see Zhuang, Xiaotong
-
Pandora, 16(1)3--34
-
Papadimitriou, Christos H., 2(1)77--89
-
Papadimitriou:1980:PBH, 2(1)77--89
-
Papaspyrou, Nikolaos, 27(1)1--45, 39(4)17--17
-
Papaspyrou, Nikolaos, see Shao, Zhong,
see Trinder, Phil
-
paper, 3(4)484--507, 4(1)1--20, 4(1)21--36, 4(1)37--43, 4(1)44--82,
4(1)83--112, 4(2)239--257, 4(4)552--562, 4(4)563--584, 4(4)668--677,
4(4)687--710, 5(2)127--163, 5(2)236--264, 5(3)405--421,
6(2)215--238, 6(4)505--526, 7(1)62--79, 8(1)109--139, 8(4)419--490,
8(4)491--523, 9(2)125--163, 9(2)164--197, 9(2)257--276,
9(2)277--295, 9(3)319--349, 9(3)367--389, 9(3)408--440,
10(2)189--203, 13(2)181--210, 13(2)237--268, 14(1)54--106,
14(1)107--125, 14(2)147--172, 14(2)173--200, 14(4)471--489,
14(4)490--520, 14(4)521--573, 14(4)589--616, 15(1)133--181,
15(1)182--205, 15(4)735--742, 15(5)745--770, 16(1)3--34,
16(1)35--101, 16(2)175--204, 16(3)370--386, 16(3)428--455,
16(3)607--648, 16(3)687--726, 16(3)798--842, 16(3)924--938,
16(4)1248--1278, 16(4)1319--1360, 16(5)1431--1448, 16(5)1613--1647,
16(5)1648--1659, 16(6)1768--1810, 16(6)1811--1841, 17(2)394--429,
22(1)87--128, 22(1)129--161, 22(4)638--672, 22(4)673--700,
22(5)773--815, 22(5)861--931, 22(5)932--972, 30(5)25--25,
31(4)15--15, 33(3)9--9, 36(2)5--5, 44(4)25--25
-
Pappalardo, Giuseppe, 11(2)284--329
-
Pappalardo, Giuseppe, see Carchiolo, Vincenza
-
Para-Functional, 6(2)159--174
-
paradigm, 6(4)632--646, 7(3)404--425, 14(1)107--125, 16(3)798--842,
17(1)1--15, 17(5)704--739, 19(3)444--461, 20(5)1014--1066,
22(1)87--128, 29(1)3--3, 34(2)8--8, 37(1)3--3, 44(2)9--9, 46(1)1--1,
46(2)8--8
-
paradigm, object-oriented/multi-, 42(3)15--15
-
paradox, 16(5)1543--1571
-
Parafrase-2, 18(4)477--518
-
Parallel, Data-, 15(3)400--462
-
parallel, data-, 16(6)1737--1767, 20(6)1131--1170,
22(5)773--815, 22(5)816--860
-
parallel, nested-, 21(1)138--173
-
parallel, or-, 15(4)659--680
-
Parallel, Or-, 15(4)659--680
-
Parallel, Task-, 35(1)3--3
-
parallel, task-, 18(4)454--476, 35(1)3--3, 36(3)10--10,
41(3)19--19
-
parallelism, Or-, 15(4)659--680
-
parallelism., 16(3)524--576, 32(3)9--9
-
parallelizable, 16(3)305--327
-
parallelization, 16(3)305--327, 16(4)1097--1113, 16(4)1248--1278,
17(2)233--263, 20(3)483--545, 20(3)635--678, 21(2)189--239,
22(2)296--339, 22(5)773--815, 27(4)662--731, 31(5)17--17, 32(1)1--1,
35(2)8--8, 38(2)4--4, 38(2)5--5, 38(3)12--12, 39(4)15--15,
41(3)19--19
-
parallelize, 16(4)1248--1278, 19(6)942--991, 20(6)1195--1222,
21(1)138--173, 35(2)8--8, 36(1)2--2
-
parallelized, 19(6)853--898, 21(2)189--239, 35(2)8--8
-
parallelizing, 17(4)600--634, 18(4)477--518, 19(6)853--898,
19(6)942--991, 19(6)1053--1084, 21(2)189--239, 21(2)240--285,
30(6)32--32, 36(3)10--10, 38(2)5--5
-
parameter, 5(3)318--354, 9(2)164--197, 10(2)189--203, 14(2)265--297,
14(3)339--395, 14(4)471--489, 16(2)175--204, 16(5)1411--1430,
17(4)561--575, 18(6)752--779, 19(1)188--222, 21(1)138--173,
21(4)848--894, 27(6)1147--1215, 31(3)10--10, 34(1)3--3, 34(3)12--12,
36(2)5--5, 36(3)9--9, 38(3)8--8, 38(4)13--13, 40(3)13--13,
40(4)14--14, 41(2)13--13, 42(1)2--2, 43(2)6--6, 43(4)17--17
-
parameterizability, 35(1)4--4
-
Parameterization, 4(4)711--732
-
parameterization--to, 10(2)189--203
-
parameterized, 4(4)552--562, 4(4)711--732, 5(3)318--354, 15(3)463--493,
16(5)1431--1448, 17(5)704--739, 19(5)726--750, 20(4)845--868,
23(2)105--186, 30(4)20--20, 31(3)9--9, 31(6)20--20, 32(1)2--2,
32(5)16--16, 32(6)21--21, 34(1)3--3, 40(4)14--14, 43(1)4--4
-
parametric, 14(4)521--573, 16(5)1411--1430, 21(1)11--45, 21(2)189--239,
24(3)217--298, 28(5)795--847, 30(5)29--29, 32(1)2--2, 32(5)18--18,
38(1)1--1, 42(3)14--14, 44(3)19--19
-
parametric, model-, 14(4)521--573
-
Parametricities, 44(4)23--23
-
parametricity, 22(6)1037--1080, 32(1)2--2, 39(1)3--3, 44(4)23--23
-
parametrized, 36(1)3--3, 37(4)12--12
-
parentheses, 22(1)162--186
-
Parenthesis, 2(1)122--128
-
parenthesis, matched-, 22(1)162--186
-
Park, Daejun, 36(3)8--8
-
Park, Daejun, see Oh, Hakjoo
-
Park, Jinpyo, 26(4)735--765
-
Park, Joseph C. H., 7(1)159--175
-
Park, Sungwoo, 31(1)4--4
-
Park:1985:NAL, 7(1)159--175
-
Park:2004:ORC, 26(4)735--765
-
Park:2008:PLB, 31(1)4--4
-
Parkinson, Matthew J., 38(2)4--4, 39(3)11--11
-
Parkinson, Matthew J., see Dodds, Mike,
see Gordon, Colin S.
-
Parlato, Gennaro, 44(1)1--1
-
Parlato, Gennaro, see Inverso, Omar
-
PARLOG, 8(1)1--49
-
Parlog, 8(1)1--49
-
Parnas, David L., 12(1)139--141
-
Parnas:1990:TCI, 12(1)139--141
-
Parno, Bryan, 44(2)12--12
-
Parno, Bryan, see Lorch, Jacob R.
-
Parrow, Joachim, 15(1)36--72
-
Parrow, Joachim, see Cleaveland, Rance
-
parse, 9(2)164--197, 16(3)1024--1050, 16(3)1051--1077, 17(1)1--15,
20(5)980--1013, 34(4)15--15, 45(2)9--9
-
parsed, 12(1)61--83, 45(3)14--14
-
parser, 2(1)18--41, 3(2)168--206, 4(2)149--178, 4(2)179--195,
6(3)432--439, 6(4)546--572, 7(1)159--175, 9(2)125--163,
9(2)164--197, 16(3)1024--1050, 16(3)1051--1077, 17(1)1--15,
17(4)672--689, 20(5)980--1013, 21(1)1--10, 22(2)224--264,
24(6)698--710, 28(4)577--618, 39(4)14--14, 45(2)9--9
-
parsing, 1(1)58--70, 2(2)203--224, 2(3)290--306, 4(4)615--649,
7(1)159--175, 7(3)478--489, 7(4)560--599, 8(2)185--214,
8(4)547--576, 9(2)125--163, 9(2)164--197, 9(4)543--566,
10(2)338--342, 10(3)345--373, 10(3)456--469, 12(1)61--83,
12(4)610--640, 13(1)150--178, 13(3)295--314, 15(3)535--562,
16(3)1010--1023, 16(3)1024--1050, 16(3)1051--1077, 16(5)1431--1448,
17(1)1--15, 17(4)672--689, 19(4)568--585, 20(5)980--1013,
21(1)1--10, 22(2)224--264, 22(6)973--1001, 23(4)451--471,
28(4)577--618, 34(4)15--15, 42(3)15--15, 45(3)14--14
-
part, 3(2)168--206, 3(4)431--483, 4(1)1--20, 4(2)239--257, 4(2)295--322,
4(3)382--401, 5(2)127--163, 7(1)159--175, 7(2)311--333,
8(1)109--139, 8(1)140--141, 8(4)547--576, 9(3)319--349,
9(3)367--389, 9(4)473--490, 13(1)1--20, 14(1)54--106, 14(1)107--125,
14(4)471--489, 14(4)490--520, 15(1)73--132, 16(3)577--604,
16(3)1010--1023, 16(4)1117--1155, 16(4)1248--1278, 17(1)123--156,
17(2)264--292, 17(3)507--534, 17(4)635--671, 18(2)139--174,
18(4)355--400, 19(1)1--6, 19(3)492--524, 19(3)525--555,
20(3)483--545, 20(4)869--916, 21(1)90--137, 21(4)813--847,
22(1)87--128, 22(2)187--223, 22(3)431--470, 22(4)583--637,
22(5)816--860, 22(6)1002--1036, 28(1)134--174, 28(4)715--746,
28(4)747--793, 32(1)3--3, 32(3)8--8, 32(6)23--23, 35(2)8--8,
35(3)11--11, 38(2)5--5, 38(4)13--13, 39(1)2--2, 40(3)13--13,
40(4)14--14, 40(4)15--15, 41(2)11--11, 41(3)17--17, 41(4)21--21,
42(4)17--17
-
partial, 10(4)635--640, 11(4)666--668, 12(4)643--669, 14(2)147--172,
15(3)463--493, 16(3)924--938, 16(3)1024--1050, 16(4)1279--1318,
16(6)1875--1903, 17(5)777--803, 18(3)268--299, 18(6)730--751,
19(5)685--725, 20(1)208--258, 20(2)302--343, 20(2)436--482,
20(4)768--844, 20(6)1297--1322, 21(3)627--676, 21(5)914--947,
22(1)1--44, 22(2)224--264, 22(5)816--860, 22(5)932--972,
22(6)1002--1036, 26(1)191--220, 26(3)413--463, 27(6)1147--1215,
28(1)134--174, 28(4)696--714, 29(1)3--3, 30(3)17--17, 30(4)24--24,
30(5)27--27, 30(6)32--32, 33(6)19--19, 34(1)3--3, 34(2)7--7,
34(3)13--13, 36(4)14--14, 39(1)2--2, 39(4)15--15, 40(4)17--17,
41(3)16--16, 42(3)15--15, 43(1)3--3, 43(4)17--17, 44(2)9--9,
45(1)6--6, 45(2)13--13
-
Partial-evaluation, 18(6)730--751
-
partially, 18(1)16--29, 18(6)730--751, 20(2)436--482, 30(6)34--34,
34(2)7--7, 34(4)16--16, 40(4)14--14, 41(4)21--21, 42(2)10--10,
44(2)10--10, 45(4)20--20, 46(1)2--2
-
partially-flow-sensitive, 30(3)13--13
-
participant, 34(2)8--8, 40(4)17--17, 42(3)14--14, 46(1)1--1
-
participate, 16(3)954--985
-
particle, 20(6)1195--1222
-
particular, 4(1)1--20, 4(2)239--257, 4(4)615--649, 4(4)733--757,
9(2)125--163, 9(2)164--197, 9(2)257--276, 9(3)297--318,
10(2)189--203, 10(2)248--266, 13(1)52--98, 13(1)124--149,
13(2)269--290, 14(2)173--200, 14(2)265--297, 14(3)339--395,
16(3)387--427, 16(3)607--648, 16(3)843--871, 16(3)1010--1023,
16(4)1117--1155, 16(4)1215--1247, 16(4)1361--1398, 16(5)1472--1511,
16(6)1768--1810, 17(1)63--84, 17(2)197--216, 17(3)431--447,
18(4)355--400, 19(4)557--567, 19(4)568--585, 19(5)804--851,
20(2)344--387, 20(6)1251--1264, 21(2)240--285, 21(3)677--701,
21(4)813--847, 21(5)914--947, 21(5)977--1027, 22(2)224--264,
22(2)296--339, 22(2)340--377, 22(3)490--505, 22(6)1002--1036,
22(6)1037--1080, 27(6)1344--1395, 28(4)619--695, 28(4)747--793,
30(4)19--19, 30(6)32--32, 31(4)15--15, 31(4)16--16, 32(1)2--2,
32(2)5--5, 32(5)17--17, 33(3)11--11, 33(4)13--13, 34(1)3--3,
34(4)16--16, 34(4)17--17, 35(3)9--9, 35(4)13--13, 36(2)5--5,
36(4)11--11, 38(3)12--12, 39(2)7--7, 41(2)13--13, 41(3)18--18,
42(2)7--7, 42(3)15--15, 43(1)3--3, 44(3)15--15, 46(2)5--5
-
particularly, 10(2)189--203, 14(2)265--297, 16(3)305--327, 21(1)11--45,
21(5)977--1027, 32(3)8--8, 32(4)15--15, 33(1)5--5, 38(1)3--3,
41(3)17--17
-
Partington, Vincent, 20(5)1014--1066
-
Partington, Vincent, see Apt, Krzsztof R.
-
partition, 16(3)370--386, 20(2)259--273, 31(3)11--11, 31(5)17--17,
38(3)9--9, 38(3)11--11, 39(4)17--17, 40(1)3--3
-
partitioned, 19(5)804--851, 20(6)1131--1170, 28(1)134--174
-
partitioning, 16(2)259--303, 20(2)302--343, 29(1)3--3, 29(5)26--26,
31(3)11--11, 31(5)17--17, 36(2)5--5, 38(3)11--11, 39(4)17--17,
40(1)3--3, 41(1)5--5
-
partly, 16(1)35--101, 36(4)12--12
-
parts., 32(6)23--23
-
party, 45(3)16--16, 45(3)17--17, 46(1)2--2
-
party, third-, 21(3)569--626, 41(3)18--18
-
ParTypes, 44(4)26--26
-
PASCAL, 4(1)21--36, 4(2)149--178, 4(2)258--282, 4(4)552--562,
4(4)615--649, 4(4)687--710
-
Pascal, 1(2)226--244, 5(3)405--421, 6(4)546--572, 8(4)547--576,
9(3)367--389, 13(1)52--98, 14(2)127--144, 16(1)35--101,
16(3)305--327
-
PASCAL-based, 4(4)552--562
-
pass, 4(4)601--614, 9(4)473--490, 16(4)1215--1247, 17(2)181--196,
31(1)3--3, 32(4)15--15
-
Pass, One-, 4(4)601--614
-
Pass, Single-, 16(6)1684--1698
-
pass, three-, 35(1)2--2
-
pass., 30(4)21--21
-
passed, 16(5)1411--1430, 18(6)752--779, 40(3)12--12
-
passengers, 9(2)198--234
-
passing, 5(3)318--354, 6(3)402--431, 14(1)28--53, 15(5)771--794,
16(2)259--303, 18(6)711--729, 18(6)752--779, 21(3)569--626,
26(1)47--56, 28(4)715--746, 39(4)15--15, 41(3)18--18, 44(4)26--26
-
Passing, Continuation-, 38(1)2--2
-
passing, continuation-, 18(6)730--751, 38(1)2--2
-
passing, continuation+state-, 38(1)2--2
-
passing, message-, 4(2)125--148, 13(1)124--149, 20(3)483--545,
21(6)1251--1297, 44(3)19--19
-
passing-style, continuation-, 41(2)8--8
-
passive, 4(2)283--294, 16(4)1279--1318
-
Passport, 45(2)12--12
-
password, 28(2)290--330
-
passwords/ports, 28(2)290--330
-
past, 9(2)277--295, 16(6)1768--1810, 17(1)47--62, 18(4)424--453,
31(4)17--17, 34(1)3--3, 42(3)15--15, 43(3)12--12
-
patches, 27(6)1049--1096
-
path, 15(4)659--680, 16(3)328--369, 17(4)600--634, 19(4)617--638,
19(6)853--898, 20(6)1265--1296, 21(2)240--285, 21(5)1028--1075,
22(1)162--186, 22(3)490--505, 22(6)1002--1036, 28(1)70--105,
30(2)8--8, 34(2)9--9, 35(4)14--14, 36(3)9--9, 37(3)8--8, 38(2)7--7,
39(2)9--9, 39(4)15--15, 40(3)9--9, 40(4)16--16, 41(4)23--23
-
path, single-, 39(4)15--15
-
path-length, 32(3)8--8, 35(4)14--14
-
path-traversal, 41(3)18--18
-
path.We, 28(1)70--105
-
patient, 40(3)10--10
-
Patient-Oriented, 40(3)10--10
-
Patil, Harish, 15(2)312--336
-
Patil, Harish, see Dhamdhere, Dhananjay M.
-
patois, 40(3)10--10
-
Patrignani, Marco, 37(2)6--6, 43(1)1--1, 43(4)14--14, 44(4)23--23
-
Patrignani, Marco, see Abate, Carmine,
see Devriese, Dominique
-
Patrignani:2015:SCP, 37(2)6--6
-
Patrignani:2021:RSC, 43(1)1--1
-
Patt-Shamir, Boaz, 26(2)370--412
-
Patt-Shamir, Boaz, see Lieberherr, Karl
-
PATTERN, 7(4)600--621, 20(2)259--273, 20(5)1014--1066
-
pattern, 2(2)153--172, 11(4)491--516, 14(4)490--520, 17(2)264--292,
18(4)454--476, 18(5)528--563, 18(5)615--647, 19(3)492--524,
19(5)804--851, 20(2)259--273, 20(3)483--545, 21(4)703--746,
21(6)1251--1297, 22(6)973--1001, 26(6)911--937, 28(2)207--255,
28(3)389--428, 28(4)696--714, 30(4)18--18, 30(4)23--23, 31(2)7--7,
31(3)9--9, 31(6)20--20, 32(4)13--13, 33(4)12--12, 35(2)8--8,
35(3)11--11, 36(2)5--5, 36(3)9--9, 37(1)3--3, 38(2)5--5, 41(1)1--1,
41(3)15--15
-
Pattern-Based, 36(3)9--9
-
pattern-based, 31(3)9--9, 36(3)9--9
-
pattern-based, design-, 31(3)9--9
-
pattern-matching, 14(1)107--125
-
Paull, Marvin C., 10(1)1--50
-
Paull, Marvin C., see Ryder, Barbara G.
-
Paulson, Lawrence C., 21(3)502--526, 23(5)626--656
-
Paulson, Lawrence C., see Lamport, Leslie
-
Paulson:2001:MTP, 23(5)626--656
-
pause, 27(6)1097--1146, 28(5)908--941, 38(3)9--9, 44(4)22--22
-
paves, 20(2)344--387
-
Pavlogiannis, Andreas, 40(3)9--9, 41(4)23--23
-
Pavlogiannis, Andreas, see Chatterjee, Krishnendu
-
pay, 21(4)813--847, 32(3)9--9
-
Payet, Etienne, 28(2)256--289
-
Payet, Étienne, 32(3)8--8, see Spoto, Fausto
-
Payet:2006:NIL, 28(2)256--289
-
Paz, Harel, 29(4)20--20
-
Paz:2007:EFC, 29(4)20--20
-
PC, 19(3)492--524
-
PC-2, 22(6)1002--1036
-
PCC, 39(2)7--7
-
PCN, 16(3)577--604
-
PDG, 9(3)319--349, 16(3)305--327
-
PDG, graph-, 9(3)319--349
-
PDP4-11, 7(4)560--599
-
PDS, 3(2)162--167
-
PEAK, 30(3)17--17
-
peak, 22(2)265--295, 37(4)12--12
-
Pearce, David J., 30(1)4--4, 43(1)3--3
-
Pearce:2007:EFS, 30(1)4--4
-
Pearce:2021:LFR, 43(1)3--3
-
Pearlmutter, Barak A., 30(2)7--7
-
Pearlmutter:2008:RMA, 30(2)7--7
-
Pease, Marshall, 4(3)382--401
-
Pease, Marshall, see Lamport, Leslie
-
PECOS, 7(1)1--9
-
Pedersen, Jan B., 32(4)14--14
-
Pedersen, Jan B., see Welch, Peter H.
-
Pedreschi, Dino, 16(4)1361--1398
-
Pedreschi, Dino, see Brogi, Antonio
-
peeling., 16(4)1248--1278
-
peephole, 2(2)191--202, 3(1)110--110, 4(1)21--36, 5(3)499--499,
6(4)505--526, 7(4)560--599, 22(5)932--972
-
PegaSys, 8(4)524--546
-
Pellegrini, Alessando, 16(3)687--726
-
Pellegrini, Alessando, see Apt, Krzysztof R.
-
Pemberton, Steven, 5(3)499--499
-
Pemberton:1983:TCT, 4(1)21--36, 5(3)499--499, 5(3)499--500
-
Peña, Lucas, 45(2)7--7, see Murali, Adithya
-
penalty, 18(6)659--682, 22(3)471--489, 27(6)1097--1146, 32(3)9--9
-
pending, 34(1)6--6
-
Peng, Wuxu, 13(3)399--442
-
Peng:1991:DFA, 13(3)399--442, 13(4)633--633
-
Pennello, 8(2)264--271
-
Pennello, Thomas, 4(4)615--649
-
Pennello, Thomas, see DeRemer, Frank
-
Pentium, 19(3)492--524, 20(6)1131--1170, 28(1)1--69, 30(5)28--28
-
people, 21(2)175--188, 31(1)4--4
-
Pepper, Peter, 4(3)362--381, 9(1)54--99
-
Pepper, Peter, see Broy, Manfred
-
per, 16(6)1768--1810, 18(4)355--400, 19(4)557--567, 19(6)1031--1052,
21(2)324--369, 28(2)207--255, 30(5)28--28, 34(1)1--1, 36(3)9--9
-
per-instance, 41(1)2--2
-
Perantoni, Elia, 46(2)5--5
-
Perantoni, Elia, see Giacobazzi, Roberto
-
percent, 4(1)21--36, 4(4)615--649, 13(1)1--20, 20(6)1265--1296,
27(6)1049--1096
-
perception, 22(2)265--295
-
Pereira, Fernando Magno Quintão, 35(4)13--13, 42(3)15--15,
45(2)13--13, see Melo, Leandro T. C.,
see Sampaio, Diogo, \see{Soares, Luigi
-
Peressotti, Marco, 46(1)1--1
-
Peressotti, Marco, see Giallorenzo, Saverio
-
Pérez, Jorge A., 44(3)18--18, see Keizer, Alex C.
-
Pérez, José A., 24(6)698--710,
see Corchuelo, Rafael
-
Perf, 41(3)19--19
-
perfect, 16(4)1248--1278, 17(4)600--634, 23(1)30--72, 28(3)476--516,
30(6)32--32, 30(6)33--33, 34(1)3--3
-
perfectly, 30(6)33--33
-
perform, 4(2)258--282, 4(4)615--649, 7(4)560--599, 8(4)491--523,
9(3)319--349, 13(2)181--210, 16(3)370--386, 17(1)123--156,
17(5)691--703, 17(5)740--776, 18(3)235--253, 19(5)639--684,
19(6)942--991, 19(6)992--1030, 20(1)1--50, 20(1)208--258,
20(2)259--273, 20(6)1111--1130, 20(6)1297--1322, 21(2)286--323,
21(3)430--501, 21(6)1196--1250, 22(2)187--223, 23(1)1--29,
23(1)30--72, 28(2)290--330, 30(4)21--21, 31(3)10--10, 32(4)11--11,
32(4)15--15, 32(5)18--18, 36(4)11--11, 38(3)12--12, 40(2)8--8,
40(3)9--9, 41(3)16--16, 41(4)21--21, 46(2)6--6
-
PERFORMANCE, 10(2)313--337, 12(2)303--339, 16(4)1319--1360,
16(5)1399--1410, 17(4)561--575, 17(5)691--703, 19(1)188--222
-
Performance, High-, 40(4)15--15
-
performance, high-, 8(4)419--490, 18(6)649--658, 21(2)286--323,
22(4)673--700, 28(5)848--907, 28(5)908--941, 29(6)33--33, 34(1)5--5,
38(3)11--11, 39(1)5--5, 39(4)15--15, 40(4)15--15, 41(3)15--15,
44(2)12--12
-
performance-by-choice, 43(3)10--10
-
performance-critical, 37(1)3--3, 43(3)10--10
-
performant, 35(3)11--11
-
performed, 4(2)149--178, 4(2)179--195, 4(4)615--649, 8(1)109--139,
9(2)235--256, 9(3)319--349, 10(2)248--266, 13(2)211--236,
13(2)237--268, 13(4)626--629, 13(4)630--630, 14(2)173--200,
16(3)387--427, 16(5)1648--1659, 17(1)123--156, 19(3)525--555,
20(1)116--165, 20(2)259--273, 20(3)635--678, 21(4)848--894,
21(6)1137--1195, 22(3)540--582, 22(6)973--1001, 28(1)134--174,
28(3)476--516, 30(4)21--21, 30(5)29--29, 31(1)3--3, 32(2)5--5,
34(3)11--11, 36(2)6--6, 36(4)11--11, 37(3)9--9, 41(3)19--19,
45(2)13--13
-
performing, 16(5)1467--1471, 16(5)1648--1659, 18(3)268--299,
18(5)615--647, 19(4)617--638, 20(4)724--767, 20(6)1111--1130,
20(6)1223--1250, 21(1)11--45, 21(2)175--188, 21(3)627--676,
22(2)187--223, 28(4)696--714, 30(1)4--4, 32(1)3--3, 36(4)11--11,
37(3)8--8, 41(3)16--16, 41(3)19--19, 41(4)23--23, 44(3)20--20
-
perhaps, 16(5)1648--1659, 39(2)9--9
-
periodic, 17(1)85--122, 19(3)525--555, 38(3)12--12
-
periodically, 28(3)476--516
-
Perl, 28(3)389--428
-
permissibility, 22(4)701--771
-
permission, 32(6)22--22, 36(1)2--2, 36(4)12--12, 40(3)12--12,
42(3)14--14, 43(4)15--15
-
Permission-Based, 36(1)2--2, 38(4)14--14
-
permission-based, 36(4)12--12
-
permissive, 36(1)3--3
-
permit, 9(4)491--542, 14(2)201--264, 16(3)456--492, 16(3)577--604,
16(6)1737--1767, 17(1)63--84, 17(5)704--739, 20(4)724--767,
21(1)46--89, 27(6)1049--1096, 32(3)7--7, 32(6)22--22, 33(4)12--12,
42(1)3--3, 43(1)3--3, 46(1)3--3
-
permitting, 9(3)319--349, 16(3)577--604, 36(4)13--13
-
permutable, 38(3)12--12
-
permutation, 18(4)424--453, 19(4)617--638, 20(2)302--343
-
Perrott, R. H., 1(2)177--195
-
Perrott:1979:LAV, 1(2)177--195
-
Perry, Dewayne E., 12(4)641--642
-
Perry:1990:GEI, 12(4)641--642
-
persist, 41(3)15--15
-
persistent, 7(4)539--559, 9(2)277--295, 15(3)494--534, 16(3)727--774,
42(3)14--14
-
persistently, 38(2)7--7
-
personal, 8(4)419--490
-
perspective, 15(4)706--734, 16(6)1842--1874, 18(6)730--751, 31(5)19--19,
36(2)7--7
-
pertinent, 32(4)14--14
-
perturbation, 46(2)5--5
-
pervasive, 28(3)517--575
-
PEs, 35(4)13--13
-
Pessaux, François, 22(2)340--377, see Leroy, Xavier
-
pessimistic, 41(1)2--2
-
Peterson, 4(4)758--762
-
Peterson, Gary L., 4(4)758--762, 5(1)46--55, 5(1)56--65
-
Peterson, Larry L., 15(5)795--825
-
Peterson, Larry L., see Bowman, Mic
-
Peterson:1982:UAC, 4(4)758--762
-
Peterson:1983:CRW, 5(1)46--55
-
Peterson:1983:NSL, 5(1)56--65
-
PetitJean, Thierry, 14(1)54--106
-
PetitJean, Thierry, see Hickey, Timothy J.
-
Petrank, Erez, 27(6)1097--1146, 28(1)1--69, 29(4)20--20, 34(3)13--13,
39(1)2--2
-
Petrank, Erez, see Barabash, Katherine,
see Bendersky, Anna, \see{Cohen, Nachshon,
see Levanoni, Yossi, \see{Paz, Harel
-
Petri, 20(5)917--979, 34(1)6--6, 34(4)16--16
-
Petri, Gustavo, 36(2)6--6
-
Petri, Gustavo, see Jagannathan, Suresh
-
Petri-Net-Based, 20(5)917--979
-
Petter, Michael, 33(6)21--21
-
Petter, Michael, see Flexeder, Andrea
-
Peyton Jones, Simon L., 18(2)109--138, 19(2)334--385
-
Peyton Jones, Simon L., see Hall, Cordelia V.,
see Sansom, Patrick M.
-
Peyton-Jones, Simon, 39(4)18--18
-
Peyton-Jones, Simon, see Zhang, Danfeng
-
Pfenning, Frank, 31(1)4--4, 44(3)19--19
-
Pfenning, Frank, see Das, Ankush,
see Park, Sungwoo
-
PfP, 39(2)7--7
-
pGCL, 40(1)4--4
-
Pham, Hang, 28(5)908--941
-
Pham, Hang, see Brecht, Tim
-
phase, 3(3)293--317, 5(2)236--264, 7(2)183--213, 9(2)198--234,
14(4)490--520, 17(2)181--196, 18(5)528--563, 20(2)259--273,
20(3)635--678, 20(4)869--916, 21(3)527--568, 21(6)1137--1195,
22(3)431--470, 23(2)105--186, 27(6)1097--1146, 29(2)13--13,
29(6)33--33, 30(4)22--22, 31(3)9--9, 32(4)11--11, 38(2)7--7,
43(1)3--3
-
phase, multiple-, 14(3)339--395
-
phase, split-, 41(1)1--1
-
phase, two-, 19(6)992--1030, 43(1)3--3
-
phase-ordering, 17(2)181--196
-
phaser, 41(1)1--1
-
phenomena, 17(4)561--575, 35(4)13--13
-
Philipose, Matthai, 22(5)932--972
-
Philipose, Matthai, see Grant, Brian
-
Philosopher, 6(4)632--646
-
philosophers, 6(4)632--646, 10(1)178--188
-
Philosophical, 31(4)15--15
-
philosophy, 14(3)339--395, 43(3)10--10
-
phone, 32(3)8--8
-
Photocomposition/typesetting, 7(1)62--79
-
PHP, 38(2)7--7
-
phrase, 4(3)496--517, 31(4)16--16
-
phrased, 20(3)635--678, 43(2)8--8
-
phrasing, 20(3)635--678
-
physical, 14(1)28--53, 19(3)525--555, 22(3)431--470, 22(3)490--505,
28(1)1--69, 29(6)33--33, 30(4)19--19, 32(4)12--12, 45(2)11--11
-
physically, 17(3)448--460
-
physics, 28(4)747--793
-
pi, 30(6)30--30, 31(1)5--5
-
pi, occam-, 32(4)14--14
-
Pi-Calculus, 21(5)914--947
-
pi-calculus, 21(5)914--947, 24(5)566--591, 44(3)15--15
-
Piazza, Carla, 22(5)861--931
-
Piazza, Carla, see Dovier, Agostino
-
Pichardie, David, 36(1)4--4, 36(2)6--6
-
Pichardie, David, see Barthe, Gilles,
see Jagannathan, Suresh
-
picking, 20(2)302--343, 34(1)6--6
-
pict, 32(4)12--12
-
pictorial, 21(6)1077--1136
-
picture, 4(4)687--710, 5(2)127--163, 8(4)524--546
-
piece, 20(3)483--545, 21(4)813--847, 22(6)1037--1080, 33(4)13--13,
34(4)16--16, 36(2)7--7
-
piecewise, 34(4)16--16, 37(4)12--12
-
Pierce, Benjamin, 13(2)237--268
-
Pierce, Benjamin, see Abadi, Martín
-
Pierce, Benjamin C., 21(5)914--947, 22(1)1--44, 23(3)396--450,
24(2)111--111, 26(5)767--768, 27(1)46--90, 29(3)17--17
-
Pierce, Benjamin C., see Fisher, Kathleen,
see Foster, J. Nathan, \see{Hosoya, Haruo,
see Igarashi, Atsushi,
see Kobayashi, Naoki,
see Odersky, Martin
-
Pierce:2000:LTI, 22(1)1--44
-
Piessens, Frank, 31(1)1--1, 34(1)2--2, 37(2)6--6, 43(3)12--12,
44(4)23--23
-
Piessens, Frank, see Busi, Matteo,
see Devriese, Dominique,
see Jacobs, Bart, \see{Patrignani, Marco,
see Smans, Jan
-
piggyback, 28(3)476--516, 41(2)9--9
-
PIM, 19(5)639--684
-
PIMt, 19(5)639--684
-
Pingali, Keshav, 7(2)311--333, 8(1)109--139, 8(1)140--141,
13(4)577--625, 19(3)462--491, 25(6)776--813, 29(6)30--30,
31(4)17--17, 32(4)10--10, 32(6)20--20
-
Pingali, Keshav, see Jagadeesan, Radha,
see McKinley, Kathryn S.,
see Mckinley, Kathryn S.,
see Menon, Vijay
-
Pingali, Keshav K., 11(4)598--632
-
Pingali, Keshav K., see Arvind
-
Pingali:1985:EDD, 7(2)311--333
-
Pingali:1986:CFI, 8(1)140--141
-
Pingali:1986:EDD, 8(1)109--139
-
Pingali:1997:OCD, 19(3)462--491
-
Pingali:2009:RTP, 31(4)17--17
-
Pinter, Ron Y., 16(3)305--327
-
Pinter, Ron Y., see Pinter, Shlomit S.
-
Pinter, Shlomit S., 14(4)574--588, 16(3)305--327
-
Pinter, Shlomit S., see Katzenelson, Jacob
-
Pinter:1994:POP, 16(3)305--327
-
pipeline, 5(3)422--448, 11(1)57--66, 14(3)299--338, 15(4)632--658,
16(6)1768--1810, 23(1)73--103
-
pipelined, 11(1)57--66, 16(5)1512--1542, 16(6)1768--1810,
21(5)1028--1075, 23(1)73--103, 30(4)23--23
-
pipelining, 19(6)853--898, 30(4)23--23
-
Pippenger, Nicholas, 19(2)223--238
-
Pippenger:1997:PVI, 19(2)223--238
-
Piquer, José M., 18(5)615--647
-
Piquer:1996:IDG, 18(5)615--647
-
pitfalls, 30(3)12--12, 39(4)14--14
-
pivotal, 29(1)3--3, 38(3)9--9
-
PL, POP-, 40(3)10--10
-
PL/1, 9(3)367--389
-
place, 13(1)1--20, 16(3)775--797, 16(5)1449--1466, 17(3)431--447,
18(4)454--476, 20(4)707--723, 21(3)430--501, 22(5)816--860,
28(2)290--330, 36(4)13--13, 41(3)15--15
-
place, in-, 33(1)2--2
-
place, update-in-, 21(3)430--501
-
placed, 16(4)1319--1360
-
placement, 14(2)265--297, 15(2)312--336, 16(4)1319--1360,
16(5)1472--1511, 18(5)615--647, 21(5)977--1027, 22(5)816--860,
37(1)2--2, 39(2)6--6
-
placement, code-, 21(5)977--1027
-
placement, procedure-, 21(5)977--1027
-
placing, 16(4)1319--1360, 20(6)1297--1322, 21(6)1077--1136,
27(6)1344--1395
-
PLAI, 22(2)187--223
-
Plaid, 36(4)12--12
-
plain, 35(3)11--11, 36(1)1--1, 41(2)10--10
-
plan, 4(3)382--401, 40(3)10--10, 46(1)1--1
-
planning, 20(5)1014--1066
-
PLash, 1(1)98--114, 6(1)94--117
-
Plasmeijer, R., 3(3)224--250
-
Plasmeijer, R., see van den Bos, Jan
-
platform, 22(4)673--700, 29(1)3--3, 29(6)33--33, 31(1)3--3, 34(1)5--5,
35(1)3--3, 35(3)10--10, 36(3)10--10, 37(1)3--3, 39(1)5--5,
39(4)17--17, 42(3)14--14
-
platform-dependent, 29(6)33--33
-
platform-independent, 29(6)33--33
-
play, 4(2)283--294, 16(4)1081--1096, 17(1)157--179, 19(3)462--491,
21(2)189--239, 31(1)4--4, 34(2)8--8, 40(1)4--4, 41(2)12--12
-
playing, 35(1)2--2
-
pleasing, 18(2)175--234
-
plethora, 22(3)506--539
-
PL/I, 4(2)149--178
-
Plotkin, 14(4)589--616, 16(5)1411--1430, 19(6)916--941
-
Plotkin, Gordon, 13(2)237--268, 15(4)706--734
-
Plotkin, Gordon, see Abadi, Martín
-
Plotkin, Gordon D., 10(3)470--502
-
Plotkin, Gordon D., see Mitchell, John C.
-
PLT, 31(3)12--12
-
PLTMG, 30(6)32--32
-
PLUG, 37(1)2--2
-
plug-compatible, 46(2)7--7
-
pluggable, 32(2)4--4
-
plugged, 32(5)19--19
-
Plurals, 44(4)21--21
-
plus, 32(3)7--7
-
Pluto, 38(3)12--12
-
Pluto+, 38(3)12--12
-
PMC, 40(4)17--17
-
Pnueli, Amir, 1(2)196--217, 5(3)356--380, 23(1)73--103
-
Pnueli, Amir, see Hart, Sergiu,
see Leung, Allen, \see{Prywes, N. S.
-
Poch, Tomás, 36(3)9--9, see Esparza, Javier
-
Podelski, Andreas, 16(4)1279--1318, 29(3)15--15
-
Podelski, Andreas, see Aït-Kaci, Hassan
-
Podelski:2007:TPA, 29(3)15--15
-
Poetzl, Daniel, 39(2)6--6
-
Poetzl, Daniel, see Alglave, Jade
-
point, 4(2)149--178, 4(4)687--710, 9(4)491--542, 14(2)147--172,
14(4)574--588, 16(2)175--204, 16(3)607--648, 16(3)775--797,
16(3)924--938, 16(5)1399--1410, 16(6)1842--1874, 17(1)28--44,
17(1)157--179, 17(2)181--196, 17(4)635--671, 17(5)777--803,
18(5)564--614, 18(6)730--751, 20(6)1297--1322, 21(5)1028--1075,
21(6)1137--1195, 26(5)890--910, 27(6)1147--1215, 28(1)134--174,
28(3)476--516, 28(5)908--941, 29(5)29--29, 30(4)21--21, 31(1)3--3,
31(4)15--15, 32(4)11--11, 32(4)13--13, 32(5)17--17, 33(1)2--2,
35(1)3--3, 35(4)13--13, 35(4)14--14, 36(4)11--11, 37(2)5--5,
38(2)7--7, 39(3)11--11, 39(4)14--14, 41(4)23--23, 45(1)1--1
-
point, end-, 34(2)8--8
-
point, fix-, 23(1)1--29
-
point, fixed-, 19(5)751--803, 22(2)187--223, 31(4)15--15,
31(6)21--21, 39(2)8--8, 41(1)6--6
-
Point, Floating-, 4(2)239--257, 16(6)1768--1810, 18(2)139--174,
41(1)2--2
-
point, floating-, 4(2)239--257, 14(4)574--588, 16(6)1768--1810,
18(2)139--174, 28(5)795--847, 30(3)12--12, 39(2)8--8, 41(1)2--2
-
point, point-to-, 44(4)26--26
-
point, specialization-, 27(6)1147--1215
-
point-intensive, floating-, 22(2)265--295
-
point-to-point, 44(4)26--26
-
point., 17(4)635--671
-
pointcut, 34(3)12--12
-
pointer, 1(2)226--244, 3(2)126--143, 18(3)254--267, 19(1)1--6,
21(4)848--894, 22(2)265--295, 23(1)30--72, 23(2)105--186,
25(1)70--116, 27(2)185--235, 29(2)11--11, 29(6)35--35, 30(1)4--4,
30(4)18--18, 32(2)5--5, 32(6)23--23, 33(1)3--3, 35(1)5--5, 35(2)6--6,
37(1)3--3, 38(2)5--5, 41(1)6--6, 42(1)1--53, 42(2)10--10, 43(1)3--3,
43(4)15--15, 45(1)1--1
-
pointer-based, 17(2)233--263, 19(6)942--991, 22(3)490--505
-
pointer-centric, 22(3)490--505
-
pointer-free, 16(3)305--327
-
pointer-induced, 23(2)105--186
-
pointer-manipulating, 43(4)15--15
-
pointer-valued, 32(2)5--5
-
points, fixed-, 39(2)9--9
-
points-to, 30(4)19--19, 35(2)8--8, 39(4)18--18, 41(1)6--6, 41(2)13--13,
41(3)16--16, 42(2)8--8, 46(2)6--6
-
pointwise, 16(6)1842--1874
-
POINTY, 7(2)334--347
-
Polak, W., 2(2)225--233
-
Polak, W., see Luckham, David C.
-
Poletto, Massimiliano, 21(2)324--369, 21(5)895--913
-
Poletto:1999:CTL, 21(2)324--369
-
Poletto:1999:LSR, 21(5)895--913
-
polices, 18(5)615--647
-
policy, 4(3)518--521, 5(3)502--505, 6(3)440--443, 7(3)493--496,
7(4)501--538, 8(3)408--411, 9(3)463--466, 10(3)504--507,
11(3)483--486, 12(3)493--496, 13(3)443--446, 14(1)1--27,
14(2)265--297, 14(3)462--465, 16(3)649--686, 17(5)704--739,
18(5)615--647, 28(1)175--205, 28(3)389--428, 29(5)25--25,
30(6)30--30, 31(6)23--23, 33(4)13--13, 34(2)10--10, 35(2)6--6,
37(1)4--4, 37(4)11--11, 38(3)9--9, 41(1)3--3
-
policy-based, 30(6)30--30
-
Policy-driven, 30(6)30--30
-
Pollock, 18(1)16--29
-
Pollock, Lori, 17(2)394--429, 18(1)16--29
-
Pollock, Lori, see Carle, Alan
-
Pollock, Lori L., 14(2)173--200
-
Pollock:1992:IGR, 14(2)173--200
-
polmorphism, 21(1)11--45
-
Polybench, 38(3)12--12
-
Polychronopoulos, Constantine D., 17(4)600--634, 18(4)477--518
-
Polychronopoulos, Constantine D., see Girkar, Milind,
see Haghighat, Mohammad R.
-
polyhedra, 32(6)21--21, 33(3)11--11, 37(4)12--12
-
polyhedral, 22(5)773--815, 34(1)3--3, 37(4)12--12, 38(3)12--12
-
POLYLITH, 16(1)151--174
-
PolyMage, 42(3)12--12
-
polymorphic, 15(2)253--289, 15(2)290--311, 16(5)1411--1430,
17(6)844--895, 18(3)254--267, 20(1)166--207, 20(4)724--767,
20(6)1297--1322, 21(1)11--45, 21(2)370--416, 21(3)527--568,
22(1)1--44, 25(2)225--290, 26(4)652--701, 27(2)314--343,
28(3)429--475, 30(3)14--14, 30(4)18--18, 32(1)2--2, 34(3)12--12,
35(1)2--2, 38(1)3--3, 39(1)3--3, 42(1)2--2, 43(1)4--4, 43(2)7--7
-
Polymorphic, Let-, 20(4)707--723
-
polymorphic, let-, 20(4)707--723
-
polymorphism, 12(1)135--138, 13(2)237--268, 13(3)342--371,
15(2)253--289, 16(5)1411--1430, 18(5)519--527, 18(6)711--729,
19(1)153--187, 21(1)11--45, 21(1)90--137, 21(3)502--526, 22(1)1--44,
22(2)340--377, 28(3)429--475, 28(5)795--847, 30(4)18--18,
31(3)12--12, 32(1)2--2, 32(3)7--7, 39(1)3--3, 41(1)5--5, 42(1)2--2,
44(3)19--19, 44(4)23--23
-
polynomial, 14(4)574--588, 15(4)632--658, 17(1)85--122, 28(4)577--618,
29(1)5--5, 29(5)29--29, 30(5)27--27, 34(3)14--14, 38(4)13--13,
40(2)7--7, 41(4)20--20
-
polynomial, Non-, 41(4)20--20
-
polynomial, non-, 41(4)20--20
-
polynomial-time, 18(5)528--563, 34(1)6--6, 41(3)14--14
-
PolyTOIL, 25(2)225--290
-
polyvariance, 16(5)1431--1448, 20(1)166--207, 20(1)208--258,
20(4)845--868
-
polyvariant, 16(5)1431--1448, 20(1)166--207, 22(5)932--972, 36(2)5--5
-
Pontelli, Enrico, 22(5)861--931, 23(4)472--602
-
Pontelli, Enrico, see Dovier, Agostino,
see Gupta, Gopal
-
Pontiggia, Francesco, 45(3)19--19
-
Pontiggia, Francesco, see Chiari, Michele
-
pool, 40(3)12--12
-
poor, 13(1)52--98, 14(1)1--27, 30(2)8--8, 38(4)15--15, 40(2)8--8
-
poorly, 15(5)745--770, 20(3)483--545, 34(4)17--17, 38(4)15--15
-
pop, 39(1)3--3
-
POP-PL, 40(3)10--10
-
popping, 20(4)724--767
-
popular, 4(4)615--649, 7(4)560--599, 16(3)328--369, 17(1)85--122,
18(6)730--751, 21(6)1077--1136, 33(5)16--16, 36(3)10--10,
36(4)13--13, 38(2)7--7, 41(2)12--12, 42(2)7--7, 42(3)15--15,
43(3)11--11
-
popularity, 18(1)30--72, 44(2)10--10
-
population, 43(2)6--6
-
port, 14(1)28--53, 28(2)290--330
-
portability, 6(4)505--526, 22(4)673--700, 36(3)10--10, 37(1)2--2,
45(1)2--2
-
portable, 3(2)162--167, 4(1)21--36, 4(2)149--178, 6(4)546--572,
9(3)367--389, 16(3)577--604, 20(3)483--545, 20(6)1131--1170,
21(2)324--369, 29(6)33--33, 38(3)10--10
-
Portend, 37(3)8--8
-
Porter, Donald E., 37(1)4--4
-
Porter, George, 24(3)193--216
-
Porter, George, see Moore, J. Strother
-
Porter:2015:PFG, 37(1)4--4
-
porting, 34(1)5--5, 45(1)2--2
-
portion, 4(1)1--20, 5(2)127--163, 17(1)63--84, 21(3)430--501,
28(1)134--174, 31(3)11--11
-
Pos, 21(5)948--976
-
pose, 20(6)1111--1130, 28(2)331--388, 39(2)7--7, 44(1)1--1
-
position, 5(3)405--421, 14(4)471--489, 16(6)1811--1841, 22(1)45--86,
28(2)256--289, 30(5)25--25, 43(1)4--4
-
positive, 14(4)589--616, 20(1)208--258, 21(5)948--976, 22(5)861--931,
33(3)11--11, 39(1)3--3
-
positive, false-, 32(6)23--23
-
positively, 40(2)5--5
-
POSIX, 28(3)389--428
-
Posnett, 41(4)21--21
-
possess, 4(1)44--82, 16(3)986--1009, 16(5)1472--1511, 17(1)63--84,
19(5)639--684
-
possibility, 9(2)125--163, 14(4)574--588, 15(5)771--794, 17(2)366--393,
18(2)139--174, 21(2)370--416, 21(3)502--526, 32(3)8--8, 43(3)10--10
-
possible, 4(1)113--119, 4(3)382--401, 5(2)236--264, 5(3)405--421,
6(2)159--174, 6(4)527--545, 10(2)248--266, 13(2)181--210,
13(2)269--290, 14(2)173--200, 15(1)182--205, 15(4)575--631,
16(3)1051--1077, 16(6)1768--1810, 16(6)1875--1903, 17(1)1--15,
17(1)63--84, 17(2)197--216, 17(4)561--575, 18(2)139--174,
18(5)528--563, 18(6)752--779, 19(1)48--86, 19(4)617--638,
20(1)1--50, 20(2)302--343, 20(2)344--387, 20(4)869--916,
20(6)1223--1250, 21(3)502--526, 21(3)627--676, 21(4)703--746,
21(5)1028--1075, 22(2)187--223, 22(2)378--415, 23(2)105--186,
28(4)747--793, 29(2)13--13, 31(3)9--9, 31(5)19--19, 32(2)6--6,
32(3)7--7, 32(3)8--8, 32(3)9--9, 33(1)5--5, 34(1)2--2, 34(2)9--9,
34(3)13--13, 35(2)7--7, 35(3)11--11, 35(4)14--14, 36(2)5--5,
36(2)6--6, 37(1)1--1, 37(4)11--11, 39(1)2--2, 40(3)9--9, 41(3)18--18,
41(4)22--22, 41(4)23--23, 42(3)15--15, 43(1)3--3, 43(1)4--4,
45(1)1--1
-
possibly, 4(4)563--584, 4(4)650--667, 16(6)1842--1874, 17(1)157--179,
17(2)366--393, 18(4)401--423, 18(6)752--779, 20(1)208--258,
31(6)23--23, 34(4)16--16, 36(2)5--5, 39(4)14--14, 40(1)3--3,
40(1)4--4, 41(3)18--18, 42(4)19--19
-
post, 32(4)11--11, 34(1)6--6, 39(1)3--3
-
post-condition, pre-, 15(5)876--895
-
post-conditions, 8(2)185--214, 9(1)1--24, 10(3)403--419, 12(3)463--492,
15(5)876--895, 16(6)1811--1841, 19(1)48--86, 19(3)427--443,
21(4)747--789
-
postcondition, 18(3)325--353, 19(5)685--725, 28(4)747--793, 33(1)4--4
-
postdominator, 19(3)462--491
-
Postfix, 5(3)300--317
-
Postpass, 5(3)422--448
-
postpone, 14(4)490--520, 19(3)525--555
-
postponed, 20(6)1171--1194
-
post/pre-optimization, 32(4)11--11
-
postprocessing, 34(1)3--3
-
Potanin, Alex, 44(1)5--5, 45(1)3--3
-
Potanin, Alex, see Melicher, Darya,
see Runge, Tobias
-
potential, 5(2)236--264, 7(4)501--538, 16(1)35--101, 16(3)524--576,
16(6)1842--1874, 18(6)659--682, 19(1)87--152, 20(3)635--678,
20(6)1297--1322, 21(4)703--746, 21(4)813--847, 21(5)977--1027,
22(2)187--223, 28(3)476--516, 31(5)17--17, 32(3)9--9, 32(4)13--13,
34(1)5--5, 35(2)8--8, 37(3)8--8, 40(1)3--3, 41(1)1--1, 41(3)17--17,
41(3)18--18
-
potentially, 4(1)1--20, 9(2)235--256, 16(1)3--34, 17(1)28--44,
17(3)487--506, 17(4)635--671, 21(3)527--568, 21(5)914--947,
22(5)816--860, 23(1)30--72, 32(1)3--3, 34(1)6--6, 40(4)16--16
-
Pottier, François, 25(1)117--158, 27(2)344--382, 29(1)1--1,
38(4)14--14, 39(4)14--14, see Balabonski, Thibaut,
see Jourdan, Jacques-Henri,
see Simonet, Vincent
-
Pottier:2003:IFI, 25(1)117--158
-
Pottier:2005:SAS, 27(2)344--382
-
power, 4(2)149--178, 4(4)711--732, 8(4)577--608, 9(4)491--542,
11(4)633--649, 14(4)589--616, 16(3)328--369, 16(5)1411--1430,
16(6)1661--1674, 16(6)1675--1683, 16(6)1768--1810, 17(1)63--84,
19(3)492--524, 20(5)1014--1066, 20(5)1067--1109, 21(2)286--323,
21(3)502--526, 21(3)677--701, 22(5)861--931, 28(4)747--793,
29(5)29--29, 31(1)4--4, 31(2)6--6, 31(2)8--8, 31(4)14--14, 32(3)9--9,
33(6)19--19, 35(3)11--11, 35(4)13--13, 36(2)7--7, 38(4)13--13,
40(3)13--13, 46(1)4--4
-
Power7, 35(1)3--3
-
powerdomains, 13(2)269--290
-
powerful, 8(1)109--139, 8(4)419--490, 8(4)577--608, 9(2)164--197,
13(1)124--149, 13(2)181--210, 14(2)147--172, 16(3)305--327,
16(3)607--648, 16(3)872--923, 16(3)939--953, 16(3)1051--1077,
18(1)1--15, 18(2)175--234, 18(4)477--518, 19(4)617--638,
19(5)639--684, 19(6)899--915, 20(3)586--634, 20(5)917--979,
20(6)1223--1250, 21(3)502--526, 21(4)747--789, 22(2)296--339,
30(6)32--32, 32(3)7--7, 33(6)20--20, 37(1)4--4, 37(4)11--11,
38(1)3--3, 38(3)12--12, 39(4)14--14, 39(4)18--18, 40(2)7--7,
40(3)13--13, 41(2)10--10, 44(2)10--10
-
powerlist, 16(6)1737--1767
-
PowerPC, 27(6)1097--1146
-
Pozefsky, Diane, 3(4)388--404
-
Pozefsky, Diane, see Jazayeri, Medhi
-
pp, 15(2)211--252, 19(6)1085--1087, 40(2)7--7
-
PPLs, 44(1)4--4
-
PPM, 29(1)3--3
-
PPMD, 29(1)3--3
-
PPMexe, 29(1)3--3
-
PQ-encoding, 27(5)819--856
-
Prabhu, Prathmesh, 39(2)9--9
-
Prabhu, Prathmesh, see Reps, Thomas
-
practical, 4(1)83--112, 6(4)632--646, 8(4)491--523, 9(2)164--197,
9(3)297--318, 13(2)291--294, 14(2)147--172, 14(3)339--395,
14(4)574--588, 16(1)35--101, 16(5)1613--1647, 16(6)1768--1810,
17(1)28--44, 17(1)85--122, 18(2)175--234, 18(5)564--614,
18(6)711--729, 19(1)87--152, 19(5)639--684, 19(6)992--1030,
20(1)208--258, 20(3)635--678, 20(4)724--767, 20(4)845--868,
20(5)980--1013, 21(1)46--89, 21(2)324--369, 21(2)370--416,
21(3)569--626, 21(3)627--676, 21(4)848--894, 21(5)1028--1075,
24(6)625--666, 27(3)426--440, 27(5)988--1047, 27(6)1049--1096,
28(6)967--989, 29(4)19--19, 31(2)7--7, 31(2)8--8, 31(3)10--10,
31(5)19--19, 32(1)2--2, 33(1)3--3, 33(3)9--9, 33(3)11--11,
33(6)21--21, 35(1)5--5, 37(1)2--2, 37(1)4--4, 37(3)10--10, 38(1)1--1,
38(1)3--3, 38(2)7--7, 38(3)10--10, 38(3)12--12, 39(1)2--2, 41(1)5--5,
41(3)15--15, 41(4)21--21, 43(3)10--10, 44(1)1--1, 44(1)5--5,
46(2)8--8
-
practicality, 4(1)1--20, 16(2)175--204, 16(5)1512--1542, 20(3)635--678,
41(1)5--5, 41(3)17--17
-
practically, 16(3)649--686, 38(3)12--12, 41(1)1--1, 44(3)14--14
-
practice, 14(4)490--520, 16(3)687--726, 16(3)872--923, 16(4)1117--1155,
16(4)1319--1360, 16(6)1768--1810, 18(5)528--563, 19(3)413--426,
19(6)992--1030, 20(1)51--115, 20(3)483--545, 20(3)635--678,
20(4)707--723, 20(4)768--844, 21(1)138--173, 21(3)430--501,
22(4)701--771, 25(6)713--775, 30(4)18--18, 32(1)3--3, 32(6)21--21,
36(3)10--10, 37(1)3--3, 38(3)8--8, 38(3)11--11, 39(2)7--7,
41(3)15--15, 41(3)17--17, 44(1)4--4, 44(2)6--6
-
practitioners, 30(6)34--34, 38(4)15--15
-
Pradella, Matteo, 45(3)19--19
-
Pradella, Matteo, see Chiari, Michele
-
Pragmatic, 14(2)147--172, 38(4)15--15
-
PRAM, 21(2)240--285
-
Pratikakis, Polyvios, 33(1)3--3
-
Pratikakis:2011:LPS, 33(1)3--3
-
Pratt, 28(4)696--714
-
Pratt, Knuth-Morris-, 17(2)293--330
-
pre, 8(2)185--214, 9(1)1--24, 10(3)403--419, 12(3)463--492,
15(5)876--895, 16(6)1811--1841, 18(3)325--353, 19(1)48--86,
19(3)427--443, 21(4)747--789, 32(4)11--11, 33(1)4--4, 39(1)3--3
-
Pre-Analysis, 38(2)6--6
-
pre-analysis, 38(2)6--6
-
pre-analysis--guided, 38(2)6--6
-
pre-birth, 41(1)3--3
-
pre-computed, 41(3)16--16
-
pre-existing, 30(6)31--31
-
pre-modification, 32(4)11--11
-
pre-post-condition, 15(5)876--895
-
precalculated, 17(4)672--689
-
precalculating, 17(4)672--689
-
precedence, 3(1)83--103, 5(1)122--122, 6(4)632--646, 17(4)600--634,
20(1)116--165, 23(1)73--103, 34(1)5--5, 45(3)19--19
-
precedes, 18(6)683--710
-
preceding, 36(2)7--7, 38(1)1--1
-
PRECiSA, 41(1)2--2
-
precise, 4(1)21--36, 4(4)733--757, 15(1)73--132, 16(5)1467--1471,
17(2)331--365, 17(4)561--575, 17(5)777--803, 18(1)73--108,
18(5)519--527, 19(1)1--6, 19(6)992--1030, 20(1)51--115,
20(1)166--207, 21(1)90--137, 21(6)1137--1195, 21(6)1196--1250,
22(2)340--377, 22(2)416--430, 23(2)105--186, 24(1)65--109,
28(1)175--205, 30(1)4--4, 30(2)8--8, 31(2)6--6, 32(2)6--6,
32(4)12--12, 32(5)18--18, 33(1)3--3, 35(1)3--3, 36(3)8--8,
36(4)11--11, 37(1)1--1, 38(3)8--8, 39(1)3--3, 39(2)6--6, 39(4)15--15,
40(3)13--13, 41(3)16--16, 41(3)18--18, 42(2)8--8, 43(1)4--4,
45(2)7--7
-
Precise, Bit-, 40(1)1--1
-
precise, Bit-, 40(1)1--1
-
precise, bit-, 36(4)11--11
-
Precise-Yet-Efficient, 41(3)16--16
-
precise-yet-efficient, 41(3)16--16
-
precisely, 4(3)362--381, 9(4)491--542, 11(4)598--632, 16(5)1467--1471,
16(6)1842--1874, 17(4)561--575, 18(6)730--751, 22(2)416--430,
27(6)1216--1269, 30(1)4--4, 30(4)18--18, 31(4)15--15, 32(4)12--12,
32(5)17--17, 33(1)3--3, 34(1)5--5, 34(2)8--8, 36(2)6--6, 37(4)12--12,
38(3)8--8, 39(1)3--3, 41(2)9--9, 41(3)15--15
-
precision, 14(4)574--588, 15(4)632--658, 16(2)205--258, 17(1)28--44,
17(2)331--365, 17(5)777--803, 18(4)477--518, 19(1)1--6,
19(4)568--585, 19(5)751--803, 20(1)166--207, 20(1)208--258,
21(4)703--746, 21(4)848--894, 23(2)105--186, 27(4)631--661,
30(1)4--4, 31(6)20--20, 32(6)24--24, 33(1)3--3, 34(2)7--7, 35(1)5--5,
35(4)14--14, 36(3)8--8, 37(1)1--1, 37(2)5--5, 38(2)6--6, 38(4)13--13,
39(2)6--6, 39(2)8--8, 40(1)1--1, 40(1)3--3, 40(4)14--14, 41(1)6--6,
41(3)16--16, 42(2)10--10, 42(3)15--15
-
precision, cost-, 23(2)105--186
-
precision, double-, 14(4)574--588
-
precision, finite-, 39(2)8--8
-
precision, high-, 21(6)1137--1195
-
precision-improving, 40(4)14--14
-
precluded, 9(2)164--197
-
precluding, 21(4)703--746, 27(6)1270--1343
-
precondition, 4(4)668--677, 31(4)16--16, 33(6)19--19, 34(4)16--16,
40(1)1--1, 40(1)4--4
-
precondition, weakest-, 18(3)325--353
-
Preda, Mila Dalla, 30(5)25--25
-
Preda:2008:SBA, 30(5)25--25
-
predecessor, 6(4)632--646, 35(2)7--7
-
predefined, 8(4)524--546, 10(2)248--266
-
predetermined, 38(3)11--11
-
predicate, 4(2)258--282, 4(4)668--677, 4(4)711--732, 10(2)267--281,
11(3)418--450, 12(3)396--428, 16(3)687--726, 16(3)798--842,
17(1)157--179, 18(3)325--353, 22(5)861--931, 27(2)314--343,
27(5)988--1047, 27(6)1270--1343, 28(4)747--793, 29(3)15--15,
30(5)29--29, 31(2)7--7, 31(4)16--16, 34(1)2--2, 35(2)6--6,
36(4)14--14, 38(2)4--4, 39(2)9--9, 40(3)12--12, 40(3)13--13
-
predicates-for, 39(1)3--3
-
predict, 16(3)607--648, 18(4)355--400, 19(1)188--222, 20(4)869--916,
21(4)703--746, 31(3)12--12, 31(6)20--20, 41(1)4--4
-
predictability, 18(1)30--72, 19(5)804--851, 21(5)1028--1075,
32(4)13--13
-
predictable, 18(4)454--476, 19(5)804--851, 29(4)22--22, 29(6)33--33,
30(4)22--22
-
predicted, 16(3)387--427, 21(5)1028--1075, 31(6)20--20
-
predicting, 19(1)188--222
-
prediction, 11(3)404--417, 19(1)188--222, 21(2)370--416,
21(5)1028--1075, 29(1)2--2, 29(1)3--3, 29(6)37--37, 31(6)20--20
-
Predictive, 39(4)15--15
-
predictors, 19(1)188--222
-
predominantly, 20(4)724--767
-
preempt, 32(4)13--13
-
preempted, 21(1)138--173
-
preexisting, 38(1)2--2
-
prefer, 17(2)366--393
-
preferable, 28(5)942--965
-
preferably, 14(2)265--297, 17(2)366--393, 28(4)715--746
-
preferred, 17(4)561--575
-
prefix, 16(3)305--327, 19(6)899--915, 20(2)259--273
-
prefix-sum, 16(6)1737--1767
-
Pregibon, Daryl, 26(2)301--338
-
Pregibon, Daryl, see Cortes, Corinna
-
preliminary, 6(2)215--238, 10(3)470--502, 20(4)869--916, 40(3)9--9
-
premature, 16(5)1449--1466
-
prematurely, 32(5)17--17
-
premises, 15(5)771--794
-
prenex, 44(3)19--19
-
preorder, 15(1)36--72, 16(3)843--871, 31(5)19--19, 41(4)22--22
-
Prepaging, 7(1)62--79
-
preparation, 7(1)62--79, 8(4)491--523, 14(2)173--200
-
prepare, 16(1)151--174
-
prepared, 16(1)151--174
-
Prepass, 17(5)740--776
-
preplanned, 22(5)932--972
-
pre/post-conditions, 33(5)15--15
-
preprocessing, 14(4)490--520, 22(6)973--1001, 29(1)3--3, 31(5)17--17,
40(3)9--9, 41(4)23--23
-
preprocessor, 13(1)52--98, 19(1)153--187
-
Preprocessors, 16(3)687--726, 22(4)673--700
-
prerequisite, 16(5)1467--1471, 46(1)3--3
-
Presburger, 20(3)635--678, 21(4)747--789, 37(4)12--12
-
prescribes, 36(3)8--8, 40(3)12--12
-
prescription, 40(3)10--10
-
prescriptive, 4(2)283--294
-
presence, 15(2)290--311, 16(3)649--686, 16(4)1097--1113,
16(5)1449--1466, 17(1)63--84, 18(5)615--647, 18(6)649--658,
18(6)711--729, 19(4)557--567, 20(2)274--301, 22(4)673--700,
23(1)73--103, 28(3)429--475, 28(4)577--618, 29(6)35--35, 30(2)8--8,
31(1)1--1, 31(3)11--11, 32(5)17--17, 34(1)2--2, 34(2)7--7,
34(4)17--17, 35(2)6--6, 35(4)14--14, 36(1)3--3, 36(3)9--9, 38(3)8--8,
40(1)3--3, 40(3)12--12, 41(2)8--8, 43(4)17--17, 45(2)10--10
-
presentation, 4(4)615--649, 21(6)1077--1136, 27(6)1344--1395, 41(2)8--8,
45(1)5--5
-
presented, 4(1)1--20, 4(1)113--119, 4(3)323--344, 4(3)455--495,
4(4)601--614, 4(4)615--649, 4(4)678--686, 4(4)687--710,
6(4)527--545, 6(4)632--646, 7(1)62--79, 7(1)159--175, 7(4)501--538,
8(1)109--139, 8(4)491--523, 8(4)577--608, 9(2)198--234,
9(2)257--276, 9(3)408--440, 9(4)491--542, 10(2)204--214,
11(4)633--649, 12(4)643--669, 13(1)150--178, 13(2)181--210,
14(1)54--106, 14(2)265--297, 14(3)417--461, 14(4)490--520,
14(4)521--573, 15(1)182--205, 15(4)735--742, 15(5)745--770,
16(3)328--369, 16(3)370--386, 16(3)775--797, 16(3)1024--1050,
16(4)1117--1155, 16(5)1449--1466, 16(5)1613--1647, 16(6)1842--1874,
17(1)47--62, 17(2)228--232, 17(2)394--429, 17(3)535--559,
17(5)740--776, 18(2)109--138, 18(3)235--253, 18(5)564--614,
19(6)992--1030, 19(6)1031--1052, 20(2)302--343, 20(3)546--585,
20(3)679--706, 20(4)707--723, 21(1)1--10, 21(1)11--45,
21(2)175--188, 21(3)430--501, 21(3)627--676, 22(3)540--582,
22(4)583--637, 23(2)105--186, 27(6)1270--1343, 28(4)747--793,
30(6)32--32, 31(4)15--15, 32(6)21--21, 32(6)23--23, 37(2)6--6,
41(4)22--22
-
presenting, 4(1)1--20, 7(2)183--213, 18(1)30--72, 20(2)436--482,
20(5)1014--1066, 28(1)1--69, 32(1)3--3
-
preservation, 17(1)63--84, 20(2)302--343, 20(5)980--1013, 22(2)296--339,
29(2)13--13, 36(1)3--3, 43(1)2--2, 43(4)14--14
-
preserve, 4(3)402--454, 9(4)491--542, 15(5)876--895, 16(4)1081--1096,
17(1)63--84, 18(2)175--234, 18(3)300--324, 18(5)528--563,
19(6)899--915, 20(1)1--50, 20(3)483--545, 28(4)619--695,
29(2)13--13, 31(6)22--22, 32(5)18--18, 34(1)4--4, 34(3)11--11,
35(2)8--8, 36(3)8--8, 38(2)7--7, 39(4)17--17, 40(4)17--17, 41(1)1--1,
41(1)6--6, 43(1)1--1, 43(1)2--2
-
preserved, 15(5)876--895, 16(3)843--871, 16(4)1081--1096, 17(1)63--84,
18(4)454--476, 20(1)1--50, 34(4)17--17, 36(1)1--1, 36(1)3--3
-
preserving, 16(2)175--204, 16(5)1431--1448, 17(1)63--84, 18(2)175--234,
20(3)483--545, 22(2)296--339, 22(3)471--489, 31(6)22--22, 34(2)8--8,
36(3)8--8, 39(3)11--11
-
preserving, equivalence-, 18(2)175--234
-
preserving, Security-, 43(1)1--1
-
preserving, security-, 43(1)1--1
-
preserving, semantic-, 41(2)12--12
-
preserving, semantics-, 19(5)639--684, 20(3)546--585,
34(1)6--6
-
preserving, Type-, 24(2)112--152
-
preserving, type-, 21(3)527--568
-
pressure, 16(4)1117--1155, 32(4)11--11
-
presumably, 4(2)125--148, 9(4)491--542
-
pretenure, 29(1)2--2
-
pretenuring, 29(1)2--2
-
Pretty, 8(4)547--576, 16(1)102--150, 27(1)163--184
-
Prettyprinter, 5(4)513--531
-
Prettyprinting, 2(4)465--483
-
prevalent, 30(5)29--29
-
prevent, 4(4)615--649, 18(4)355--400, 19(4)557--567, 21(1)90--137,
30(6)30--30, 36(4)14--14, 37(2)6--6, 39(2)6--6, 39(3)10--10
-
preventing, 31(5)19--19, 34(1)4--4, 36(1)2--2, 37(4)12--12
-
prevention, 8(4)547--576
-
previous, 14(1)107--125, 14(4)490--520, 16(4)1097--1113, 18(4)355--400,
18(4)454--476, 19(1)1--6, 19(4)617--638, 20(1)1--50, 20(4)845--868,
20(5)980--1013, 20(6)1265--1296, 21(1)1--10, 21(1)138--173,
21(3)527--568, 21(5)977--1027, 21(6)1196--1250, 21(6)1251--1297,
22(2)378--415, 22(4)701--771, 23(1)73--103, 28(5)848--907,
29(1)2--2, 29(2)13--13, 30(6)32--32, 32(4)11--11, 32(4)13--13,
33(4)13--13, 34(1)1--1, 35(2)8--8, 35(3)9--9, 35(4)12--12, 36(1)1--1,
36(2)7--7, 39(1)2--2, 41(3)15--15, 41(3)17--17, 41(4)20--20,
42(1)2--2
-
previously, 4(4)601--614, 9(3)319--349, 13(2)269--290, 14(2)265--297,
14(3)417--461, 16(3)387--427, 17(2)394--429, 17(3)461--486,
17(3)487--506, 17(5)777--803, 19(6)853--898, 20(1)1--50,
20(4)724--767, 20(5)980--1013, 21(5)1028--1075, 21(6)1196--1250,
22(5)773--815, 22(5)932--972, 28(1)106--133, 30(1)4--4, 30(4)22--22,
32(6)23--23, 33(4)12--12, 35(2)7--7, 36(2)5--5, 38(3)9--9,
39(4)18--18, 41(1)3--3, 45(3)15--15
-
prey, 39(4)14--14
-
price, 17(4)635--671
-
primarily, 22(3)540--582, 43(1)3--3, 43(1)4--4
-
primary, 8(4)419--490, 9(2)125--163, 9(2)257--276, 17(2)233--263,
19(6)942--991, 27(6)1270--1343, 35(2)7--7
-
primitive, 4(3)455--495, 8(4)524--546, 9(3)390--407, 13(1)124--149,
13(2)211--236, 14(1)107--125, 14(3)339--395, 14(4)471--489,
15(1)36--72, 16(2)205--258, 16(3)524--576, 16(3)939--953,
16(5)1449--1466, 18(1)1--15, 19(3)427--443, 20(5)1014--1066,
22(1)45--86, 22(2)340--377, 31(1)1--1, 31(1)4--4, 32(1)3--3,
32(3)7--7, 32(3)9--9, 35(2)8--8, 36(4)12--12, 37(1)2--2, 37(1)3--3,
37(2)7--7
-
primitive, non-, 41(3)18--18
-
Princeton, 5(3)405--421
-
principal, 9(3)367--389, 15(4)706--734, 16(1)151--174, 22(6)1037--1080,
30(1)6--6, 36(1)1--1
-
principle, 4(4)668--677, 8(2)244--263, 9(2)257--276, 10(1)118--155,
10(2)248--266, 10(3)470--502, 15(2)211--252, 16(3)607--648,
16(3)872--923, 18(4)454--476, 18(5)528--563, 18(5)615--647,
20(4)768--844, 28(4)715--746, 31(3)10--10, 31(5)18--18, 32(4)12--12,
32(5)19--19, 34(2)8--8, 34(4)17--17, 35(1)4--4, 35(3)9--9, 38(2)6--6,
39(4)18--18, 40(1)2--2, 40(2)6--6, 41(3)15--15, 43(2)8--8,
43(3)10--10
-
principled, 32(4)12--12, 35(3)9--9, 38(4)15--15, 42(2)10--10,
44(3)20--20, 45(4)22--22
-
PRINCIPLES, 10(2)215--247, 12(2)143--177
-
Prins, Jan, 11(3)345--387
-
Prins, Jan, see Horwitz, Susan
-
printers, 8(4)547--576, 16(1)102--150
-
printing, 4(4)615--649, 27(1)163--184
-
prior, 27(6)1049--1096, 28(1)175--205, 28(5)848--907, 30(4)22--22,
31(2)7--7, 32(5)17--17, 32(6)23--23, 36(4)12--12, 36(4)13--13,
37(1)4--4, 39(1)3--3, 39(3)10--10, 43(1)4--4
-
priori, 22(2)296--339
-
prioritization, 14(3)339--395
-
prioritize, 37(3)8--8
-
prioritized, 15(4)681--705
-
priority, 2(2)234--238, 5(2)223--235, 14(3)339--395, 15(4)681--705,
30(3)12--12, 31(1)2--2
-
priority, fixed-, 19(3)525--555
-
priority, higher-, 32(3)9--9
-
priority, low-, 27(6)1097--1146
-
Priority-Based, 12(4)501--536
-
priority-based, 31(1)2--2
-
Prisma, 45(3)17--17
-
privacy, 35(3)9--9, 43(2)6--6, 45(2)8--8
-
private, 14(2)201--264, 43(2)6--6, 45(2)8--8, 46(1)2--2
-
privatization, 20(3)635--678
-
privilege, 6(4)573--602, 39(3)10--10, 43(3)12--12
-
PRL, 7(1)113--136
-
probabilistic, 5(3)356--380, 6(2)215--238, 16(3)798--842, 18(3)325--353,
21(3)417--429, 31(1)4--4, 35(3)9--9, 40(1)4--4, 40(2)7--7,
41(2)10--10, 41(4)22--22, 42(1)4--4, 42(2)6--6, 42(2)9--9, 44(1)4--4
-
probabilistic, non-, 41(4)22--22
-
probabilistically, 41(2)10--10
-
PROBABILITY, 16(3)798--842, 18(3)325--353
-
probability, 16(3)798--842, 19(6)853--898, 21(3)417--429, 23(1)1--29,
31(1)4--4, 40(2)7--7, 41(4)22--22, 43(2)5--5
-
probable, 41(4)23--23
-
PROBLEM, 7(2)348--357, 10(1)1--50, 11(1)33--56, 11(1)57--66,
11(3)404--417, 11(4)491--516, 11(4)562--584, 11(4)585--597,
12(1)84--101, 12(2)203--223, 13(3)399--442, 15(2)312--336,
15(4)632--658, 16(4)1117--1155, 16(5)1472--1511, 17(2)331--365,
17(3)487--506, 17(6)805--843, 18(5)528--563, 20(2)259--273,
20(6)1265--1296
-
problem-specific, 37(1)3--3
-
problematic, 14(4)589--616, 33(1)2--2, 40(1)4--4
-
problems, sub-, 39(2)9--9
-
Probst, Christian W., 30(4)21--21
-
Probst, Christian W., see Gal, Andreas
-
Proc, 6(2)215--238, 8(2)244--263, 10(3)470--502, 15(2)211--252
-
procedural, 4(2)226--238, 4(3)362--381, 5(3)405--421, 9(4)582--598,
15(5)876--895, 16(1)35--101, 16(6)1842--1874, 18(6)752--779,
22(2)378--415, 31(2)6--6, 45(3)19--19
-
procedure, 1(2)245--257, 2(4)564--579, 4(2)258--282, 5(3)405--421,
6(3)345--369, 7(4)539--559, 7(4)680--685, 8(1)50--87, 8(4)491--523,
8(4)524--546, 9(1)1--24, 10(2)204--214, 13(1)52--98, 13(4)491--530,
13(4)626--629, 14(2)173--200, 15(5)876--895, 16(1)3--34,
16(2)175--204, 16(3)428--455, 16(3)524--576, 16(3)607--648,
16(5)1467--1471, 16(5)1472--1511, 16(6)1719--1736, 17(2)331--365,
18(6)730--751, 18(6)752--779, 19(1)48--86, 19(1)87--152,
19(4)557--567, 19(4)568--585, 19(5)751--803, 19(6)1031--1052,
20(1)51--115, 20(1)116--165, 20(1)166--207, 20(4)845--868,
21(3)627--676, 21(5)977--1027, 21(6)1077--1136, 22(1)129--161,
23(2)105--186, 28(2)256--289, 31(2)7--7, 31(4)16--16, 32(2)5--5,
32(6)21--21, 34(3)14--14, 36(2)5--5, 36(3)9--9, 36(4)14--14,
38(1)1--1, 40(1)2--2, 40(2)5--5, 42(1)3--3, 42(2)8--8, 43(1)2--2,
43(4)17--17
-
procedure, single-, 36(2)5--5, 40(1)1--1
-
Procedure-Modular, 40(1)1--1
-
procedure-placement, 21(5)977--1027
-
proceed, 15(5)771--794, 16(3)954--985, 17(2)293--330, 21(2)370--416,
22(6)1002--1036, 28(4)747--793, 34(3)12--12, 39(2)7--7, 43(1)1--1
-
Proceedings, 11(4)598--632
-
process, single-, 32(4)13--13
-
process, two-, 20(1)51--115
-
process-centric, 28(4)715--746
-
process-oriented, 32(4)14--14
-
processed, 16(3)986--1009, 19(3)462--491, 22(3)540--582
-
PROCESSING, 7(1)62--79, 7(4)600--621, 9(2)277--295
-
processing, 2(2)153--172, 5(2)127--163, 7(4)600--621, 8(4)577--608,
9(2)164--197, 11(2)249--283, 12(2)178--202, 15(5)795--825,
16(3)1010--1023, 16(3)1051--1077, 20(2)259--273, 23(1)73--103,
32(1)2--2, 32(4)11--11, 35(4)13--13, 38(3)11--11, 39(1)5--5,
42(3)14--14
-
processing, language-, 16(2)175--204
-
PROCESSOR, 7(4)501--538, 9(4)599--617, 9(4)618--645, 10(2)313--337,
10(4)579--601, 11(1)57--66, 14(1)28--53, 15(3)400--462,
15(4)632--658, 15(4)659--680, 17(1)123--156, 18(6)659--682,
20(4)869--916, 20(6)1195--1222
-
processor, four-, 22(2)265--295
-
processor-specific, 41(3)17--17
-
procurement, 34(1)5--5
-
produce, 5(2)127--163, 6(4)527--545, 8(4)491--523, 8(4)547--576,
9(2)125--163, 13(1)1--20, 13(2)181--210, 15(4)632--658,
16(3)387--427, 16(3)524--576, 16(3)775--797, 16(4)1248--1278,
16(5)1431--1448, 16(5)1613--1647, 16(5)1648--1659, 17(1)63--84,
17(3)461--486, 17(4)635--671, 17(4)672--689, 19(3)492--524,
19(6)1053--1084, 21(2)240--285, 21(2)370--416, 21(3)527--568,
21(3)627--676, 21(6)1137--1195, 22(5)816--860, 23(1)30--72,
27(6)1147--1215, 28(2)256--289, 28(3)476--516, 29(1)2--2,
30(4)22--22, 32(4)15--15, 32(5)18--18, 34(1)3--3, 35(2)8--8,
35(4)13--13, 35(4)14--14, 36(1)1--1, 37(1)1--1, 37(3)8--8, 38(2)5--5,
45(2)9--9
-
produced, 4(4)601--614, 9(2)257--276, 20(1)208--258, 20(3)635--678,
22(2)224--264, 30(4)23--23, 32(4)14--14, 32(6)24--24, 34(3)12--12,
35(4)13--13, 39(1)3--3, 39(2)9--9, 41(2)12--12, 43(2)8--8
-
producer, 38(3)10--10, 39(2)7--7
-
producer-consumer, 22(5)816--860
-
producer-side, 39(2)7--7
-
producing, 4(4)563--584, 9(2)125--163, 14(2)173--200, 16(6)1661--1674,
32(4)14--14, 36(1)2--2
-
product, 18(6)730--751, 19(1)7--47, 19(5)751--803, 20(5)1067--1109,
21(5)948--976, 38(1)3--3, 39(2)9--9, 40(3)9--9, 41(1)5--5, 42(1)3--3
-
product-machine, 20(1)51--115
-
production, 4(2)179--195, 9(2)164--197, 9(3)367--389, 12(1)61--83,
20(4)845--868, 20(4)869--916, 22(2)224--264, 22(5)816--860,
28(1)70--105, 31(1)5--5, 34(1)3--3
-
production-quality, 28(4)715--746
-
productive, 11(4)633--649
-
productivity, 8(4)419--490, 11(4)633--649, 34(4)15--15, 35(1)3--3,
36(1)2--2, 37(1)2--2
-
Proebsting, Todd A., 17(3)461--486, 17(5)740--776, 18(6)683--710,
19(4)568--585
-
Proebsting, Todd A., see Debray, Saumya K.,
see Kurlander, Steven M.
-
Proebsting:1995:BAG, 17(3)461--486
-
Proebsting:1996:DDR, 18(6)683--710
-
professionals, 40(3)10--10
-
profile, 16(4)1319--1360, 18(4)355--400, 21(5)1028--1075, 24(6)667--697,
28(1)134--174, 29(1)2--2, 41(3)19--19, 45(4)20--20
-
Profile-based, 29(1)2--2
-
profile-driven, 21(5)1028--1075
-
profiled, 16(4)1319--1360, 23(2)105--186
-
profiler, 41(1)4--4, 41(3)19--19
-
profiling, 16(4)1319--1360, 16(5)1399--1410, 19(2)334--385,
19(6)853--898, 21(2)240--285, 21(5)977--1027, 21(5)1028--1075,
22(3)490--505, 28(1)70--105, 29(1)2--2, 30(4)19--19, 41(1)4--4,
45(2)10--10, 45(4)20--20
-
profiling/tracing, 16(4)1319--1360
-
profligate, 9(3)408--440
-
progagation, 13(2)181--210
-
program:, 32(5)18--18
-
Program, Concurrent-, 16(3)577--604
-
program, whole-, 30(3)17--17, 30(5)28--28, 30(5)29--29,
31(6)20--20, 34(2)7--7
-
program-abstraction, 46(2)6--6
-
program-analysis, 22(1)162--186, 44(2)11--11
-
program-based, 19(1)188--222
-
program-like, 16(2)259--303
-
program-specific, 41(1)3--3
-
program-transformational, 17(2)394--429
-
program., 14(3)339--395, 42(3)15--15
-
programmable, 27(6)1216--1269, 42(3)14--14
-
programme, 41(2)11--11
-
programmed, 3(2)126--143, 4(4)650--667, 6(4)546--572
-
programmer, 4(1)44--82, 4(2)295--322, 5(2)236--264, 6(2)159--174,
8(4)419--490, 9(2)235--256, 9(4)491--542, 10(2)189--203,
13(1)52--98, 13(1)99--123, 13(2)211--236, 14(1)28--53, 14(1)54--106,
15(1)36--72, 16(1)102--150, 16(1)151--174, 16(3)524--576,
16(3)727--774, 16(4)1248--1278, 16(4)1319--1360, 16(6)1768--1810,
16(6)1811--1841, 19(3)492--524, 19(5)804--851, 20(3)483--545,
20(3)635--678, 20(6)1131--1170, 21(2)324--369, 21(3)569--626,
21(3)677--701, 21(4)790--812, 22(3)490--505, 27(6)1049--1096,
28(3)476--516, 28(5)795--847, 31(1)4--4, 32(1)2--2, 32(3)9--9,
32(4)14--14, 34(1)4--4, 34(1)6--6, 34(4)15--15, 35(1)3--3,
35(3)11--11, 36(1)2--2, 36(3)10--10, 36(4)12--12, 36(4)13--13,
37(1)3--3, 37(1)4--4, 38(4)16--16, 39(1)3--3, 39(4)18--18, 40(2)8--8,
40(4)16--16, 41(1)4--4, 41(3)15--15, 42(4)17--17, 43(3)10--10,
44(2)9--9
-
programmer-assisted, 16(4)1248--1278
-
programmer-defined, 16(3)577--604
-
programmer-determined, 27(6)1049--1096
-
programmer-stated, 39(4)18--18
-
programming, concurrent-, 16(3)577--604
-
programming, Logic-, 16(3)607--648
-
programming, logic-, 16(3)607--648
-
programming, meta-, 30(6)31--31
-
Programming-in-the-Large, 16(5)1572--1612
-
programming-in-the-large, 16(5)1572--1612
-
programming-language, 16(5)1613--1647
-
programs, while-, 7(1)37--61, 36(3)9--9
-
programs., 16(3)577--604, 16(3)607--648, 18(4)477--518
-
progress, 8(4)491--523, 11(4)633--649, 15(5)745--770, 15(5)771--794,
27(6)1147--1215, 34(1)5--5, 44(4)25--25, 45(1)2--2
-
progression, 16(6)1842--1874
-
prohibit, 4(1)44--82, 28(5)795--847
-
prohibitive, 23(2)105--186
-
prohibitively, 28(3)476--516, 45(2)12--12
-
project, 8(4)491--523, 32(3)7--7, 32(4)12--12, 36(1)1--1, 39(4)17--17,
40(2)8--8, 41(4)21--21, 42(3)15--15
-
projection, 20(4)845--868, 22(5)773--815, 34(2)8--8
-
projective, 22(5)773--815
-
Prokopec, Aleksandar, 45(2)10--10, 45(4)20--20
-
Prokopec, Aleksandar, see Basso, Matteo,
see Vukasovic, Maja
-
proliferation, 4(1)113--119
-
PROLOG, 16(1)35--101, 16(3)687--726
-
prolog, 4(2)258--282, 8(1)1--49, 9(2)125--163, 11(4)650--665,
13(1)99--123, 14(1)54--106, 15(1)206--208, 16(1)35--101,
16(2)205--258, 16(3)605--606, 16(3)607--648, 16(3)687--726,
17(4)635--671, 18(5)528--563, 18(6)752--779, 20(3)586--634,
21(3)430--501, 23(4)472--602
-
Prolog, B-, 18(6)752--779
-
Prolog, SICStus-, 18(6)752--779
-
Prolog-III, 18(5)564--614
-
prolong, 20(6)1297--1322
-
prominent, 30(5)29--29, 31(5)18--18
-
prominently, 42(3)15--15
-
promise, 16(3)798--842, 21(4)747--789, 41(1)3--3, 41(3)16--16,
45(3)16--16
-
promising, 13(1)21--51, 14(1)1--27, 20(2)274--301, 20(6)1223--1250,
30(4)22--22, 34(1)2--2, 37(1)4--4, 38(4)15--15, 41(2)13--13,
45(3)15--15
-
promotes, 4(1)44--82
-
Promotion, 6(4)487--504, 7(3)490--492
-
promulgate, 38(4)15--15
-
prone, 30(6)30--30
-
prone, error-, 21(4)790--812, 35(3)9--9, 36(1)2--2
-
pronged, two-, 35(3)11--11, 41(3)16--16
-
Proof-Carrying, 27(6)1049--1096, 32(3)7--7, 39(2)7--7
-
proof-carrying, 23(5)657--683, 31(5)18--18, 32(3)7--7
-
Proof-Directed, 35(2)8--8
-
proof-theoretic, 21(2)370--416, 23(1)1--29, 30(5)26--26
-
propagate, 8(1)109--139, 13(2)181--210, 30(4)21--21, 35(4)14--14
-
propagated, 13(2)181--210, 16(2)175--204, 17(2)264--292, 43(1)2--2
-
propagating, 22(1)1--44, 23(2)105--186
-
propagation, 8(1)109--139, 13(2)181--210, 17(2)181--196, 17(2)264--292,
17(2)394--429, 17(6)896--937, 18(1)16--29, 18(1)30--72, 19(1)1--6,
19(5)639--684, 19(6)992--1030, 20(4)768--844, 21(2)286--323,
21(6)1137--1195, 22(5)932--972, 22(6)1002--1036, 27(3)388--425,
31(1)2--2, 31(2)1--1, 32(1)3--3, 32(5)17--17, 35(1)2--2, 37(1)3--3,
41(3)18--18, 41(4)23--23
-
propagation, change-, 32(1)3--3
-
propagator, 31(1)2--2
-
proper, 16(4)1248--1278, 18(6)730--751, 20(1)208--258, 30(2)8--8,
34(3)11--11
-
properly, 22(1)129--161, 22(4)701--771, 22(6)973--1001, 30(2)8--8,
30(4)18--18, 32(4)11--11, 32(4)15--15, 40(3)10--10, 40(3)12--12
-
properties., 31(5)18--18
-
prophecy, 44(2)6--6
-
proportional, 6(4)527--545, 13(1)1--20, 16(3)775--797, 17(5)740--776,
19(3)462--491
-
proposal, 17(1)28--44, 21(1)11--45, 22(3)540--582, 28(5)942--965,
30(6)33--33, 34(1)4--4, 40(4)16--16
-
propose, 13(2)237--268, 14(2)201--264, 15(5)745--770, 16(3)305--327,
16(3)456--492, 16(3)687--726, 16(3)986--1009, 16(4)1248--1278,
16(6)1737--1767, 17(4)600--634, 17(4)635--671, 18(5)564--614,
18(5)615--647, 19(3)413--426, 19(3)444--461, 19(5)804--851,
20(1)116--165, 20(2)436--482, 20(6)1111--1130, 20(6)1195--1222,
21(1)90--137, 21(2)189--239, 21(3)677--701, 22(6)973--1001,
27(6)1097--1146, 28(1)70--105, 28(2)256--289, 28(2)331--388,
30(2)8--8, 30(4)22--22, 30(5)25--25, 30(6)30--30, 30(6)33--33,
31(1)1--1, 31(1)3--3, 31(4)13--13, 32(1)2--2, 32(3)7--7, 32(4)11--11,
32(4)13--13, 32(4)14--14, 32(4)15--15, 32(5)16--16, 33(4)14--14,
34(1)2--2, 34(2)10--10, 35(3)10--10, 36(1)3--3, 36(2)6--6, 36(2)7--7,
37(3)9--9, 37(3)10--10, 37(4)11--11, 38(3)12--12, 38(4)15--15,
39(3)11--11, 40(2)5--5, 40(2)8--8, 40(3)12--12, 41(3)16--16,
42(1)2--2, 43(3)10--10, 45(2)7--7, 46(1)3--3
-
proposed, 4(2)239--257, 4(4)585--600, 6(2)159--174, 8(4)577--608,
9(2)125--163, 9(4)473--490, 13(1)150--178, 13(2)211--236,
14(2)127--144, 14(4)574--588, 15(4)659--680, 15(5)876--895,
16(1)35--101, 16(4)1097--1113, 17(2)217--227, 17(2)331--365,
18(4)401--423, 18(5)564--614, 20(1)51--115, 20(4)768--844,
20(4)869--916, 20(6)1171--1194, 20(6)1195--1222, 21(1)11--45,
21(2)175--188, 21(5)1028--1075, 21(6)1137--1195, 22(2)187--223,
22(2)296--339, 22(4)638--672, 22(4)673--700, 27(6)1097--1146,
28(3)389--428, 28(5)795--847, 30(5)25--25, 30(6)33--33, 31(6)23--23,
32(1)3--3, 32(4)11--11, 32(5)16--16, 32(6)21--21, 33(1)4--4,
33(3)9--9, 34(2)7--7, 34(4)17--17, 35(1)2--2, 35(1)3--3, 37(1)3--3,
37(3)8--8, 38(3)8--8, 40(3)12--12, 41(2)10--10, 46(2)8--8
-
proposing, 16(4)1279--1318, 18(5)564--614, 22(2)296--339, 31(2)6--6,
32(4)11--11
-
propositional, 39(4)15--15
-
propositions, 40(4)17--17
-
Pros, 20(6)1131--1170
-
prose, 21(1)90--137, 39(4)14--14
-
prossima, 32(6)20--20
-
protect, 37(4)11--11, 41(3)15--15, 45(2)13--13
-
protected, 22(3)506--539, 30(4)20--20, 33(1)3--3, 34(1)4--4, 37(2)6--6,
45(1)3--3
-
protecting, 34(1)4--4, 35(3)9--9
-
protection, 15(4)706--734, 16(3)775--797, 16(3)986--1009, 21(1)90--137,
31(3)11--11, 41(3)18--18, 43(1)1--1
-
protocol, 5(1)1--25, 7(3)404--425, 8(1)154--182, 11(2)284--329,
11(2)330--344, 12(2)303--339, 13(1)124--149, 14(3)417--461,
15(1)1--35, 15(1)36--72, 15(4)706--734, 16(2)259--303,
16(3)986--1009, 16(5)1543--1571, 18(6)659--682, 19(1)48--86,
19(2)292--333, 22(4)673--700, 22(6)1037--1080, 30(6)30--30,
31(1)5--5, 31(6)22--22, 34(4)17--17, 37(4)11--11, 41(2)9--9,
44(3)18--18, 44(3)19--19, 45(3)15--15, 45(3)17--17
-
prototype, 4(4)552--562, 7(4)501--538, 8(4)419--490, 8(4)491--523,
8(4)577--608, 12(4)670--699, 13(1)52--98, 13(1)179--179,
14(3)339--395, 16(2)205--258, 17(2)233--263, 17(3)461--486,
18(5)528--563, 19(6)942--991, 20(1)166--207, 20(4)869--916,
22(3)540--582, 22(4)673--700, 22(5)816--860, 27(6)1097--1146,
27(6)1147--1215, 29(2)13--13, 30(4)21--21, 32(5)18--18, 34(1)2--2,
36(1)2--2, 38(3)8--8, 41(1)4--4, 43(4)15--15
-
prototyped, 32(4)12--12
-
prototypical, 28(5)848--907
-
prototyping, 9(2)125--163, 12(4)670--699, 18(4)355--400,
20(6)1223--1250, 27(6)1270--1343, 44(2)7--7, 44(4)22--22
-
Protzenko, Jonathan, 38(4)14--14
-
Protzenko, Jonathan, see Balabonski, Thibaut
-
provable, 14(4)589--616, 19(5)751--803, 21(2)240--285, 34(4)17--17,
36(1)2--2
-
provably, 16(3)328--369, 16(3)607--648, 19(1)87--152, 21(1)138--173,
21(2)240--285, 22(4)673--700, 22(4)701--771, 41(3)14--14,
42(1)1--53, 43(2)8--8, 44(3)20--20
-
prove, 14(2)147--172, 15(4)575--631, 15(4)632--658, 15(4)659--680,
15(5)771--794, 16(3)924--938, 16(3)1051--1077, 16(4)1081--1096,
16(4)1248--1278, 16(5)1411--1430, 16(5)1613--1647, 17(1)47--62,
17(1)157--179, 17(2)264--292, 17(4)576--599, 18(3)235--253,
18(3)254--267, 18(5)519--527, 18(6)730--751, 19(3)413--426,
19(5)804--851, 19(6)899--915, 20(4)707--723, 20(4)724--767,
20(5)1067--1109, 20(6)1111--1130, 20(6)1171--1194, 21(1)90--137,
21(2)189--239, 21(2)240--285, 21(3)569--626, 21(3)677--701,
21(4)790--812, 21(5)914--947, 21(6)1196--1250, 22(1)87--128,
22(2)296--339, 22(5)773--815, 22(6)1002--1036, 27(6)1270--1343,
28(2)290--330, 28(5)795--847, 28(5)942--965, 29(6)35--35,
30(4)24--24, 31(2)8--8, 31(3)12--12, 31(5)19--19, 32(3)7--7,
32(3)8--8, 33(4)12--12, 34(1)2--2, 34(2)7--7, 34(3)14--14,
34(4)17--17, 35(2)7--7, 35(3)11--11, 35(4)12--12, 35(4)14--14,
36(1)1--1, 36(1)3--3, 36(3)8--8, 37(4)13--13, 38(1)2--2, 38(2)4--4,
38(2)6--6, 38(2)7--7, 38(3)8--8, 38(4)14--14, 38(4)16--16, 40(1)1--1,
40(1)2--2, 40(4)16--16, 41(2)8--8, 41(2)11--11, 41(4)20--20,
42(1)2--2, 42(1)3--3, 43(1)2--2, 43(4)15--15
-
proved, 4(3)382--401, 4(4)527--551, 4(4)733--757, 15(4)735--742,
16(4)1361--1398, 16(6)1811--1841, 17(1)47--62, 17(3)507--534,
18(5)564--614, 19(3)413--426, 19(5)685--725, 20(6)1223--1250,
21(3)677--701, 28(2)290--330, 31(3)10--10, 33(6)19--19, 34(2)7--7,
34(4)17--17, 37(2)7--7, 37(4)13--13, 39(1)4--4, 39(4)16--16,
40(2)6--6, 40(3)11--11, 41(2)10--10, 41(3)14--14, 42(3)14--14,
43(1)1--1
-
proven, 9(3)367--389, 15(1)36--72, 16(3)649--686, 17(1)63--84,
17(2)228--232, 22(2)296--339, 31(2)7--7, 32(4)14--14, 33(1)4--4,
34(4)16--16, 37(4)12--12, 38(3)12--12, 40(1)2--2, 41(2)13--13,
42(1)4--4, 43(1)1--1, 43(1)2--2
-
Provenance, 42(2)7--7
-
provenly, 29(2)13--13
-
prover, 28(4)619--695, 30(6)30--30, 31(1)5--5, 32(3)8--8, 33(1)4--4,
34(1)2--2, 40(2)6--6, 43(1)2--2
-
ProVerif, 31(1)5--5
-
provided, 6(4)527--545, 8(4)577--608, 13(1)52--98, 16(1)151--174,
16(4)1361--1398, 17(1)157--179, 17(3)487--506, 19(6)942--991,
20(5)980--1013, 21(3)627--676, 22(2)296--339, 29(5)29--29,
34(1)6--6, 39(1)2--2, 39(1)4--4, 39(2)8--8, 39(4)17--17, 41(4)21--21
-
provided, user-, 41(3)18--18
-
providers, 39(2)7--7
-
providing, 20(1)51--115, 21(3)569--626, 21(6)1137--1195, 28(4)619--695,
30(4)18--18, 31(4)13--13, 31(6)20--20, 32(3)9--9, 34(4)15--15,
35(3)9--9, 35(3)11--11, 36(1)4--4, 38(2)5--5, 39(3)10--10, 40(1)4--4,
43(2)6--6, 43(3)10--10
-
proving, 1(1)84--97, 2(1)134--134, 4(2)258--282, 4(3)455--495,
6(2)239--253, 7(1)113--136, 8(1)1--49, 8(1)154--182, 8(3)344--387,
8(4)547--576, 9(1)100--120, 12(2)224--252, 12(2)253--302,
12(4)643--669, 13(1)99--123, 13(1)124--149, 16(2)205--258,
16(2)259--303, 16(3)607--648, 16(3)687--726, 16(3)924--938,
16(4)1081--1096, 17(1)16--27, 18(2)175--234, 19(5)685--725,
19(5)751--803, 20(1)208--258, 20(2)344--387, 20(3)586--634,
21(6)1137--1195, 30(5)25--25, 32(3)7--7, 32(4)12--12, 34(1)2--2,
34(4)16--16, 35(3)9--9, 36(1)1--1, 36(1)3--3, 37(3)8--8, 39(1)4--4,
39(2)7--7, 39(3)11--11, 40(2)5--5, 40(2)7--7, 41(4)20--20, 43(1)1--1,
44(4)25--25
-
proving, theorem-, 37(4)11--11
-
proximity, 9(2)164--197
-
prune, cache-and-, 20(3)546--585
-
pruned, 20(3)546--585
-
pruning, 21(1)1--10
-
Prywes, N. S., 1(2)196--217
-
Prywes:1979:UNS, 1(2)196--217
-
pseudo-code, 30(6)33--33, 31(6)22--22
-
PSG, 8(4)547--576
-
psi-term, 16(4)1279--1318
-
psi-terms, 16(4)1279--1318
-
PSO, 45(1)6--6
-
PSPACE, 40(2)7--7
-
PSPACE-complete, 22(1)87--128, 36(3)9--9, 37(3)9--9
-
PSPACE-hard, 40(2)7--7
-
PT, 4(2)149--178
-
Pthread-style, 36(4)14--14
-
PThreads, 27(6)1270--1343
-
PTIME, 35(3)10--10
-
Pu, Calton, 30(4)22--22
-
Pu, Calton, see Bhatia, Sapan
-
pub/Language/prolog, 18(6)752--779
-
public, 16(3)986--1009, 37(3)10--10
-
publicly, 19(3)413--426, 19(5)804--851, 34(3)11--11, 38(3)8--8
-
publishash, 29(1)6--6
-
published, 9(2)125--163, 16(3)387--427, 17(3)461--486, 20(5)980--1013,
38(3)10--10, 43(2)8--8, 44(4)25--25
-
Puebla, German, 22(2)187--223
-
Puebla, German, see Hermenegildo, Manuel
-
Pugh, 18(1)16--29
-
Pugh, William, 16(4)1248--1278, 20(3)635--678, 21(4)747--789,
30(5)28--28
-
Pugh, William, see Bultan, Tevfik,
see Gil, Joseph (Yossi)
-
Pugh:1994:SAU, 16(4)1248--1278
-
Pugh:1998:CBA, 20(3)635--678
-
PUMA, 9(2)257--276
-
Pun, Violet Ka I., 46(1)3--3
-
Pun, Violet Ka I., see Din, Crystal Chang
-
Purdin, Titus, 10(1)51--86
-
Purdin, Titus, see Andrews, Gregory R.
-
pure, 18(4)355--400, 19(2)223--238, 28(2)331--388, 29(2)8--8,
32(6)21--21, 33(1)5--5, 40(2)6--6, 44(3)20--20
-
purely, 8(4)577--608, 11(4)598--632, 17(2)293--330, 19(3)427--443,
22(2)378--415, 31(5)17--17, 32(1)3--3, 34(4)17--17
-
purley, 18(3)268--299
-
purpose, 7(4)560--599, 8(4)419--490, 13(1)150--178, 14(2)147--172,
16(1)1--2, 16(5)1613--1647, 20(5)1014--1066, 21(2)240--285,
21(3)502--526, 22(1)162--186, 40(2)5--5, 41(3)15--15, 43(3)10--10
-
Purpose, All-, 8(2)215--243
-
Purpose, General-, 36(4)13--13
-
purpose, general-, 9(2)235--256, 16(5)1431--1448,
18(3)235--253, 20(1)166--207, 23(2)105--186, 27(6)1049--1096,
31(2)7--7, 31(2)8--8, 32(2)4--4, 36(3)10--10, 37(4)11--11, 40(2)5--5,
42(3)12--12
-
PURPOSE, SPECIAL-, 19(3)525--555
-
purpose, Special-, 10(1)118--155, 19(3)427--443
-
purpose, special-, 4(3)496--517, 31(2)7--7, 38(2)4--4
-
Pursuing, 17(1)157--179
-
pursuit, 38(3)8--8, 38(4)15--15
-
Purtilo, James M., 16(1)151--174
-
Purtilo:1994:PSB, 16(1)151--174
-
Purushothaman, S., 13(3)399--442, 13(4)633--633
-
Purushothaman, S., see Peng, Wuxu
-
Purushothaman:1991:CDF, 13(3)399--442, 13(4)633--633
-
pushdown, 22(6)973--1001, 33(5)15--15, 41(2)11--11, 41(3)14--14,
45(2)9--9
-
pushing, 20(4)724--767, 45(2)11--11
-
put, 4(2)283--294, 8(4)524--546, 19(6)916--941, 32(5)18--18, 36(2)7--7,
38(1)2--2
-
Put, Ludo, Van, 29(4)19--19
-
puzzle, 40(2)6--6
-
PYE, 41(3)16--16
-
Python, 38(2)7--7
-
PyTorch, 44(2)10--10