Index file section P for tosem.bib
Last update: Fri May 3 02:04:43 MDT 2024
Return to index directory
P
-
P, 10(1)5--55, 33(1)17--17
-
p, 4(1)36--64
-
p-draw, 7(4)368--410
-
P-measure, 17(3)16--16
-
P2P, 30(3)35--35
-
PACE, 33(4)85--85
-
pace, 22(4)34--34
-
Pace, J. Andrés, Díaz, 27(1)2--2
-
paced, fast-, 27(4)16--16
-
pacemaker, 24(1)2--2
-
Pacheco, Michael, 32(3)59--59
-
Pacheco:2023:MTD, 32(3)59--59
-
package, 1(3)205--228, 3(2)166--199, 6(4)333--369, 17(3)14--14,
23(1)4--4, 24(3)17--17, 25(3)24--24, 30(4)42--42, 32(4)94--94,
32(6)149--149, 33(2)34--34, 33(4)97--97
-
packaged, 32(2)38--38
-
packages/modules, 24(3)17--17
-
packaging, 30(4)42--42
-
packet, 8(2)115--146
-
packet-forwarding, 8(2)115--146
-
Padberg, Frank, 24(4)23--23
-
Padberg, Frank, see Fraser, Gordon
-
Paddle, 18(1)3--3
-
PageRank, 22(4)37--37
-
pages, 6(3)329--331, 33(4)90--90
-
paid, 2(2)176--201, 10(2)209--254, 31(4)70--70
-
Paige, Richard F., 16(3)11--11
-
Paige:2007:MBM, 16(3)11--11
-
painstaking, 32(2)36--36
-
pair, 1(3)205--228, 6(2)111--140, 7(2)192--214, 7(3)250--295,
8(3)215--262, 8(4)425--472, 10(1)56--109, 21(2)8--8, 22(1)4--4,
25(3)20--20, 26(1)5--5, 28(3)18--18, 28(4)21--21, 30(2)25--25
-
PairStatic, 28(3)18--18
-
pairwise, 28(3)18--18
-
Paja, Elda, 32(1)2--2
-
Paja, Elda, see Robol, Marco
-
Pal, Uma, 32(2)45--45
-
Pal, Uma, see Wang, Chao
-
Palacio, David Nader, 31(2)32--32
-
Palacio, David Nader, see Watson, Cody
-
Paleari, Roberto, 22(4)29--29
-
Paleari, Roberto, see Martignoni, Lorenzo
-
Palepu, Vijay Krishna, 25(4)30--30
-
Palepu:2017:DDS, 25(4)30--30
-
palette, 27(3)14--14, 33(1)3--3
-
Palikareva, Hristina, 27(3)10--10
-
Palikareva, Hristina, see Kuchta, Tomasz
-
Palomo-Lozano, Francisco, 23(2)19--19
-
Palomo-Lozano, Francisco, see Harman, Mark
-
Pan, 1(1)95--127
-
Pan, Kai, 23(2)12--12
-
Pan, Minxue, 31(3)44--44, 32(1)4--4, 33(3)67--67
-
Pan, Minxue, see Yang, Wenhua,
see Zhu, Tingwei
-
Pan, Weifeng, 33(4)84--84
-
Pan:2014:GTG, 23(2)12--12
-
Pan:2023:PWT, 32(1)4--4
-
Pan:2024:EEA, 33(4)84--84
-
pandemic, 31(2)27--27, 32(5)111--111, 33(1)10--10, 33(3)57--57,
33(3)82--82
-
Pandemic-RCR, 33(3)82--82
-
Pandita, Omesh, 24(1)4--4
-
Pandita, Omesh, see Santhiar, Anirudh
-
Pandita, Rahul, 32(4)99--99
-
Pandita, Rahul, see Rahman, Akond
-
panel, 20(2)6--6
-
Panichella, Annibale, 32(2)28--28, 32(3)73--73
-
Panichella, Annibale, see Birchler, Christian,
see Zampetti, Fiorella
-
Panichella, Sebastiano, 32(2)28--28, 32(3)67--67, 32(3)73--73
-
Panichella, Sebastiano, see Birchler, Christian,
see Di Sorbo, Andrea,
see Zampetti, Fiorella
-
Pant, Aastha, 33(3)80--80
-
Pant:2024:EAA, 33(3)80--80
-
Pantiuchina, Jevgenija, 29(4)29--29, 31(2)23--23
-
Pantiuchina:2020:WDR, 29(4)29--29
-
Pantiuchina:2022:WDD, 31(2)23--23
-
Papadakis, Mike, 30(2)13--13, 30(2)19--19, 31(4)78--78, 32(1)14--14,
32(2)33--33, 33(1)22--22, 33(1)25--25, 33(2)48--48, 33(4)111--111
-
Papadakis, Mike, see Chekam, Thierry Titcheu,
see Dang, Xueqi, \see{Guo, Yuejun,
see Hu, Qiang, \see{Khanfir, Ahmed,
see Ma, Wei, \see{Ojdanic, Milos
-
paper, 1(1)5--20, 1(1)21--52, 1(1)53--80, 1(1)95--127, 1(2)135--167,
1(2)168--187, 1(2)188--204, 1(3)205--228, 1(3)310--354,
2(2)176--201, 2(3)270--285, 2(4)311--345, 8(1)1--48, 9(3)306--337,
10(1)56--109, 10(2)149--183, 16(3)10--10, 17(2)11--11, 21(1)2--2,
21(1)5--5, 21(2)8--8, 21(4)24--24, 25(3)26--26, 26(1)4--4,
32(2)51--51, 32(2)54--54, 32(6)139--139, 33(1)29--29, 33(3)82--82,
33(4)111--111
-
paper, pencil-and-, 19(4)13--13
-
Paraboschi, Stefano, 10(4)452--483
-
Paraboschi, Stefano, see Bonifati, Angela
-
Parache, Yago Isasi, 32(2)37--37
-
Parache, Yago Isasi, see Lee, Jaekwon
-
paraconsistent, 7(4)335--367
-
paradigm, 1(3)269--309, 6(2)141--172, 6(3)250--282, 6(3)283--328,
7(4)411--448, 9(2)167--198, 20(4)18--18, 21(2)11--11, 24(2)10--10,
24(3)19--19, 29(1)3--3, 31(1)10--10, 32(3)62--62, 32(5)119--119,
32(5)131--131, 33(1)4--4, 33(3)68--68, 33(3)81--81
-
parallel, 2(1)1--46, 2(1)47--92, 2(3)203--227, 3(1)29--55, 3(4)271--307,
4(1)65--106, 5(4)334--377, 9(2)167--198, 10(3)308--337, 17(2)10--10,
20(2)5--5, 21(2)9--9, 24(4)24--24, 25(2)15--15, 26(1)5--5,
30(2)17--17, 31(1)8--8, 31(2)35e_35e, 32(6)151--151, 33(3)66--66
-
parallel, data-, 24(1)4--4
-
parallelism, 24(4)24--24
-
parameter, 2(1)93--106, 3(2)101--130, 7(2)192--214, 17(4)17--17,
20(4)15--15, 21(1)3--3, 23(4)29--29, 23(4)35--35, 24(2)10--10,
24(3)20--20, 32(3)58--58, 33(1)28--28
-
parameterization, 18(2)5--5
-
parameterized, 14(1)1--41, 16(3)12--12, 25(3)26--26
-
parametric, 17(2)9--9, 22(4)28--28, 31(4)64--64, 32(1)10--10
-
parametric, model-, 3(4)308--339
-
paramount, 22(3)26--26, 32(2)50--50
-
PARC, 17(4)19--19
-
Pardo, César, 31(4)59--59, see Masso, Jhon
-
Parejo, Jose Antonio, 27(3)13--13, 29(1)2--2
-
Parejo, Jose Antonio, see Hierons, Robert M.,
see Troya, Javier
-
Pareto, 32(1)5--5, 32(3)68--68
-
Pareto-optimal, 32(1)5--5
-
París, Gerard, 31(3)39--39,
see Barcelona-Pons, Daniel
-
Parisi-Presicce, Francesco, 3(2)166--199
-
Parisi-Presicce:1994:ATC, 3(2)166--199
-
Parnin, Chris, 30(1)3--3
-
Parnin, Chris, see Rahman, Akond
-
Parry, Owain, 31(1)17--17
-
Parry:2022:SFT, 31(1)17--17
-
parse, 2(1)47--92, 8(2)177--212, 25(3)22--22
-
parser-based, 5(3)262--292
-
parsers, 25(3)22--22
-
parsing, 5(1)42--62, 18(2)6--6, 26(4)13--13
-
part, 1(2)135--167, 2(2)176--201, 6(4)370--397, 8(1)1--48, 9(2)133--166,
9(2)199--237, 16(1)3--3, 16(2)7--7, 16(4)15--15, 17(1)2--2,
17(3)14--14, 18(2)4--4, 18(2)7--7, 18(3)9--9, 20(4)19--19, 21(1)1--1,
21(4)20--20, 21(4)23--23, 22(2)13--13, 22(3)24--24, 23(1)2--2,
23(2)13--13, 23(2)14--14, 23(3)21--21, 25(1)3--3, 26(1)1--1,
28(2)7--7, 28(2)8--8, 29(3)19--19, 31(2)29--29, 32(1)4--4,
32(1)21--21, 32(1)26--26, 32(2)35--35
-
Pârtachi, Profir-Petru, 32(2)32--32
-
Partachi:2023:AMI, 32(2)32--32
-
partial, 2(2)128--175, 2(4)379--411, 4(2)109--145, 4(4)365--389,
7(1)80--107, 7(4)335--367, 16(1)5--5, 19(3)9--9, 20(4)14--14,
21(2)9--9, 21(2)12--12, 21(4)20--20, 22(1)4--4, 22(3)25--25,
23(2)20--20, 24(3)15--15, 25(2)16--16, 25(4)31--31, 26(1)5--5,
28(3)13--13, 30(4)46--46, 31(3)34--34, 33(2)31--31
-
Partial-Order, 24(3)15--15
-
partially, 16(4)15--15, 20(4)17--17, 28(2)7--7
-
participant, 6(3)213--249, 7(4)335--367, 21(1)4--4, 23(2)13--13,
23(4)31--31, 24(1)1--1, 24(3)14--14, 25(2)13--13, 25(3)26--26,
26(2)6--6, 28(2)9--9, 28(2)11--11, 30(1)2--2, 30(3)35--35,
31(2)36e_36e
-
participate, 28(3)18--18, 29(3)16--16
-
participating, 19(2)6--6
-
participation, 23(4)35--35, 31(3)35--35, 31(4)81--81
-
participative, 9(2)199--237
-
particular, 1(1)95--127, 1(2)135--167, 2(1)1--46, 2(4)379--411,
4(1)3--35, 4(2)171--213, 7(1)1--40, 7(2)158--191, 8(4)411--424,
9(2)199--237, 9(3)239--272, 16(2)9--9, 17(2)9--9, 18(1)1--1,
18(4)13--13, 19(4)11--11, 20(1)1--1, 20(1)2--2, 21(4)20--20,
22(1)7--7, 22(2)14--14, 22(3)21--21, 22(4)32--32, 22(4)35--35,
23(1)7--7, 23(2)14--14, 24(1)5--5, 24(2)8--8, 24(3)16--16,
25(2)18--18, 25(3)24--24, 25(4)31--31, 26(1)3--3, 27(2)5--5,
27(3)14--14, 27(4)16--16, 27(4)18--18, 28(3)13--13, 29(3)20--20,
30(2)12--12, 31(1)3--3, 31(3)39--39, 31(3)53--53, 32(1)6--6,
32(4)82--82, 33(2)42--42, 33(3)78--78
-
particularly, 1(3)269--309, 8(1)49--78, 10(2)149--183, 17(1)2--2,
20(1)2--2, 21(1)5--5, 22(3)21--21, 22(4)30--30, 23(2)19--19,
23(4)32--32, 24(3)13--13, 27(1)3--3, 28(1)4--4, 28(2)11--11,
29(1)5--5, 29(3)16--16, 29(4)28--28, 31(3)43--43, 32(1)20--20,
32(2)43--43, 32(4)88--88
-
partition, 1(3)310--354, 19(1)1--1, 22(4)32--32
-
partitioned, 17(2)7--7
-
partitioning, 22(4)32--32, 27(4)15--15
-
partly, 2(2)176--201
-
partner, 8(1)79--113, 23(3)25--25, 24(3)17--17, 25(3)23--23
-
party, 19(2)6--6, 22(2)15--15, 28(4)21--21, 29(4)27--27
-
Party, Third-, 33(2)52--52
-
party, Third-, 33(2)52--52
-
party, third-, 17(2)8--8, 19(1)1--1, 22(2)15--15, 23(3)21--21,
24(1)4--4, 25(4)30--30, 27(1)2--2, 29(4)23--23, 31(2)28--28,
32(1)2--2, 33(2)34--34, 33(2)49--49
-
Pascal, 10(1)5--55
-
pass, 31(3)51--51, 33(1)11--11, 33(2)44--44
-
passed, 21(1)3--3
-
passenger, 32(4)95--95
-
passing, 6(3)250--282, 10(1)56--109, 17(2)10--10, 21(1)3--3, 21(3)19--19,
23(1)8--8, 24(4)26--26, 32(2)36--36
-
passing, Message-, 30(2)17--17
-
passing, message-, 10(1)56--109
-
passing, security-, 9(4)341--378
-
passing, value-, 16(3)12--12
-
passive, 33(2)44--44
-
past, 3(4)340--380, 6(3)283--328, 7(1)1--40, 10(2)149--183, 17(2)8--8,
20(3)8--8, 22(1)8--8, 22(2)12--12, 23(4)31--31, 24(1)6--6, 24(2)8--8,
24(3)20--20, 25(3)23--23, 26(4)12--12, 27(3)14--14, 28(2)9--9,
31(2)33--33, 32(1)20--20, 32(2)36--36, 32(3)56--56, 32(5)129--129,
32(6)144--144, 32(6)145--145, 32(6)154--154, 33(2)41--41,
33(3)61--61
-
Pastor, Oscar, 22(3)26--26
-
Pastor, Oscar, see Marín, Beatriz
-
Pastore, Fabrizio, 26(1)1--1, 28(1)1--1, 31(4)61--61, 32(3)79--79,
32(4)104--104
-
Pastore, Fabrizio, see Attaoui, Mohammed,
see Di Nardo, Daniel, \see{Fahmy, Hazem,
see Ngo, Chanh Duc, \see{Wang, Chunhui
-
PAT, 22(1)3--3
-
patch, 26(3)10--10, 27(3)10--10, 27(4)15--15, 28(4)19--19, 30(1)6--6,
31(1)13--13, 31(3)51--51, 31(4)77--77, 32(3)56--56, 32(4)92--92,
32(4)96--96, 32(6)154--154, 32(6)158--158, 33(2)44--44
-
PatchCensor, 32(6)154--154
-
patching, 27(4)15--15, 32(3)56--56
-
path, 1(2)168--187, 6(4)370--397, 15(4)410--457, 17(2)10--10,
17(4)18--18, 20(3)11--11, 21(1)5--5, 22(3)18--18, 22(4)32--32,
22(4)33--33, 23(4)34--34, 24(1)3--3, 24(3)15--15, 24(4)22--22,
25(2)14--14, 25(3)27--27, 26(4)12--12, 29(3)14--14, 30(2)17--17,
31(3)47--47, 33(3)64--64, 33(3)66--66
-
path-based, 22(3)18--18
-
Path-Sensitive, 24(3)15--15
-
path-sensitive, 22(3)18--18, 23(4)34--34, 24(3)15--15
-
paths., 17(2)8--8
-
Patnaik, Nikhil, 32(3)60--60
-
Patnaik:2023:SSS, 32(3)60--60
-
Pattabiraman, Karthik, 25(2)12--12
-
Pattabiraman, Karthik, see Alimadadi, Saba
-
pattern, 3(2)166--199, 6(3)250--282, 8(2)115--146, 8(3)284--295,
17(3)16--16, 18(2)5--5, 21(3)15--15, 22(2)10--10, 22(2)14--14,
22(3)23--23, 22(4)33--33, 23(2)15--15, 23(4)32--32, 24(2)7--7,
24(2)12--12, 24(3)14--14, 24(4)25--25, 25(1)2--2, 25(3)26--26,
26(2)8--8, 26(4)13--13, 27(2)5--5, 28(2)11--11, 28(3)15--15,
29(1)7--7, 30(1)3--3, 30(1)5--5, 31(1)3--3, 31(3)45--45, 32(1)10--10,
32(2)43--43, 32(3)70--70, 32(4)96--96
-
Pattern, Design-, 24(3)14--14
-
pattern, design-, 24(3)14--14
-
pattern-based, 25(1)3--3, 28(2)11--11, 28(3)15--15, 32(4)96--96
-
pattern-matching, 9(2)167--198
-
pattern-matching-based, 30(3)26--26
-
pattern-oriented, 22(3)23--23
-
patterns, Anti-, 31(3)45--45
-
Paulweber, Philipp, 30(4)47--47
-
Paulweber:2021:SIT, 30(4)47--47
-
Pavese, Esteban, 25(2)16--16
-
Pavese:2016:LME, 25(2)16--16
-
Pawlitzki, Thomas, 20(1)1--1
-
Pawlitzki, Thomas, see Steimann, Friedrich
-
pay, 9(2)199--237, 27(3)14--14
-
Payer, Mathias, 32(5)132--132, 32(5)133--133
-
Payer, Mathias, see Herrera, Adrian
-
paying, 1(1)95--127
-
payment, 9(4)443--487
-
Payton, Jamie, 19(4)12--12
-
Payton:2010:SSA, 19(4)12--12
-
PBE, 33(1)4--4
-
PBN, 25(1)3--3
-
PCEs, 8(4)343--410
-
PCGMs, 33(3)60--60
-
PCTL, 21(3)18--18
-
PEEL, 6(2)111--140
-
peer, 23(4)35--35, 29(4)26--26
-
Peer, Peer-to-, 30(3)35--35
-
peer-reviewed, 32(2)51--51
-
peer-to-, 29(4)27--27
-
Peer-to-Peer, 30(3)35--35
-
Pei, Yu, 32(1)4--4, 33(3)67--67
-
Pei, Yu, see Pan, Minxue, \see{Zhu, Tingwei
-
Peitek, Norman, 30(1)2--2
-
Peitek, Norman, see Siegmund, Janet
-
pencil-and-paper, 19(4)13--13
-
pendulum, 23(1)6--6
-
Penetration, 31(3)55--55
-
Peng, Xin, 30(2)18--18, 32(6)140--140, 33(2)31--31
-
Peng, Xin, see Chen, Zhenpeng,
see Huang, Qing, \see{Wang, Chong
-
Penta, Massimiliano, Di, 27(3)14--14, 28(4)19--19, 29(4)29--29,
31(2)23--23, 32(3)67--67, 32(3)73--73, 32(4)88--88
-
Penta, Massimiliano DI, 31(1)4--4
-
Penta, Massimiliano DI, see Falessi, Davide
-
Penzenstadler, Birgit, 28(2)9--9
-
Penzenstadler, Birgit, see Wagner, Stefan
-
people, 5(3)191--230, 6(2)111--140, 18(3)10--10, 30(4)42--42,
31(4)67--67, 32(5)112--112, 33(3)80--80
-
per, 17(4)17--17, 24(1)4--4, 24(2)8--8, 24(2)10--10, 24(2)12--12,
32(1)1--1, 33(1)1--1
-
per-object, 20(4)18--18
-
perceive, 24(3)19--19, 32(4)88--88
-
perceived, 3(1)3--28, 28(2)11--11
-
perceiving, 24(3)19--19
-
percent, 3(1)3--28, 9(3)306--337, 23(3)23--23, 23(4)33--33, 28(1)2--2
-
percentage, 7(1)41--79, 18(1)1--1, 22(1)8--8
-
perception, 25(1)10--10, 30(3)37--37, 32(5)124--124, 33(3)64--64
-
perdurant, 28(2)8--8
-
Pérez, Francisca, 32(3)63--63
-
Pérez-Soler, Sara, 33(4)90--90,
see Cañizares, Pablo C.
-
Perez:2023:HQM, 32(3)63--63
-
perfect, 25(1)6--6, 25(3)20--20
-
perfectly, 1(2)135--167, 24(2)11--11, 28(3)16--16
-
perform, 1(1)21--52, 3(4)308--339, 9(3)239--272, 17(2)10--10,
21(4)20--20, 22(1)4--4, 22(1)5--5, 22(4)35--35, 24(1)4--4,
24(3)13--13, 24(3)18--18, 24(3)20--20, 24(4)22--22, 24(4)26--26,
25(1)6--6, 25(2)19--19, 25(3)22--22, 25(4)30--30, 26(1)1--1,
26(3)11--11, 27(4)15--15, 27(4)16--16, 28(1)2--2, 28(4)19--19,
31(1)10--10, 31(3)54--54, 32(1)8--8, 32(2)51--51, 32(6)143--143
-
performance., 17(2)11--11
-
performed, 1(3)310--354, 2(3)203--227, 2(3)270--285, 3(2)101--130,
6(2)173--210, 17(1)4--4, 17(3)15--15, 18(3)12--12, 21(3)18--18,
21(4)24--24, 22(1)5--5, 22(1)6--6, 22(2)15--15, 23(4)29--29,
24(1)1--1, 24(1)6--6, 24(2)10--10, 24(3)13--13, 24(4)23--23,
24(4)26--26, 25(1)9--9, 25(3)23--23, 25(3)24--24, 25(3)27--27,
26(4)13--13, 27(4)15--15, 29(2)11--11, 30(2)13--13, 30(2)25--25,
32(1)3--3, 32(3)74--74
-
performed, well-, 31(3)56--56
-
performing, 8(4)343--410, 17(4)18--18, 21(4)20--20, 23(1)8--8,
23(3)23--23, 23(4)32--32, 23(4)35--35, 25(3)24--24, 28(1)2--2,
28(2)9--9, 32(3)77--77
-
perhaps, 18(3)9--9, 24(3)16--16, 32(5)116--116
-
Perino, Nicolò, 24(3)16--16, see Carzaniga, Antonio
-
period, 3(1)3--28, 25(3)27--27
-
periodic, 4(3)287--317, 28(2)6--6
-
peripheral, 31(2)19--19
-
Permission, 31(2)30--30
-
permissions, 32(1)8--8, 33(1)5--5
-
permit, 2(4)346--378, 7(1)1--40, 9(4)410--442, 18(3)9--9, 25(4)31--31,
32(1)6--6
-
permitted, 22(2)13--13
-
permitting, 8(2)177--212
-
Perry, Dewayne E., 10(3)308--337
-
Perry:2001:PCL, 10(3)308--337
-
persisted, 24(4)23--23
-
persistent, 4(3)221--286, 24(4)25--25
-
person, 29(4)25--25, 33(4)109--109
-
person, four-, 1(1)81--94
-
Person, Suzette, 24(1)3--3
-
Person, Suzette, see Yang, Guowei
-
person-related, 29(4)25--25
-
personal, 18(2)7--7, 23(4)31--31, 27(3)14--14, 32(6)155--155, 33(1)3--3
-
personality, 31(3)42--42
-
personalization, 32(1)2--2
-
personalized, 22(2)12--12
-
personnel, 4(3)221--286, 32(2)43--43
-
perspective, 6(3)250--282, 7(4)368--410, 21(2)13--13, 22(2)13--13,
22(2)14--14, 31(4)66--66, 31(4)67--67, 31(4)81--81, 32(5)108--108,
32(6)156--156, 33(3)60--60, 33(4)109--109
-
pertaining, 10(2)209--254, 23(3)22--22
-
pertinent, 7(2)109--157, 24(2)7--7
-
perturbation, 1(4)422--451, 32(6)150--150, 33(2)42--42
-
pervade, 1(1)95--127
-
pervasive, 18(1)2--2, 18(4)15--15, 19(3)9--9, 22(2)10--10, 24(2)12--12,
29(3)21--21, 31(2)37e_37e, 31(4)61--61
-
Petre, Marian, 31(1)9--9
-
Petre, Marian, see Rauf, Irum
-
Petrenko, Alexandre, 6(3)329--331
-
Petrenko:1997:CRT, 3(3)201--220, 6(3)329--331
-
Petri, 3(4)340--380, 4(2)171--213, 6(3)283--328, 9(1)94--131
-
Petrozziello, Alessio, 27(3)12--12
-
Petrozziello, Alessio, see Sarro, Federica
-
Pex, 23(2)12--12, 23(3)21--21
-
Pezzé, Mauro, 23(4)28--28, 24(4)21--21, 28(3)12--12,
see Harman, Mark, \see{Murphy, Gail C.
-
Pezzè, Mauro, 4(2)171--213, 7(1)80--107, 11(2)149--190, 14(1)42--84,
17(2)6--6, 22(4)28--28, 22(4)30--30, 24(3)16--16, 28(1)1--1,
28(2)6--6, 28(4)19--19, 29(2)8e_8e, 29(3)14e_14e, 30(3)26e_26e,
31(2)18e_18e, 32(1)1--1, 33(1)1--1, 33(4)83--83,
see Baresi, Luciano,
see Carzaniga, Antonio,
see Chang, Hervé,
see Denaro, Giovanni, \see{Felder, Miguel,
see Notkin, David
-
Pezze:1995:GMR, 4(2)171--213
-
Pezze:2019:Ea, 28(2)6--6
-
Pezze:2019:Eb, 28(3)12--12
-
Pezze:2019:Ec, 28(4)19--19
-
Pezze:2019:EIE, 28(1)1--1
-
Pezze:2020:Ea, 29(2)8e_8e
-
Pezze:2020:Eb, 29(3)14e_14e
-
Pezze:2021:E, 30(3)26e_26e
-
Pezze:2022:ERP, 31(2)18e_18e
-
Pezze:2023:EAS, 32(1)1--1
-
Pezze:2024:EII, 33(4)83--83
-
Pezze:2024:ETF, 33(1)1--1
-
Pfahl, Dietmar, 28(2)9--9
-
Pfahl, Dietmar, see Wagner, Stefan
-
Ph, 6(3)329--331
-
phase, 5(3)231--261, 9(1)3--50, 16(4)15--15, 21(3)18--18, 21(4)25--25,
24(1)4--4, 25(3)27--27, 26(2)8--8, 26(4)13--13, 27(2)5--5,
30(3)27--27, 33(4)98--98
-
phase, Multiple-, 33(4)100--100
-
phase, two-, 21(3)18--18, 25(3)27--27
-
PhD, 17(4)19--19, 24(3)14--14
-
phenomena, 18(1)2--2
-
phenomenon, 17(4)17--17, 18(1)2--2, 23(1)5--5, 23(2)18--18, 25(3)24--24
-
Philips, 23(2)18--18
-
philosophers, 26(3)9--9
-
philosophical, 21(4)24--24
-
philosophy, 21(4)24--24, 22(3)27--27, 23(1)5--5
-
phone, 24(3)19--19
-
Phones, 33(2)47--47
-
Phrase-based, 32(5)112--112
-
phrases, 28(3)15--15
-
phselfdestruct, 31(2)30--30
-
Phung, Dinh, 33(3)78--78
-
Phung, Dinh, see Fu, Michael
-
phUnmatched, 31(2)30--30
-
Phyo, Yati, 32(6)151--151
-
Phyo, Yati, see Do, Canh Minh
-
physical, 22(4)29--29, 24(3)19--19, 28(1)1--1, 28(2)8--8, 33(1)18--18
-
Physical, Cyber-, 31(4)79--79, 32(3)73--73, 33(1)18--18
-
physical, Cyber-, 31(4)79--79, 32(1)9--9, 32(5)113--113,
33(2)35--35
-
physical, cyber-, 30(4)53--53, 32(1)9--9, 32(3)67--67,
32(5)113--113
-
physically, 23(2)12--12
-
physicists, 28(2)8--8
-
physics, 28(2)8--8
-
PI, 28(1)5--5
-
Pian, Weiguo, 31(4)77--77
-
Pian, Weiguo, see Tian, Haoye
-
Piantadosi, Valentina, 29(4)29--29
-
Piantadosi, Valentina, see Pantiuchina, Jevgenija
-
Piattini, Mario, 31(4)59--59
-
Piattini, Mario, see Masso, Jhon
-
Picco, Gian Pietro, 7(4)368--410, 10(3)338--395, 15(3)279--328
-
Picco, Gian Pietro, see Jaccheri, Maria Letizia,
see Murphy, Amy L.
-
Picco:2001:RAC, 10(3)338--395
-
PIE, 8(4)343--410
-
piece, 1(3)269--309, 22(1)7--7, 23(3)21--21, 28(3)16--16
-
piecewise, 30(1)9--9
-
Pied-Piper, 32(3)61--61
-
Pierantonio, Alfonso, 3(2)166--199, 28(4)21--21
-
Pierantonio, Alfonso, see De Lara, Juan,
see Parisi-Presicce, Francesco
-
Pierce, Lynn, 2(3)286--303
-
Pierce, Lynn, see Podgurski, Andy
-
Pietrantuono, Roberto, 33(3)74--74
-
Pietrantuono, Roberto, see Giamattei, Luca
-
Pietro, Pierluigi, San, 3(1)56--98, 22(3)20--20
-
Pietro, Pierluigi San, 14(2)124--167
-
Pietro, Pierluigi San, see Berstel, Jean
-
Pietsch, Christopher, 30(2)15--15
-
Pietsch, Christopher, see Ohrndorf, Manuel
-
Pilgun, Aleksandr, 29(4)23--23
-
Pilgun:2020:FGC, 29(4)23--23
-
pilot, 18(2)7--7, 28(2)9--9
-
piloted, 28(2)9--9
-
Pin, 22(4)29--29
-
Pino, Francisco J., 31(4)59--59
-
Pino, Francisco J., see Masso, Jhon
-
Piorkowski, David, 22(2)14--14
-
Piorkowski, David, see Fleming, Scott D.
-
pipelines, 33(4)85--85
-
Piper, Pied-, 32(3)61--61
-
Pipes, 23(3)26--26
-
Pirbhai, 7(1)80--107
-
PIs, 28(1)5--5
-
Pistoia, Marco, 22(4)33--33
-
Pistoia, Marco, see Tateishi, Takaaki
-
Pistore, Marco, 12(4)440--473
-
Pistore, Marco, see Ferrari, Gian-Luigi
-
Piterman, Nir, 22(1)9--9
-
Piterman, Nir, see D'ippolito, Nicolás
-
pitfall, 23(4)29--29, 24(4)24--24, 31(3)40--40
-
pivotal, 33(1)10--10
-
Pizzolotto, Davide, 33(4)107--107
-
Pizzolotto:2024:MDB, 33(4)107--107
-
\pkgLimits, 31(2)30--30
-
PL, Gaia-, 20(4)17--17
-
place, 2(3)203--227, 3(4)308--339, 7(2)158--191, 17(1)3--3, 22(1)7--7,
23(1)5--5, 23(2)16--16, 23(2)18--18, 24(1)5--5, 24(3)19--19,
29(4)27--27
-
Place-Aware, 24(3)19--19
-
place-aware, 24(3)19--19
-
placed, 2(4)379--411, 7(2)158--191, 18(2)6--6, 22(4)32--32, 28(2)8--8
-
placement, 23(1)4--4
-
plague, 22(1)4--4
-
plagued, 24(1)2--2
-
plan, 21(4)20--20, 22(4)28--28
-
plan-driven, 33(2)33--33
-
Planet, 32(5)131--131
-
planning, 23(2)18--18, 25(2)18--18, 27(1)3--3, 30(4)50--50, 31(2)24--24,
32(5)124--124
-
planning-deciding, 31(2)24--24
-
plant, 16(2)9--9, 23(1)6--6, 28(2)8--8
-
Plasticity, 31(4)80--80
-
plateaux, 20(3)12--12
-
platform, 1(3)229--268, 22(1)6--6, 29(2)8--8, 29(2)13--13, 30(1)8--8,
30(1)11--11, 30(3)28--28, 31(3)39--39, 32(1)19--19, 32(1)24--24,
32(3)59--59, 32(3)67--67, 32(4)84--84, 33(1)26--26, 33(4)102--102
-
platform, cross-, 31(3)44--44
-
Platys, 24(3)19--19
-
plausible, 24(4)22--22
-
play, 16(3)12--12, 18(3)10--10, 19(2)4--4, 21(2)12--12, 23(1)2--2,
23(3)24--24, 27(3)13--13, 28(1)2--2, 30(3)36--36, 30(3)37--37,
31(2)35e_35e, 32(4)100--100, 32(6)148--148, 33(1)10--10,
33(1)24--24, 33(2)55--55, 33(3)75--75
-
play-out, 20(4)18--18
-
playing, 33(3)73--73
-
Plein, Laura, 31(2)31--31
-
Plein, Laura, see Keller, Patrick
-
plenty, 32(6)150--150
-
plethora, 28(2)9--9, 32(6)134--134
-
plug-in, 17(1)3--3
-
plugin-based, 21(1)3--3, 32(1)19--19
-
plugins, 32(1)19--19
-
Plun, Jerome Y., 6(3)250--282
-
Plun, Jerome Y., see Roman, Gruia-Catalin
-
Plus, LoGenText-, 33(2)38--38
-
PMs, 28(1)5--5
-
PMT, 31(4)73--73
-
PNG, 21(3)19--19
-
Pobee, Ernest, 30(1)7--7
-
Pobee, Ernest, see Ma, Xiaoxue
-
Podgurski, Andy, 2(3)286--303, 8(3)263--283, 19(2)5--5
-
Podgurski, Andy, see Masri, Wes
-
Podgurski:1993:RRS, 2(3)286--303
-
Podgurski:1999:ESR, 8(3)263--283
-
Pohl, Klaus, 8(4)343--410
-
Pohl:1999:PTP, 8(4)343--410
-
point, 1(4)399--421, 1(4)422--451, 6(3)250--282, 6(4)370--397, 17(2)9--9,
18(3)9--9, 20(2)7--7, 20(4)17--17, 21(2)13--13, 22(3)18--18,
22(3)22--22, 23(1)4--4, 23(1)5--5, 23(1)7--7, 23(2)14--14,
24(4)23--23, 26(2)6--6, 27(3)10--10, 28(1)3--3, 28(1)5--5, 28(2)9--9,
28(2)10--10, 28(3)17--17, 29(3)14--14, 30(2)22--22, 32(5)114--114,
33(3)57--57
-
Point, Floating-, 30(1)9--9
-
point, floating-, 17(2)10--10
-
pointcut, 16(2)7--7, 23(1)7--7
-
pointer, 7(2)158--191, 13(2)199--239, 18(1)3--3, 30(4)46--46,
32(4)101--101
-
pointer, null-, 22(3)18--18
-
pointer-dereferences, NULL-, 22(2)10--10
-
pointers, dangling-, 22(2)10--10
-
pointing, 21(3)19--19
-
points-to, 14(1)1--41, 16(2)8--8, 18(1)3--3, 25(2)18--18, 30(4)46--46
-
Poison, 33(3)62--62
-
Polato, Ivanilton, 32(4)94--94
-
Polato, Ivanilton, see Venturini, Daniel
-
Polese, Giuseppe, 13(4)431--487
-
Polese, Giuseppe, see Costagliola, Gennaro
-
policy, 6(1)80--110, 9(3)273--305, 9(4)410--442, 18(2)5--5, 18(3)9--9,
19(2)6--6, 23(4)35--35, 25(2)13--13, 25(3)22--22, 28(2)10--10,
30(4)42--42, 33(1)10--10
-
policy, five-, 25(3)22--22
-
policy-based, 21(2)11--11
-
policy-specification, 18(3)9--9
-
PoliS, 2(3)203--227, 9(2)167--198
-
Polis, 9(2)167--198
-
Politecnico, 8(1)79--113
-
Pollock, Lori, 30(4)48--48
-
Pollock, Lori, see Chatterjee, Preetha
-
polychronous, 16(2)9--9
-
polyhedra, 23(4)30--30
-
Polylith, 5(4)378--421
-
Polymer, 18(3)9--9
-
polymorphic, 23(1)7--7
-
polynomial, 3(1)29--55, 23(4)30--30, 24(1)5--5
-
polynomial-time, 8(2)177--212, 21(1)1--1
-
polysemes, 18(2)5--5
-
Polyvyanyy, Artem, 25(4)28--28, 29(3)17--17
-
Polyvyanyy:2017:IDP, 25(4)28--28
-
Polyvyanyy:2020:MPR, 29(3)17--17
-
Pombo, Carlos G. Lopez, 17(1)4--4, 23(2)20--20
-
Pombo, Carlos G. Lopez, see Frias, Marcelo F.,
see Moscato, Mariano M.
-
Pombo, Carlos G. López, 14(4)478--526,
see Frias, Marcelo F.
-
Pompeo, Daniele, Di, 31(2)25--25
-
Ponge, Julien, 19(4)11--11
-
Ponge:2010:AAT, 19(4)11--11
-
Pons, Alexander P., 11(3)291--308
-
Pons, Daniel, Barcelona-, 31(3)39--39
-
Pons:2002:TAC, 11(3)291--308
-
Ponzi, 32(5)130--130
-
poor, 23(4)32--32, 30(4)56--56, 32(3)60--60, 33(1)10--10, 33(3)59--59,
33(3)62--62
-
Poore, J. H., 2(1)93--106
-
Poore, J. H., see Whittaker, James A.
-
poorly, 21(4)20--20, 22(3)27--27, 26(1)3--3
-
Popescu, Razvan, 19(3)10--10
-
Popescu, Razvan, see Brogi, Antonio
-
popular, 7(1)80--107, 7(2)192--214, 19(4)13--13, 22(1)8--8, 23(4)32--32,
24(1)4--4, 24(2)8--8, 24(3)16--16, 25(3)26--26, 27(1)2--2,
27(4)16--16, 29(3)20--20, 29(4)26--26, 29(4)30--30, 30(1)1--1,
30(3)31--31, 30(3)37--37, 30(3)39--39, 31(1)2--2, 31(2)32--32,
31(4)62--62, 32(3)59--59, 32(4)93--93, 32(5)119--119, 32(5)123--123,
32(5)125--125, 32(6)139--139, 32(6)160--160, 33(4)90--90
-
popularity, 16(2)7--7, 25(2)12--12, 30(1)8--8, 31(1)15--15, 31(2)32--32,
31(4)79--79, 33(1)14--14, 33(1)26--26, 33(2)50--50, 33(4)101--101
-
popularized, 20(1)1--1
-
Poracle, 33(2)44--44
-
Porisini, Alberto, Coen-, 8(1)79--113, 12(2)107--151
-
ported, 22(1)4--4
-
Porter, Adam, 7(1)41--79, 10(2)184--208
-
Porter, Adam, see Graves, Todd L.
-
Porter:1998:USV, 7(1)41--79
-
portfolio, 22(4)37--37, 24(3)15--15, 29(3)16--16
-
portion, 1(3)310--354, 4(1)3--35, 5(1)63--86, 6(2)173--210, 8(2)147--176,
22(1)4--4
-
ports, 24(1)5--5
-
pose, 3(4)271--307, 10(1)56--109, 23(1)2--2, 28(1)3--3, 28(3)15--15,
29(2)9--9, 30(3)26--26, 32(5)110--110, 32(6)139--139, 33(1)8--8,
33(2)45--45, 33(2)49--49, 33(2)51--51
-
posed, 31(2)36e_36e
-
Poshyvanyk, Denys, 21(4)23--23, 22(4)37--37, 23(1)4--4, 27(3)14--14,
28(4)19--19, 31(2)32--32
-
Poshyvanyk, Denys, see Bavota, Gabriele,
see Linares-Vásquez, Mario,
see Mcmillan, Collin,
see Tufano, Michele, \see{Watson, Cody
-
Poshyvanyk:2012:CLU, 21(4)23--23
-
posing, 23(2)12--12, 33(3)79--79
-
position, 6(3)250--282, 28(2)10--10
-
positional, 10(1)5--55
-
positive, 17(2)8--8, 22(1)5--5, 22(2)10--10, 23(1)8--8, 24(2)7--7,
25(3)22--22, 26(4)12--12, 29(3)16--16, 31(2)30--30, 32(1)8--8
-
positive, false-, 22(2)10--10, 25(2)18--18
-
positively, 20(2)6--6, 21(4)22--22, 25(4)29--29
-
possess, 6(2)141--172
-
possibility, 9(3)306--337, 20(1)1--1, 20(3)13--13, 26(3)9--9, 31(1)3--3
-
possible, 1(2)188--204, 1(3)269--309, 1(4)422--451, 2(2)128--175,
2(3)270--285, 2(4)311--345, 5(3)191--230, 6(1)1--30, 6(1)31--79,
6(1)80--110, 6(3)283--328, 6(4)370--397, 7(1)80--107, 7(3)250--295,
9(3)239--272, 9(3)273--305, 16(2)9--9, 16(4)14--14, 17(1)2--2,
17(3)16--16, 17(4)19--19, 19(4)12--12, 20(2)4--4, 20(3)11--11,
20(4)14--14, 21(3)14--14, 21(4)21--21, 22(3)26--26, 23(3)24--24,
23(4)29--29, 23(4)31--31, 23(4)34--34, 24(1)5--5, 24(1)6--6,
24(2)7--7, 24(4)24--24, 25(1)4--4, 25(4)28--28, 26(4)13--13,
26(4)14--14, 27(2)6--6, 27(3)13--13, 28(1)4--4, 31(4)80--80,
32(6)136--136
-
possibly, 1(3)269--309, 4(1)3--35, 8(1)1--48, 19(2)5--5, 22(1)5--5,
24(3)16--16, 27(4)18--18, 28(1)3--3, 29(4)28--28, 33(3)60--60
-
Post, 30(4)48--48
-
post-conditions, 3(3)221--253, 4(2)109--145, 6(4)333--369, 9(1)3--50
-
post-deployment, 21(1)2--2
-
post-release, 17(4)17--17
-
Post-training, 33(3)61--61
-
postconditions, 6(4)333--369
-
posted, 30(1)8--8
-
posteriori, 25(4)31--31, 28(4)20--20
-
PostgreSQL, 25(1)2--2, 25(1)8--8
-
posts, 25(4)29--29, 30(1)8--8, 32(2)43--43, 32(3)80--80, 33(3)69--69
-
potential, 3(1)3--28, 4(3)221--286, 6(2)111--140, 6(4)370--397,
9(2)199--237, 10(2)149--183, 17(1)2--2, 17(2)9--9, 17(4)18--18,
18(4)13--13, 20(2)4--4, 20(4)16--16, 21(3)19--19, 22(2)10--10,
22(3)22--22, 22(4)35--35, 23(2)17--17, 23(4)29--29, 23(4)32--32,
25(3)27--27, 25(4)30--30, 27(3)11--11, 27(4)18--18, 28(2)9--9,
28(3)13--13, 28(4)19--19, 29(4)27--27, 30(1)2--2, 30(3)26--26,
31(1)13--13, 31(2)36e_36e, 32(5)112--112, 32(6)141--141,
33(3)66--66
-
potentially, 2(3)270--285, 3(1)3--28, 6(3)250--282, 9(4)379--409,
17(4)18--18, 18(4)14--14, 19(2)6--6, 21(3)14--14, 21(4)23--23,
23(1)10--10, 24(3)19--19, 25(4)30--30, 28(1)5--5, 29(2)13--13,
32(3)77--77, 32(3)78--78, 33(1)13--13
-
Potter, Hugh D., 28(2)6--6
-
Potter, Hugh D., see Ellis, Samuel J.
-
power, 5(1)42--62, 6(2)141--172, 16(2)9--9, 18(1)2--2, 21(1)5--5,
21(2)12--12, 21(4)22--22, 22(1)6--6, 24(1)5--5, 24(2)11--11,
26(1)5--5, 27(2)6--6, 27(3)14--14, 28(3)16--16, 28(4)21--21,
30(2)20--20, 30(3)26--26, 30(3)28--28, 32(1)13--13, 33(3)79--79
-
power-analysis-based, 24(2)11--11
-
Powered, 33(1)26--26
-
Powered, Blockchain-, 30(3)28--28
-
powered, blockchain-, 32(3)59--59
-
powered, Emoji-, 30(2)18--18
-
powerful, 1(1)95--127, 2(3)203--227, 9(1)51--93, 9(4)488--528,
20(4)17--17, 22(1)8--8, 22(2)13--13, 22(3)24--24, 23(3)21--21,
23(4)32--32, 24(1)4--4, 24(1)5--5, 32(6)156--156
-
pp, 7(3)333--334, 7(4)449--449
-
practical, 2(4)379--411, 4(1)65--106, 4(2)171--213, 7(3)215--249,
8(2)177--212, 10(2)184--208, 17(3)14--14, 18(2)4--4, 18(2)6--6,
19(4)12--12, 20(1)3--3, 21(4)24--24, 22(2)11--11, 22(3)23--23,
23(2)19--19, 24(2)8--8, 24(2)11--11, 24(4)23--23, 24(4)24--24,
25(2)14--14, 26(1)4--4, 28(2)10--10, 28(3)14--14, 29(2)11--11,
29(4)30--30, 30(1)9--9, 31(2)26--26, 31(3)47--47, 32(5)129--129,
32(6)158--158, 33(1)2--2, 33(1)17--17, 33(1)22--22, 33(3)72--72,
33(3)73--73
-
practically, 22(2)15--15, 33(1)13--13
-
practice, 1(4)399--421, 5(4)334--377, 6(3)283--328, 7(1)80--107,
8(1)79--113, 9(4)410--442, 14(4)383--430, 17(2)11--11, 18(1)2--2,
18(3)11--11, 20(1)2--2, 21(2)9--9, 21(4)20--20, 22(1)6--6, 22(1)7--7,
22(3)27--27, 23(2)18--18, 23(4)31--31, 24(1)3--3, 24(2)8--8,
24(2)12--12, 24(3)13--13, 25(1)8--8, 25(2)18--18, 25(3)22--22,
27(3)10--10, 28(1)2--2, 28(1)3--3, 28(2)7--7, 28(2)9--9, 28(3)13--13,
30(1)4--4, 30(2)20--20, 30(2)21--21, 30(2)24--24, 30(2)25--25,
30(4)42--42, 31(1)3--3, 31(2)23--23, 31(3)49--49, 31(3)55--55,
31(4)57--57, 31(4)66--66, 31(4)71--71, 32(1)16--16, 32(2)45--45,
32(2)48--48, 32(3)73--73, 32(4)93--93, 32(4)107--107, 32(6)136--136,
33(3)59--59, 33(4)91--91, 33(4)95--95, 33(4)99--99
-
practice-Google, 32(4)93--93
-
practiced, 31(1)6--6
-
Practitioner, 31(4)66--66
-
practitioners, 7(2)158--191, 20(1)2--2, 22(3)21--21, 22(3)27--27,
23(2)16--16, 24(2)12--12, 24(4)23--23, 27(4)18--18, 28(2)9--9,
30(4)54--54, 31(1)16--16, 31(3)53--53, 31(4)81--81, 32(3)69--69,
32(4)107--107, 32(5)108--108, 32(6)141--141, 32(6)146--146,
33(3)80--80, 33(4)88--88
-
practitioners-have, 33(3)80--80
-
Pradella, Matteo, 12(2)107--151, 22(3)20--20
-
Pradella, Matteo, see Coen-Porisini, Alberto
-
Pradella:2013:BSC, 22(3)20--20
-
Pradhan, Dipesh, 29(2)10--10
-
Pradhan, Dipesh, see Ali, Shaukat
-
pragmatic, 1(2)135--167, 6(3)250--282, 21(4)20--20, 23(4)31--31,
24(1)1--1, 30(1)9--9
-
pragmatic-reuse, 21(4)20--20
-
pragmatically, 4(2)171--213
-
pre, 3(3)221--253, 4(2)109--145, 6(4)333--369, 9(1)3--50
-
pre-fill, 32(2)47--47
-
Pre-implementation, 32(6)157--157
-
pre-release, 31(4)80--80
-
Pre-Trained, 32(3)69--69
-
pre-trained, 32(3)69--69, 32(6)143--143, 33(3)60--60, 33(3)72--72
-
Pre-Training, 31(3)52--52
-
precedence, 2(4)346--378
-
preceding, 18(2)7--7, 28(2)10--10
-
PRecise, 28(4)23--23
-
precise, 3(1)29--55, 6(1)1--30, 6(2)173--210, 6(4)333--369, 6(4)370--397,
10(2)149--183, 16(2)8--8, 17(2)9--9, 18(1)3--3, 19(4)12--12,
20(2)4--4, 21(2)8--8, 21(4)21--21, 21(4)22--22, 22(3)17--17,
22(3)24--24, 23(4)32--32, 24(1)3--3, 24(1)4--4, 24(2)7--7,
24(3)13--13, 24(3)15--15, 24(4)24--24, 25(1)3--3, 25(1)9--9,
25(2)18--18, 25(2)19--19, 26(2)8--8, 27(3)11--11, 28(1)4--4,
28(3)13--13, 28(4)23--23, 29(3)14--14, 32(2)34--34, 32(3)62--62,
32(3)66--66
-
precisely, 1(2)168--187, 4(4)319--364, 8(2)177--212, 10(1)5--55,
17(2)9--9, 21(2)8--8, 22(3)17--17, 23(2)15--15, 30(3)26--26
-
precision, 2(3)286--303, 3(1)29--55, 8(3)215--262, 8(4)425--472,
10(2)149--183, 17(2)8--8, 17(2)9--9, 18(1)3--3, 20(3)10--10,
20(4)19--19, 22(3)17--17, 22(3)18--18, 22(4)37--37, 23(3)26--26,
24(1)3--3, 24(1)4--4, 24(1)6--6, 24(3)15--15, 24(4)24--24,
25(2)16--16, 25(2)19--19, 25(3)20--20, 25(3)22--22, 25(4)29--29,
28(1)4--4, 29(3)17--17, 32(4)101--101
-
Precision-Preserving, 30(4)46--46
-
preconceptions, 25(3)26--26
-
precondition, 31(1)4--4
-
predecessor, 31(2)30--30
-
predefined, 23(4)30--30, 23(4)32--32, 25(4)28--28, 27(2)6--6, 28(1)3--3
-
predicate, 1(4)422--451, 2(4)379--411, 4(3)221--286, 6(4)333--369,
8(4)411--424, 18(3)11--11, 24(4)22--22
-
predict, 8(2)147--176, 19(2)4--4, 22(2)12--12, 22(4)30--30, 24(3)20--20,
25(4)29--29, 26(1)3--3, 27(1)1--1, 28(2)7--7, 30(2)23--23,
33(4)87--87, 33(4)105--105
-
predictable, 33(2)54--54
-
predicted, 24(2)7--7, 25(1)4--4, 27(4)17--17, 28(1)1--1
-
predicting, 5(3)262--292, 18(3)12--12, 26(1)3--3, 28(4)19--19,
29(2)13--13, 30(3)33--33, 31(4)77--77, 32(5)116--116, 32(6)141--141,
33(3)58--58
-
prediction, 16(4)15--15, 17(2)8--8, 17(4)20--20, 22(1)7--7, 22(2)12--12,
22(4)30--30, 23(1)10--10, 24(1)6--6, 24(3)20--20, 25(1)3--3,
25(4)29--29, 26(1)3--3, 27(1)1--1, 28(1)5--5, 28(3)15--15,
30(2)23--23, 30(2)25--25, 31(1)4--4, 31(4)76--76, 31(4)79--79,
32(2)30--30, 32(2)46--46, 32(4)92--92, 32(5)128--128, 32(6)148--148,
32(6)157--157, 33(4)85--85, 33(4)98--98, 33(4)105--105
-
prediction, mis-, 29(3)14--14
-
predictive, 22(1)8--8, 24(2)7--7, 28(1)5--5, 31(3)56--56, 31(4)73--73
-
predictively, 22(2)10--10
-
predictor, 16(2)8--8, 28(1)5--5, 33(3)58--58
-
predominant, 24(2)8--8, 32(1)9--9
-
preempting, 24(3)16--16
-
preexisting, 25(4)28--28
-
prefer, 1(4)399--421
-
preference, 5(3)191--230, 16(3)12--12, 25(2)17--17, 32(1)4--4, 33(1)3--3
-
Preference-wise, 32(1)4--4
-
preferred, 23(4)31--31
-
preliminary, 4(1)65--106, 27(2)7--7
-
prematurely, 6(1)80--110, 28(3)17--17
-
premise, 23(2)17--17
-
preparation, 32(5)111--111, 33(1)25--25
-
preparing, 29(1)6--6
-
preprocessing, 22(3)24--24
-
preprocessor, 6(4)398--441
-
prerequisite, 28(1)3--3, 28(4)21--21, 29(2)11--11, 31(1)5--5,
33(2)31--31
-
Presburger, 9(1)3--50
-
prescriptions, 30(2)12--12
-
presence, 1(1)95--127, 7(4)335--367, 8(2)147--176, 9(3)306--337,
9(4)379--409, 11(4)427--448, 13(2)199--239, 17(2)9--9, 18(4)14--14,
19(1)1--1, 20(3)12--12, 21(2)8--8, 24(1)1--1, 26(1)1--1, 28(1)1--1,
30(1)9--9, 31(1)17--17, 32(1)5--5, 32(2)38--38, 32(6)147--147
-
Presentation, 7(1)1--40, 9(3)273--305
-
presented, 1(4)399--421, 3(1)29--55, 3(4)308--339, 5(2)87--98,
5(3)231--261, 8(3)215--262, 8(3)263--283, 8(4)411--424,
8(4)425--472, 16(3)11--11, 17(1)2--2, 17(2)10--10, 18(3)10--10,
18(3)11--11, 19(1)2--2, 20(4)16--16, 21(4)23--23, 22(4)33--33,
23(1)3--3, 23(2)18--18, 23(3)24--24, 24(3)20--20, 25(1)8--8,
25(1)9--9, 25(2)19--19, 25(4)28--28, 28(1)2--2, 28(2)8--8,
32(3)56--56
-
presenting, 16(3)11--11, 21(2)10--10, 22(1)8--8, 22(4)35--35, 23(1)6--6
-
preservation, 21(2)9--9, 33(2)44--44
-
preserve, 10(1)56--109, 16(3)12--12, 19(1)3--3, 24(3)17--17, 25(3)23--23,
25(3)27--27
-
preserved, 1(3)310--354, 4(1)3--35, 8(1)1--48, 22(1)8--8, 23(2)15--15
-
preserving, 1(3)229--268, 2(3)228--269, 21(1)5--5, 22(1)6--6,
22(4)34--34, 24(3)19--19, 25(3)23--23, 27(4)17--17
-
preserving, behavior-, 31(2)23--23
-
preserving, meaning-, 2(3)228--269, 7(2)109--157, 21(3)15--15
-
Preserving, Precision-, 30(4)46--46
-
preserving, semantic-, 19(4)11--11
-
preserving, semantics-, 1(3)310--354
-
preserving, variant-, 28(3)13--13
-
Presicce, Francesco, Parisi-, 3(2)166--199
-
pressing, 31(3)54--54, 32(6)134--134
-
pressure, 23(1)3--3, 32(3)64--64
-
presuppose, 7(3)215--249
-
prevailing, 17(2)11--11
-
prevalence, 23(1)8--8, 25(1)2--2, 31(4)75--75
-
prevalent, 5(4)378--421, 18(3)11--11, 23(1)8--8, 30(1)2--2, 32(1)8--8
-
prevent, 6(1)80--110, 22(3)21--21, 22(4)29--29, 23(4)29--29, 25(2)14--14,
25(3)20--20, 30(1)9--9, 32(4)82--82
-
preventing, 9(3)239--272, 26(3)11--11, 31(1)3--3
-
previous, 1(1)53--80, 6(3)329--331, 7(1)41--79, 7(4)335--367,
16(3)10--10, 17(4)20--20, 18(2)7--7, 18(3)10--10, 21(1)4--4,
22(2)10--10, 22(3)17--17, 22(3)19--19, 22(3)23--23, 22(4)31--31,
24(4)22--22, 24(4)24--24, 25(1)7--7, 25(2)17--17, 25(3)21--21,
26(1)2--2, 26(1)4--4, 26(4)13--13, 26(4)14--14, 28(3)15--15,
29(4)29--29, 31(2)25--25, 32(5)113--113, 32(5)123--123
-
previously, 1(4)422--451, 4(1)36--64, 5(2)87--98, 7(3)333--334,
10(2)184--208, 17(1)3--3, 18(1)2--2, 21(4)20--20, 21(4)21--21,
22(4)33--33, 25(1)3--3, 25(2)19--19, 25(3)23--23
-
PRI, 23(3)22--22
-
Prifling, Benedikt, 33(1)10--10
-
Prifling, Benedikt, see Clark, Andrew G.
-
Prikladnicki, Rafael, 28(2)9--9
-
Prikladnicki, Rafael, see Wagner, Stefan
-
primarily, 4(1)65--106, 28(2)8--8, 32(1)8--8
-
PRIMARY, 25(1)8--8
-
primary, 2(1)47--92, 4(2)171--213, 24(2)12--12, 28(2)6--6, 28(2)8--8,
30(2)15--15, 31(3)56--56, 32(5)133--133, 33(4)99--99
-
PRIME, 8(4)343--410
-
PrIMe, 20(3)8--8
-
PRIME-based, 8(4)343--410
-
primitives, 22(1)4--4, 22(2)15--15
-
PRINCE, 28(4)23--23
-
principals, 9(4)410--442
-
principle, 2(2)128--175, 5(3)191--230, 9(3)273--305, 22(2)14--14,
22(3)22--22, 26(3)9--9, 28(2)8--8, 28(3)13--13, 30(4)50--50
-
principled, 19(2)6--6
-
Prins, 4(1)3--35
-
Prins-Reps, Horwitz-, 4(1)3--35
-
printed, 33(2)38--38
-
prints, 17(3)14--14
-
prior, 1(1)81--94, 5(1)63--86, 20(2)6--6, 22(3)22--22, 25(1)3--3,
25(1)4--4, 26(1)2--2, 26(3)11--11, 28(3)16--16, 29(3)16--16,
30(2)22--22, 31(1)11--11, 32(1)8--8, 32(1)18--18, 32(4)86--86,
32(6)152--152
-
priori, 16(4)15--15, 21(3)18--18
-
prioritisation, 32(1)21--21
-
prioritization, 22(3)19--19, 24(2)10--10, 25(1)6--6, 30(1)4--4,
31(1)8--8, 32(2)28--28, 32(3)72--72, 33(1)22--22
-
prioritize, 24(2)10--10, 25(1)6--6, 29(4)24--24, 31(1)4--4, 31(3)55--55,
32(2)43--43, 33(2)36--36
-
prioritizing, 25(1)6--6
-
priority, 1(2)168--187, 3(2)101--130, 22(4)36--36, 28(2)10--10,
31(3)45--45
-
PRISM, 21(3)18--18
-
privacy, 9(4)410--442, 24(3)19--19, 25(3)22--22, 32(1)2--2, 33(1)21--21
-
private, 25(2)13--13, 32(6)155--155
-
privilege, 9(4)341--378, 29(3)16--16
-
Pro, Asteria-, 33(1)1--1
-
Proactive, 31(3)46--46
-
probabilistic, 2(3)286--303, 21(3)18--18, 23(1)4--4, 25(2)16--16,
25(3)21--21, 27(1)4--4, 28(1)5--5, 28(2)6--6, 32(2)37--37,
33(2)32--32
-
probabilistically, 25(2)16--16
-
probability, 2(1)93--106, 4(1)36--64, 21(3)18--18, 25(1)6--6, 27(2)7--7,
28(1)1--1, 32(2)43--43
-
Probable, 31(3)34--34
-
probably, 22(3)21--21
-
probing, 23(2)18--18
-
problem-driven, 28(2)9--9
-
problematic, 33(1)3--3
-
Problematizing, 33(2)33--33
-
procedural, 6(2)141--172
-
procedural, inter-, 24(3)15--15
-
procedural, intra-, 26(3)10--10
-
procedure, 2(1)93--106, 2(2)109--127, 2(4)346--378, 3(1)29--55,
4(1)3--35, 4(2)109--145, 4(2)171--213, 5(3)191--230, 6(1)80--110,
6(2)141--172, 6(2)173--210, 7(4)411--448, 8(2)177--212,
8(4)343--410, 10(2)209--254, 17(4)19--19, 20(1)1--1, 20(4)14--14,
21(4)22--22, 22(3)25--25, 22(3)26--26, 23(3)24--24, 23(4)34--34,
24(3)15--15, 25(1)6--6, 28(4)21--21, 31(2)29--29, 31(3)37--37,
32(5)122--122, 33(1)11--11
-
procedures--which, 6(2)141--172
-
proceeded, 28(3)14--14
-
Process, In-, 31(3)35--35
-
process, multiple-, 4(3)221--286
-
process-aware, 8(4)343--410
-
process-centered, 5(3)191--230, 6(3)283--328, 8(4)343--410
-
process-integrated, 8(4)343--410
-
process-modeling, 8(4)343--410
-
process-oriented, 4(3)287--317, 19(1)2--2
-
process-related, 16(4)15--15
-
process-sensitive, 8(4)343--410
-
processed, 3(1)3--28, 3(1)29--55
-
processing, 3(1)3--28, 3(1)29--55, 4(2)214--216, 4(3)287--317,
17(4)19--19, 19(2)6--6, 19(4)12--12, 25(1)10--10, 25(3)27--27,
26(1)1--1, 26(1)5--5, 26(4)12--12, 28(1)4--4, 31(2)31--31,
31(3)50--50, 31(4)60--60, 32(1)2--2, 32(3)59--59, 32(4)104--104,
33(3)62--62, 33(3)65--65, 33(3)68--68
-
processors, 1(3)310--354, 2(4)311--345, 3(1)3--28, 3(1)29--55, 4(1)3--35,
4(2)214--216, 4(2)217--219, 5(1)42--62, 5(3)262--292, 7(2)158--191,
8(2)177--212, 9(4)379--409, 10(1)5--55, 10(2)209--254, 27(3)14--14
-
produce, 2(2)109--127, 2(3)270--285, 5(3)231--261, 6(3)283--328,
10(1)5--55, 17(4)18--18, 18(4)14--14, 20(2)5--5, 20(3)8--8,
22(2)11--11, 22(3)26--26, 22(4)32--32, 22(4)35--35, 23(1)8--8,
24(2)8--8, 24(3)19--19, 24(4)22--22, 25(1)9--9, 25(1)10--10,
25(2)14--14, 25(2)16--16, 25(2)18--18, 25(3)20--20, 26(1)1--1,
27(3)14--14, 27(4)15--15, 28(1)5--5, 28(3)13--13, 29(4)28--28,
31(2)31--31, 31(3)50--50, 32(2)43--43, 32(3)64--64, 32(4)96--96
-
produce, re-, 32(3)56--56
-
produced, 2(2)109--127, 5(3)262--292, 6(1)1--30, 6(4)370--397,
10(1)56--109, 20(2)6--6, 23(2)13--13, 23(3)21--21, 23(4)29--29,
24(1)2--2, 24(1)6--6, 24(4)23--23, 26(1)5--5, 29(2)10--10,
30(4)54--54, 31(4)67--67, 33(3)76--76
-
producing, 20(1)3--3, 22(3)17--17, 23(2)20--20, 24(4)22--22,
31(2)36e_36e, 32(3)60--60
-
product, 1(1)53--80, 4(3)221--286, 5(3)191--230, 6(3)283--328,
7(4)368--410, 7(4)411--448, 8(3)284--295, 17(3)13--13, 17(4)17--17,
18(3)12--12, 20(4)17--17, 21(3)14--14, 22(4)36--36, 23(3)25--25,
24(3)17--17, 25(2)17--17, 26(4)14--14, 27(2)8--8, 29(1)2--2,
30(3)34--34, 30(4)53--53, 33(1)7--7, 33(2)46--46, 33(4)87--87,
33(4)88--88
-
product, by-, 24(3)16--16
-
Product, Gaia-, 20(4)17--17
-
product-family, 17(3)13--13
-
product-line, 21(3)14--14, 30(3)34--34
-
product-line-aware, 21(3)14--14
-
product-lines, 11(2)191--214
-
production, 1(1)81--94, 1(2)135--167, 9(1)94--131, 21(1)2--2,
22(2)10--10, 23(1)3--3, 23(3)25--25, 24(3)18--18, 31(1)5--5,
31(2)18--18, 32(1)6--6, 32(2)41--41, 32(6)152--152, 33(1)2--2
-
production-test, 32(6)152--152
-
productivity, 7(4)411--448, 8(4)297--342, 18(3)12--12, 20(2)6--6,
23(1)2--2, 24(1)4--4, 25(2)13--13, 25(3)26--26, 29(3)16--16,
30(3)30--30, 32(1)8--8, 33(3)57--57, 33(3)82--82
-
professional, 17(4)20--20, 23(2)13--13, 23(4)31--31, 24(3)14--14,
26(2)6--6, 30(3)37--37
-
profile, 8(3)215--262, 8(3)263--283, 8(4)425--472, 24(1)1--1,
25(3)27--27, 26(2)7--7
-
profiler, 29(1)6--6
-
profiling, 22(3)17--17, 22(4)29--29, 23(3)23--23, 25(2)14--14,
25(3)27--27
-
program, Whole-, 30(3)32--32
-
program-analysis, 28(3)13--13
-
Program-dependence, 10(2)209--254
-
program-describing, 22(4)32--32
-
program-integration, 1(3)310--354
-
programmable, 1(1)21--52, 4(3)221--286
-
PROgrammed, 1(2)135--167
-
programmed, 28(2)6--6
-
programmer, 1(3)310--354, 2(4)311--345, 4(1)3--35, 6(1)80--110,
7(2)109--157, 8(4)297--342, 9(3)306--337, 16(4)14--14, 17(3)14--14,
18(1)1--1, 18(4)15--15, 21(1)3--3, 21(3)15--15, 21(4)23--23,
22(4)37--37, 23(3)23--23, 23(3)26--26, 23(4)29--29, 24(1)4--4,
24(3)18--18, 25(1)2--2, 25(4)29--29, 27(2)6--6, 31(3)39--39,
32(2)40--40, 32(5)120--120, 32(6)147--147
-
programmer-provided, 23(3)26--26
-
programmers., 17(3)14--14
-
programming, logic-, 2(3)203--227
-
programming-language-semantics, 21(3)15--15
-
programming-related, 29(4)26--26, 32(3)80--80
-
programming/development, 2(2)176--201
-
programming/testing, 24(2)10--10
-
Prograph, 18(1)1--1
-
PROGRESS, 1(2)135--167
-
progress, 2(2)176--201, 9(1)3--50, 17(1)2--2, 24(4)24--24, 27(1)1--1,
30(1)9--9, 32(3)56--56, 32(3)79--79, 32(5)115--115, 32(6)145--145
-
progressed, 27(1)1--1, 30(4)45--45, 33(2)36--36
-
progressive, 26(2)8--8
-
progressively, 8(3)215--262, 8(4)425--472
-
prohibiting, scalability-, 26(4)12--12
-
prohibitive, 25(2)16--16
-
prohibitively, 22(4)32--32, 25(4)30--30
-
prohibits, 7(4)335--367
-
Project, Cross-, 27(1)1--1
-
project, cross-, 27(1)1--1, 28(3)15--15
-
projections, 25(2)14--14
-
projectwide, 1(1)95--127
-
Proksch, Sebastian, 25(1)3--3
-
Proksch:2015:ICC, 25(1)3--3
-
proliferate, 1(2)168--187, 33(1)1--1
-
proliferation, 26(4)12--12, 28(4)19--19, 30(3)29--29
-
Prolog, 2(3)203--227
-
ProM, 25(4)28--28
-
Promela, 26(4)13--13
-
prominent, 23(1)2--2, 31(4)80--80
-
promise, 31(1)3--3, 31(2)29--29, 31(3)48--48, 33(1)2--2, 33(4)98--98
-
promising, 5(4)334--377, 8(1)49--78, 8(1)79--113, 16(2)9--9, 17(2)11--11,
22(4)35--35, 23(1)8--8, 23(3)24--24, 24(4)26--26, 25(2)17--17,
25(3)21--21, 26(1)5--5, 26(4)14--14, 27(1)1--1, 27(4)18--18,
28(1)4--4, 28(3)13--13, 28(3)17--17, 29(1)5--5, 30(2)21--21,
31(1)3--3, 32(3)58--58, 32(4)96--96, 33(1)22--22, 33(2)37--37,
33(2)43--43, 33(3)65--65
-
PROMO, 7(1)1--40
-
Promo, 7(1)1--40
-
promote, 18(2)6--6, 18(4)15--15, 23(3)24--24, 24(2)12--12, 25(1)6--6,
25(3)20--20, 27(4)17--17
-
promoted, 32(5)130--130
-
Prompt-tuned, 33(1)6--6, 33(2)31--31
-
promptly, 32(2)30--30
-
prompts, 25(2)13--13
-
prone, 5(1)42--62, 7(3)215--249, 18(2)4--4, 22(4)29--29, 23(3)25--25,
24(2)11--11, 27(3)13--13, 31(2)36e_36e, 33(4)105--105
-
prone, defect-, 27(1)1--1
-
prone, erroneous-, 32(5)129--129
-
prone, error-, 2(3)228--269, 9(4)488--528, 19(4)13--13,
23(1)9--9, 25(1)10--10, 30(3)26--26, 32(1)8--8, 32(2)47--47,
32(3)57--57, 33(4)102--102
-
Prone?, Fault-, 30(3)29--29
-
prone, fault-, 23(4)33--33
-
proneness, error-, 32(1)8--8
-
proneness, fault-, 23(1)10--10, 23(4)33--33
-
proof, 1(1)81--94, 3(1)56--98, 3(4)271--307, 6(1)31--79, 6(3)250--282,
7(4)335--367, 8(2)115--146, 9(4)379--409, 11(1)63--91, 19(4)13--13,
20(3)13--13, 20(4)15--15, 21(3)17--17, 21(4)24--24, 22(2)15--15,
22(4)34--34, 23(2)20--20, 26(1)4--4, 27(2)6--6, 28(3)14--14
-
proof, tamper-, 30(3)35--35
-
proof-checking, 3(2)131--165
-
proof-linking, 9(4)379--409
-
proof-of-concept, 6(2)111--140, 21(2)10--10, 23(1)2--2
-
propagate, 3(1)29--55, 6(4)398--441
-
propagated, 18(4)15--15, 23(1)8--8
-
propagation, 2(1)47--92, 4(3)287--317, 22(3)24--24, 30(2)19--19,
32(6)155--155
-
propagation, error-, 22(2)10--10
-
propagation, similarity-, 28(3)13--13
-
proper, 22(3)22--22, 22(4)29--29, 23(1)2--2, 28(4)20--20
-
properly, 10(2)209--254, 22(4)29--29
-
property-based, 29(4)28--28
-
property-dependent, 21(3)18--18
-
proportion, 29(3)16--16, 30(2)12--12
-
proportional, 1(3)205--228
-
proposal, 8(3)284--295, 23(1)7--7, 24(1)6--6, 24(2)9--9, 27(3)12--12,
31(2)23--23
-
proposed, 1(4)422--451, 2(3)286--303, 4(2)171--213, 7(3)250--295,
9(1)3--50, 10(2)184--208, 17(2)7--7, 19(2)4--4, 20(1)1--1,
20(3)11--11, 21(2)8--8, 21(3)17--17, 21(3)18--18, 21(4)22--22,
21(4)23--23, 22(1)5--5, 22(2)12--12, 22(3)17--17, 22(3)22--22,
22(3)25--25, 22(4)32--32, 23(1)10--10, 23(2)12--12, 24(1)1--1,
24(1)2--2, 24(2)11--11, 24(3)16--16, 25(1)3--3, 25(1)5--5, 25(1)6--6,
25(2)17--17, 25(3)23--23, 25(3)24--24, 26(1)1--1, 26(1)3--3,
26(1)5--5, 26(2)8--8, 26(3)10--10, 27(1)1--1, 27(1)2--2, 27(3)12--12,
27(3)13--13, 27(4)15--15, 27(4)16--16, 28(1)2--2, 28(3)15--15,
28(4)20--20, 30(4)47--47, 31(1)12--12, 31(2)25--25, 31(3)48--48,
31(4)73--73, 31(4)76--76, 32(2)47--47, 32(2)49--49, 32(3)60--60,
32(3)75--75, 32(4)97--97, 32(5)126--126, 32(5)127--127,
32(6)134--134, 32(6)143--143, 33(1)23--23, 33(2)41--41, 33(2)55--55,
33(3)61--61, 33(4)84--84
-
Proposers, 24(2)12--12
-
proposing, 6(1)1--30, 21(4)23--23, 21(4)24--24, 32(2)51--51
-
proposition, 24(3)18--18, 28(2)9--9
-
propositional, 2(4)346--378, 23(2)20--20
-
prospective, 25(3)22--22, 31(2)18e_18e
-
protect, 9(4)379--409, 22(1)4--4
-
protected, 9(1)51--93
-
protecting, 9(4)410--442, 31(1)13--13, 31(2)35e_35e, 32(6)149--149,
33(4)108--108
-
protection, 9(4)341--378, 9(4)410--442, 9(4)443--487, 9(4)488--528
-
protocol, 1(4)355--398, 2(1)1--46, 2(1)47--92, 3(3)201--220,
6(3)213--249, 6(3)250--282, 6(3)329--331, 8(2)115--146,
8(4)343--410, 9(1)3--50, 9(2)133--166, 9(4)379--409, 9(4)443--487,
9(4)488--528, 16(3)12--12, 19(2)6--6, 19(4)11--11, 19(4)12--12,
22(2)15--15, 23(4)29--29, 24(2)9--9, 27(2)6--6, 28(1)3--3,
28(4)24--24, 30(2)12--12, 32(1)3--3, 32(5)122--122, 33(4)108--108
-
protocol-testing, 6(3)329--331
-
prototype, 1(1)21--52, 1(1)81--94, 1(3)205--228, 1(3)269--309,
2(3)228--269, 3(2)101--130, 4(3)221--286, 6(1)31--79, 6(2)111--140,
9(1)51--93, 9(4)341--378, 16(4)14--14, 17(3)14--14, 19(4)13--13,
22(4)29--29, 24(2)8--8
-
prototyping, 1(3)269--309, 9(2)199--237, 18(2)4--4, 28(2)9--9
-
prototyping**, 1(3)269--309, 1(4)355--398
-
prove, 3(2)131--165, 6(2)173--210, 6(3)329--331, 7(3)250--295, 16(2)7--7,
18(3)9--9, 21(3)14--14, 21(3)18--18, 22(3)23--23, 23(3)24--24,
23(4)34--34, 24(1)5--5, 25(4)30--30, 26(1)4--4, 26(2)8--8, 27(2)6--6,
32(4)103--103, 33(3)76--76
-
proved, 4(1)36--64, 9(1)3--50, 9(1)94--131, 24(1)3--3, 26(1)4--4
-
proven, 22(2)14--14, 22(3)23--23, 27(2)6--6, 32(6)158--158
-
provenance, 20(3)8--8
-
provenance-aware, 20(3)8--8
-
prover, 6(1)31--79, 6(4)333--369, 19(4)13--13, 22(4)33--33
-
provided, 1(3)269--309, 2(2)128--175, 2(3)286--303, 3(2)101--130,
3(4)308--339, 5(3)191--230, 8(3)215--262, 8(4)425--472, 9(1)3--50,
9(3)239--272, 9(4)443--487, 17(1)2--2, 17(2)10--10, 17(3)15--15,
20(1)3--3, 20(2)5--5, 20(4)17--17, 21(4)24--24, 22(2)15--15,
22(4)31--31, 23(2)15--15, 23(3)24--24, 24(3)14--14, 24(3)17--17,
24(4)24--24, 25(3)23--23, 31(2)30--30, 32(1)4--4, 32(6)161--161
-
provided, programmer-, 23(3)26--26
-
provided, user-, 23(2)20--20, 33(1)4--4
-
provided--based, 2(3)228--269
-
providing, 1(3)269--309, 2(2)176--201, 3(2)131--165, 3(4)308--339,
4(4)319--364, 6(3)283--328, 9(3)306--337, 16(1)3--3, 16(3)11--11,
20(2)6--6, 20(2)7--7, 21(2)9--9, 21(4)24--24, 23(1)7--7, 24(3)13--13,
25(2)17--17, 26(2)8--8, 27(2)5--5, 27(4)15--15, 28(1)2--2, 28(2)9--9,
28(4)24--24, 29(2)10--10, 31(1)13--13, 31(4)68--68, 32(1)27--27,
32(2)46--46, 33(1)19--19
-
proving, 2(2)128--175, 2(3)203--227, 4(1)36--64, 6(1)31--79,
6(4)333--369, 6(4)398--441, 7(3)296--332, 19(4)13--13, 23(2)20--20,
23(4)30--30, 24(1)5--5, 27(2)6--6, 30(3)34--34, 32(2)44--44
-
provision, 21(3)16--16, 30(1)3--3, 32(4)99--99
-
provoked, 31(2)27--27
-
proximity, 8(2)115--146
-
proxy, 17(1)2--2, 19(1)1--1
-
PRs, 32(1)15--15, 33(2)36--36
-
prudent, 32(5)116--116
-
prune, 22(2)10--10, 25(2)18--18
-
psc2code, 29(3)21--21
-
PSEE, 6(3)283--328
-
PSEEs, 6(3)283--328
-
pseudo-code, 24(1)4--4
-
PSP, 7(1)1--40, 7(1)41--79
-
psychological, 31(1)7--7
-
Psychology, 31(1)7--7
-
Psychometrics, 31(1)7--7
-
PTA, 19(4)11--11, 22(1)8--8
-
PTIME, 8(2)177--212
-
PTM-APIRec, 33(3)72--72
-
public, 30(4)48--48, 32(2)34--34, 33(3)70--70, 33(3)80--80
-
publication, 25(1)1--1, 32(4)94--94
-
publicly, 24(3)16--16, 26(4)13--13, 27(1)1--1, 27(3)12--12, 31(1)13--13,
32(4)91--91, 33(3)70--70, 33(3)71--71
-
published, 7(3)333--334, 18(3)10--10, 21(4)21--21, 23(2)16--16,
25(2)13--13, 25(2)17--17, 26(1)4--4, 26(1)5--5, 28(1)2--2,
32(1)16--16
-
publish/subscribe, 20(1)1--1
-
Pugliese, Rosario, 21(3)16--16
-
Pugliese, Rosario, see Fantechi, Alessandro
-
pull, 25(3)23--23, 31(2)23--23, 32(1)15--15, 32(2)32--32, 32(2)35--35,
32(6)146--146, 33(2)36--36, 33(3)58--58
-
Pull-Based, 33(2)36--36
-
Pull-based, 32(1)15--15
-
Purandare, Rahul, 31(4)58--58
-
Purandare, Rahul, see Jain, Ridhi
-
purchase, 16(4)14--14
-
pure, 7(3)250--295, 28(3)18--18, 32(2)29--29
-
purely, 7(3)215--249, 14(4)478--526, 17(4)20--20, 24(2)10--10,
25(2)17--17, 25(2)18--18, 32(4)86--86
-
purpose, 7(3)215--249, 8(3)215--262, 8(4)425--472, 20(4)16--16,
21(1)4--4, 22(2)13--13, 24(1)1--1, 24(2)7--7, 24(3)18--18,
25(3)25--25, 25(4)29--29, 29(2)11--11, 32(1)18--18
-
purpose, general-, 27(4)16--16, 32(2)44--44
-
Purpose, Special-, 3(4)308--339, 6(1)31--79
-
purpose, special-, 9(4)443--487, 16(4)15--15
-
pursue, 25(3)24--24, 26(3)10--10
-
pursued, 17(2)7--7
-
pursuing, 29(3)18--18
-
push, 25(3)23--23
-
pushed, 27(3)14--14
-
put, 3(2)101--130, 9(4)410--442, 21(2)9--9, 23(4)31--31, 29(3)16--16
-
putty, 22(3)18--18
-
PVS, 19(4)13--13, 23(2)20--20
-
PyPI, 33(4)97--97
-
Python, 25(1)2--2, 27(4)16--16, 29(4)28--28, 32(3)76--76