Index file section P for tosem.bib

Last update: Sun Jan 18 02:05:55 MST 2026

Return to index directory

P

package, 1(3)205--228, 3(2)166--199
paid, 2(2)176--201
pair, 1(3)205--228
Pan, 1(1)95--127
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
paradigm, 1(3)269--309
parallel, 2(1)1--46, 2(1)47--92, 2(3)203--227, 3(1)29--55, 3(4)271--307
parameter, 2(1)93--106, 3(2)101--130
parametric, model-, 3(4)308--339
Parisi-Presicce, Francesco, 3(2)166--199
Parisi-Presicce:1994:ATC, 3(2)166--199
parse, 2(1)47--92
part, 1(2)135--167, 2(2)176--201
partial, 2(2)128--175, 2(4)379--411
particular, 1(1)95--127, 1(2)135--167, 2(1)1--46, 2(4)379--411
particularly, 1(3)269--309
partition, 1(3)310--354
partly, 2(2)176--201
path, 1(2)168--187
pattern, 3(2)166--199
paying, 1(1)95--127
perceived, 3(1)3--28
percent, 3(1)3--28
perfectly, 1(2)135--167
perform, 1(1)21--52, 3(4)308--339
performed, 1(3)310--354, 2(3)203--227, 2(3)270--285, 3(2)101--130
period, 3(1)3--28
permit, 2(4)346--378
person, four-, 1(1)81--94
perturbation, 1(4)422--451
pervade, 1(1)95--127
Petrenko:1997:CRT, 3(3)201--220
piece, 1(3)269--309
Pierantonio, Alfonso, 3(2)166--199
Pierantonio, Alfonso, see Parisi-Presicce, Francesco
Pierce, Lynn, 2(3)286--303
Pierce, Lynn, see Podgurski, Andy
Pietro, Pierluigi, San, 3(1)56--98
place, 2(3)203--227, 3(4)308--339
placed, 2(4)379--411
platform, 1(3)229--268
Podgurski, Andy, 2(3)286--303
Podgurski:1993:RRS, 2(3)286--303
point, 1(4)399--421, 1(4)422--451
PoliS, 2(3)203--227
polynomial, 3(1)29--55
Poore, J. H., 2(1)93--106
Poore, J. H., see Whittaker, James A.
portion, 1(3)310--354
pose, 3(4)271--307
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
possibly, 1(3)269--309
post-conditions, 3(3)221--253
potential, 3(1)3--28
potentially, 2(3)270--285, 3(1)3--28
powerful, 1(1)95--127, 2(3)203--227
practical, 2(4)379--411
practice, 1(4)399--421
pragmatic, 1(2)135--167
pre, 3(3)221--253
precedence, 2(4)346--378
precise, 3(1)29--55
precisely, 1(2)168--187
precision, 2(3)286--303, 3(1)29--55
predicate, 1(4)422--451, 2(4)379--411
prefer, 1(4)399--421
presence, 1(1)95--127
presented, 1(4)399--421, 3(1)29--55, 3(4)308--339
preserved, 1(3)310--354
preserving, 1(3)229--268, 2(3)228--269
preserving, meaning-, 2(3)228--269
preserving, semantics-, 1(3)310--354
Presicce, Francesco, Parisi-, 3(2)166--199
previous, 1(1)53--80
previously, 1(4)422--451
primary, 2(1)47--92
principle, 2(2)128--175
prior, 1(1)81--94
priority, 1(2)168--187, 3(2)101--130
probabilistic, 2(3)286--303
probability, 2(1)93--106
procedure, 2(1)93--106, 2(2)109--127, 2(4)346--378, 3(1)29--55
processed, 3(1)3--28, 3(1)29--55
processing, 3(1)3--28, 3(1)29--55
processors, 1(3)310--354, 2(4)311--345, 3(1)3--28, 3(1)29--55
produce, 2(2)109--127, 2(3)270--285
produced, 2(2)109--127
product, 1(1)53--80
production, 1(1)81--94, 1(2)135--167
program-integration, 1(3)310--354
programmable, 1(1)21--52
PROgrammed, 1(2)135--167
programmer, 1(3)310--354, 2(4)311--345
programming, logic-, 2(3)203--227
programming/development, 2(2)176--201
PROGRESS, 1(2)135--167
progress, 2(2)176--201
projectwide, 1(1)95--127
proliferate, 1(2)168--187
Prolog, 2(3)203--227
prone, error-, 2(3)228--269
proof, 1(1)81--94, 3(1)56--98, 3(4)271--307
proof-checking, 3(2)131--165
propagate, 3(1)29--55
propagation, 2(1)47--92
proportional, 1(3)205--228
propositional, 2(4)346--378
protocol, 1(4)355--398, 2(1)1--46, 2(1)47--92, 3(3)201--220
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
prototyping, 1(3)269--309
prototyping**, 1(3)269--309, 1(4)355--398
prove, 3(2)131--165
provided, 1(3)269--309, 2(2)128--175, 2(3)286--303, 3(2)101--130, 3(4)308--339
provided--based, 2(3)228--269
providing, 1(3)269--309, 2(2)176--201, 3(2)131--165, 3(4)308--339
proving, 2(2)128--175, 2(3)203--227
put, 3(2)101--130