xref: /csrg-svn/old/refer/papers/INDEX (revision 43284)

1315 :Rv7man 589/164
17 :Rv7man 135/278
1820 :Rv7man 1645/160
1965 :Rv7man 1466/178 3880/124
1967 :Rv7man 0/134
1968 :Rv7man 2125/140 3722/157
1970 :Rv7man 7447/337
1971 :Rv7man 1209/114 1645/160
1972 :Rv7man 1806/208 2579/102
1974 :Rv7man 135/278 4005/94 5616/176 7022/110
1975 :Rv7man 135/278 2266/173 2859/796 4100/170 4684/171 4856/174 5309/125 5435/180 5793/85 6073/948 7225/221
1976 :Rv7man 589/164 5879/193
1977 :Rv7man 135/278 2015/109 3656/65 4271/106 4378/155 5222/86 7133/91 7785/195
1978 :Rbstjissue 0/128 129/160 290/138 429/145 575/240 816/141 958/192 1151/190 1342/169 1512/150 1663/178 1842/174 2017/177 2195/161 2357/179 2537/217 2755/217 2973/139 3113/175 3289/154 3444/214 3659/174:Rv7man 414/174 754/179 934/150 1085/123 1324/141 2440/138 2682/49 2732/126 4378/155 4534/149 5031/190
2nd :Rv7man 589/164
30 :Rv7man 3656/65
301010 :Rv7man 1466/178
32 :Rv7man 4856/174
39 :Rv7man 4684/171
40 :Rv7man 6073/948
41 :Rv7man 5879/193
4th :Rv7man 7785/195
5th :Rv7man 4534/149
65 :Rv7man 4378/155
930 :Rv7man 1466/178
above :Rv7man 6073/948
academ :Rv7man 2125/140
access :Rv7man 2859/796 3722/157
acm :Rv7man 135/278 4100/170 4534/149 7225/221 7447/337 7785/195
actual :Rv7man 6073/948
addiso :Rv7man 4271/106 6073/948
agreed :Rv7man 6073/948
aho :Rv7man 4005/94 4100/170 4271/106 7225/221 7785/195
aids :Rbstjissue 2973/139
alephn :Rv7man 1209/114
algori :Rv7man 5879/193
always :Rv7man 6073/948
amalga :Rv7man 6073/948
ambigu :Rv7man 4100/170
analyz :Rv7man 4684/171
anothe :Rv7man 4856/174
any :Rv7man 6073/948
anyhow :Rv7man 6073/948
appara :Rbstjissue 2755/217
applic :Rbstjissue 2537/217
approa :Rv7man 7447/337
april :Rv7man 135/278 1466/178 2015/109
aprilj :Rv7man 1209/114
are :Rv7man 2859/796 6073/948
arithm :Rv7man 7447/337
art :Rv7man 2859/796
assoc :Rv7man 0/134 135/278 1806/208 4100/170 7225/221 7447/337
august :Rv7man 4100/170
averag :Rv7man 2859/796
away :Rv7man 6073/948
base :Rbstjissue 2537/217
bayer :Rbstjissue 1342/169
beginn :Rv7man 2682/49
bell :Rbstjissue 0/128 129/160 290/138 429/145 575/240 816/141 958/192 1151/190 1342/169 1512/150 1663/178 1842/174 2017/177 2195/161 2357/179 2537/217 2755/217 2973/139 3113/175 3289/154 3444/214 3659/174:Rv7man 135/278 414/174 754/179 934/150 1324/141 2440/138 2732/126 4684/171 4856/174 5031/190 5309/125 5879/193
bobrow :Rv7man 1806/208
book :Rv7man 3880/124
both :Rv7man 6073/948
bourne :Rbstjissue 816/141:Rv7man 1324/141
brief :Rv7man 2859/796
brooks :Rv7man 6073/948
bstj :Rbstjissue 0/128 129/160 290/138 429/145 575/240 816/141 958/192 1151/190 1342/169 1512/150 1663/178 1842/174 2017/177 2195/161 2357/179 2537/217 2755/217 2973/139 3113/175 3289/154 3444/214 3659/174:Rv7man 414/174 754/179 934/150 1324/141 2440/138 5031/190
built :Rv7man 6073/948
burchf :Rv7man 1806/208
cacm :Rv7man 135/278 4100/170
callin :Rv7man 7133/91
cambri :Rv7man 3722/157
center :Rbstjissue 3659/174
change :Rv7man 6073/948
channe :Rv7man 5793/85
checke :Rv7man 4378/155
cherry :Rbstjissue 2017/177:Rv7man 135/278
chesso :Rv7man 5435/180
christ :Rbstjissue 1663/178
circui :Rbstjissue 2973/139
classi :Rv7man 6073/948
code :Rv7man 7225/221 7447/337 7785/195
cohen :Rbstjissue 3659/174
comm :Rv7man 0/134 135/278 1806/208 4100/170
comman :Rv7man 2859/796
common :Rv7man 2859/796
commun :Rv7man 5616/176
comp :Rv7man 0/134 135/278 1806/208 4005/94 4100/170 4378/155 4684/171 4856/174 5879/193 7225/221 7447/337
compar :Rv7man 5879/193
compat :Rv7man 3880/124
compil :Rv7man 4271/106 4534/149 4856/174 7022/110
comput :Rv7man 1209/114 2859/796
concep :Rv7man 2859/796
conclu :Rv7man 6073/948
conf :Rv7man 589/164 5616/176
contro :Rbstjissue 2755/217
conven :Rv7man 2859/796
conver :Rbstjissue 3444/214
cooper :Rv7man 2125/140
cosgro :Rv7man 6073/948
cost :Rv7man 6073/948
crisma :Rv7man 3880/124
crowle :Rbstjissue 0/128
cstr :Rv7man 135/278 4378/155 4684/171 4856/174 5879/193
ctr127 :Rv7man 5616/176
ctss :Rv7man 3880/124
danger :Rv7man 6073/948
data :Rv7man 5616/176
datama :Rv7man 5793/85
decemb :Rv7man 0/134 4378/155
delive :Rv7man 6073/948
descri :Rv7man 2859/796
design :Rbstjissue 2973/139:Rv7man 2859/796 4271/106 6073/948
detail :Rv7man 2859/796
determ :Rv7man 4100/170
deutsc :Rv7man 0/134 1466/178
develo :Rbstjissue 2195/161:Rv7man 6073/948
diagno :Rbstjissue 3289/154
differ :Rv7man 5879/193
dijkst :Rv7man 2125/140
doc :Rv7man 1466/178
docume :Rbstjissue 1842/174:Rv7man 414/174 5222/86
dolott :Rbstjissue 2357/179:Rv7man 589/164 754/179
ed :Rv7man 3722/157 3880/124
editor :Rv7man 0/134
em :Rbstjissue 3444/214:Rv7man 4684/171 4856/174 5616/176
engine :Rv7man 589/164 6073/948
enviro :Rbstjissue 3113/175 3289/154
ess :Rbstjissue 3289/154
even :Rv7man 6073/948
every :Rv7man 6073/948
experi :Rbstjissue 2755/217:Rv7man 1209/114 5616/176 6073/948
expres :Rv7man 7225/221 7447/337
famili :Rv7man 2859/796
februa :Rv7man 5793/85
feiert :Rv7man 1645/160
file :Rv7man 2859/796 5879/193
files :Rv7man 2859/796
fill :Rv7man 2859/796
fixed :Rv7man 7447/337
forewo :Rbstjissue 129/160
fraser :Rbstjissue 2973/139:Rv7man 5616/176 5793/85
from :Rv7man 2859/796 6073/948
future :Rv7man 2859/796
gap :Rv7man 2859/796
gcos :Rv7man 5222/86
genera :Rv7man 4684/171 7225/221 7447/337 7785/195
genuys :Rv7man 2125/140
gramma :Rv7man 4100/170
griswo :Rv7man 2015/109
haight :Rbstjissue 2357/179:Rv7man 754/179
hanson :Rv7man 2015/109
hartle :Rv7man 3722/157
has :Rv7man 6073/948
have :Rv7man 2859/796
hawley :Rv7man 2266/173
hence :Rv7man 6073/948
his :Rv7man 2859/796
hookin :Rv7man 2859/796
hope :Rv7man 2859/796
hunt :Rv7man 5879/193
ieee :Rv7man 5616/176
if :Rv7man 6073/948
implem :Rbstjissue 429/145:Rv7man 2859/796
includ :Rv7man 2859/796
infote :Rv7man 2859/796
ingrai :Rv7man 2859/796
inputo :Rv7man 1645/160
int :Rv7man 589/164
intern :Rv7man 2859/796
introd :Rv7man 589/164
is :Rv7man 2859/796 6073/948
it :Rv7man 6073/948
jacm :Rv7man 7225/221 7447/337
januar :Rv7man 4534/149 7785/195
johnso :Rbstjissue 958/192 1151/190 2195/161:Rv7man 4005/94 4100/170 4378/155 4534/149 4856/174 5031/190 7133/91 7225/221 7785/195
jr :Rbstjissue 3659/174:Rv7man 6073/948
kaufel :Rbstjissue 3659/174
kernig :Rbstjissue 958/192 1842/174:Rv7man 135/278 414/174 1085/123 2682/49
labora :Rv7man 135/278 2732/126 3722/157 4684/171 4856/174 5309/125 5879/193
lampso :Rv7man 0/134 1466/178
langua :Rbstjissue 958/192 2195/161:Rv7man 1085/123 2125/140 2859/796 4534/149 7022/110 7133/91 7785/195
large :Rv7man 6073/948
lesk :Rbstjissue 958/192 1842/174 2195/161:Rv7man 414/174 4684/171 5222/86 7133/91
lex :Rv7man 4684/171
lexica :Rv7man 4684/171
like :Rv7man 2859/796
lint :Rv7man 4378/155
lr :Rv7man 4005/94
ltd :Rv7man 2859/796
ludere :Rbstjissue 2537/217
lyckla :Rbstjissue 1342/169 1512/150 1663/178:Rv7man 934/150
mac8 :Rbstjissue 3113/175
mach :Rv7man 0/134 135/278 1806/208 4100/170 7225/221 7447/337
machin :Rbstjissue 2755/217:Rv7man 7785/195
macros :Rv7man 5222/86
mainta :Rv7man 6073/948
man :Rv7man 2859/796 6073/948
manmon :Rv7man 6073/948
manual :Rv7man 1466/178 2732/126 3722/157 5309/125
manufa :Rv7man 2859/796
many :Rv7man 2859/796
maranz :Rbstjissue 2537/217
march :Rv7man 135/278 1806/208 2859/796
mashey :Rbstjissue 2357/179:Rv7man 589/164 754/179 3656/65
master :Rv7man 7022/110
mathem :Rv7man 135/278 3722/157
mcilro :Rbstjissue 129/160:Rv7man 5879/193
mcmaho :Rbstjissue 2017/177
mert :Rbstjissue 1342/169
method :Rv7man 2859/796
meyer :Rv7man 2266/173
microc :Rbstjissue 2755/217
microp :Rbstjissue 1512/150:Rv7man 934/150
minico :Rbstjissue 1663/178
missin :Rv7man 2859/796
mit :Rv7man 2579/102 3880/124 7022/110
more :Rv7man 6073/948
morris :Rbstjissue 2017/177
most :Rv7man 6073/948
ms :Rv7man 2266/173 5222/86
ms2acs :Rbstjissue 3113/175
ms2ert :Rbstjissue 1342/169 3444/214
ms2ult :Rv7man 2579/102
ms2uni :Rv7man 2266/173
much :Rv7man 2859/796
muchne :Rv7man 2859/796
multic :Rv7man 1645/160 2579/102
multip :Rv7man 2266/173 3722/157
multir :Rv7man 7785/195
munix :Rv7man 2266/173
murphy :Rv7man 1806/208
mythic :Rv7man 6073/948
nagelb :Rbstjissue 3444/214
naval :Rv7man 2266/173
need :Rv7man 6073/948
networ :Rbstjissue 3659/174:Rv7man 5435/180 5793/85
not :Rv7man 6073/948
notice :Rv7man 2015/109
notion :Rv7man 2859/796
number :Rv7man 7447/337
octobe :Rv7man 589/164 1645/160 4684/171 7447/337
one :Rv7man 6073/948
online :Rv7man 0/134
operat :Rbstjissue 1342/169 2537/217 3444/214 3659/174:Rv7man 1645/160 5435/180 7785/195
optima :Rv7man 7225/221 7447/337
or :Rv7man 6073/948
organi :Rv7man 1645/160 2579/102
ossann :Rbstjissue 1842/174:Rv7man 414/174
out :Rv7man 6073/948
overvi :Rv7man 2015/109
p116 :Rv7man 6073/948
p117 :Rv7man 6073/948
p121 :Rv7man 6073/948
p55 :Rv7man 6073/948
paged :Rv7man 1806/208
parsin :Rv7man 4005/94 4100/170
pekari :Rbstjissue 3289/154
percen :Rv7man 6073/948
percep :Rv7man 6073/948
pilla :Rbstjissue 3444/214
pinson :Rbstjissue 129/160
pipes :Rv7man 2859/796
plan :Rv7man 6073/948
pointe :Rv7man 6073/948
politi :Rv7man 2859/796
portab :Rbstjissue 1151/190:Rv7man 4534/149 5031/190 7022/110
postgr :Rv7man 2266/173
practi :Rv7man 1209/114 4534/149
prefac :Rbstjissue 0/128
prelim :Rv7man 1466/178
prenti :Rv7man 1085/123
prepar :Rbstjissue 1842/174:Rv7man 414/174
press :Rv7man 2125/140 2579/102 3880/124
princi :Rv7man 1645/160 4271/106 4534/149 7785/195
proble :Rv7man 6073/948
proc :Rv7man 589/164 1645/160 4534/149 5616/176 7785/195
proces :Rbstjissue 1663/178 2017/177:Rv7man 2125/140
produc :Rv7man 6073/948
progra :Rbstjissue 958/192 1151/190 2357/179:Rv7man 589/164 754/179 1085/123 2125/140 2732/126 2859/796 4378/155 4534/149 5031/190 5309/125 6073/948 7785/195
projec :Rv7man 1466/178 6073/948
prose :Rv7man 6073/948
pwbuni :Rv7man 3656/65
qed :Rv7man 0/134
rather :Rv7man 6073/948
readab :Rv7man 6073/948
readin :Rv7man 6073/948
record :Rv7man 2859/796
recrea :Rv7man 1209/114
reduce :Rv7man 6073/948
reexam :Rv7man 2859/796
refere :Rv7man 1466/178 3722/157 6073/948
regs :Rv7man 7447/337
rep :Rv7man 135/278 4378/155 4684/171 4856/174 5879/193
report :Rv7man 2859/796
requir :Rv7man 6073/948
retros :Rbstjissue 575/240
review :Rv7man 5435/180
revise :Rv7man 135/278
ritchi :Rbstjissue 290/138 575/240 958/192 1151/190:Rv7man 1085/123 2440/138 2732/126 5031/190 5309/125 7133/91
rovegn :Rbstjissue 3113/175
rs2bcs :Rbstjissue 3444/214
satell :Rbstjissue 1663/178
satisf :Rv7man 6073/948
school :Rv7man 2266/173
sci :Rv7man 135/278 4378/155 4684/171 4856/174 5879/193
second :Rv7man 6073/948
semant :Rv7man 2859/796
septem :Rv7man 3656/65
sequen :Rv7man 2125/140 7133/91
sermon :Rv7man 2859/796
sethi :Rv7man 7447/337
sgenie :Rv7man 1466/178
sharin :Rv7man 1806/208
shell :Rbstjissue 816/141:Rv7man 1324/141 2859/796 3656/65
shown :Rv7man 6073/948
sieber :Rbstjissue 2755/217
sigpla :Rv7man 2015/109
sincer :Rv7man 2859/796
sl5 :Rv7man 2015/109
snyder :Rv7man 7022/110
softwa :Rv7man 589/164 1209/114 6073/948
someon :Rv7man 6073/948
spdpn1 :Rv7man 1806/208
spider :Rv7man 5616/176
ssdsn :Rv7man 1466/178
state :Rv7man 2859/796
statis :Rbstjissue 2017/177
stenex :Rv7man 1806/208
storm :Rbstjissue 2755/217
straig :Rv7man 7447/337
struct :Rv7man 2859/796
suppor :Rbstjissue 3113/175
survey :Rv7man 4005/94
symp :Rv7man 4534/149 7785/195
sympos :Rv7man 1645/160
syntax :Rv7man 2859/796
sys :Rbstjissue 0/128 129/160 290/138 429/145 575/240 816/141 958/192 1151/190 1342/169 1512/150 1663/178 1842/174 2017/177 2195/161 2357/179 2537/217 2755/217 2973/139 3113/175 3289/154 3444/214 3659/174:Rv7man 414/174 754/179 934/150 1324/141 2440/138 5031/190
system :Rbstjissue 0/128 129/160 290/138 429/145 575/240 816/141 958/192 1151/190 1342/169 1512/150 1663/178 1842/174 2017/177 2195/161 2357/179 2537/217 2755/217 2973/139 3113/175 3289/154 3444/214 3659/174:Rv7man 135/278 414/174 754/179 934/150 1324/141 1466/178 1645/160 1806/208 2440/138 2579/102 2859/796 3722/157 3880/124 5031/190 5435/180 5616/176 6073/948
tague :Rbstjissue 129/160 2537/217
tangib :Rv7man 6073/948
tech :Rbstjissue 0/128 129/160 290/138 429/145 575/240 816/141 958/192 1151/190 1342/169 1512/150 1663/178 1842/174 2017/177 2195/161 2357/179 2537/217 2755/217 2973/139 3113/175 3289/154 3444/214 3659/174:Rv7man 135/278 414/174 754/179 934/150 1324/141 2440/138 4378/155 4684/171 4856/174 5031/190 5879/193
tenex :Rv7man 1806/208
tested :Rv7man 6073/948
text :Rbstjissue 2017/177
than :Rv7man 6073/948
that :Rv7man 2859/796 6073/948
their :Rv7man 2859/796
them :Rv7man 6073/948
theory :Rv7man 4534/149
there :Rv7man 2859/796
these :Rv7man 2859/796
thesis :Rv7man 2266/173 7022/110
third :Rv7man 1645/160
thomps :Rbstjissue 290/138 429/145:Rv7man 2440/138 2732/126 2859/796 5309/125
throw :Rv7man 6073/948
time :Rv7man 1806/208
timesh :Rbstjissue 0/128 129/160 290/138 429/145 575/240 816/141 958/192 1151/190 1342/169 1512/150 1663/178 1842/174 2017/177 2195/161 2357/179 2537/217 2755/217 2973/139 3113/175 3289/154 3444/214 3659/174:Rv7man 414/174 754/179 934/150 1324/141 1466/178 2440/138 3880/124 5031/190
togeth :Rv7man 2859/796
tomlin :Rv7man 1806/208
tools :Rbstjissue 2195/161
total :Rv7man 6073/948
trees :Rv7man 7225/221
troff :Rv7man 5222/86
tutori :Rv7man 3656/65
types :Rv7man 2859/796
typese :Rv7man 135/278
typica :Rv7man 6073/948
typing :Rv7man 5222/86
ullman :Rv7man 4100/170 4271/106 7447/337 7785/195
univer :Rv7man 3722/157
unix :Rbstjissue 0/128 129/160 290/138 429/145 575/240 816/141 1151/190 1512/150 1663/178 1842/174 2017/177 2195/161 2357/179 2537/217 2755/217 2973/139 3113/175 3289/154 3444/214 3659/174:Rv7man 414/174 754/179 934/150 1324/141 2266/173 2440/138 2682/49 2732/126 2859/796 5031/190 5222/86 5309/125 5435/180
us2nix :Rbstjissue 0/128 129/160 290/138 429/145 575/240 816/141 958/192 1151/190 1342/169 1512/150 1663/178 1842/174 2017/177 2195/161 2357/179 2537/217 2755/217 2973/139 3113/175 3289/154 3444/214 3659/174:Rv7man 414/174 754/179 934/150 1324/141 2266/173 2440/138 2732/126 2859/796 5031/190 5309/125 5435/180
used :Rv7man 6073/948
user :Rv7man 2859/796 6073/948
users :Rv7man 3722/157 6073/948
value :Rv7man 2859/796
versio :Rv7man 2266/173
virtua :Rv7man 5793/85
when :Rv7man 2859/796
whole :Rv7man 3880/124
widely :Rv7man 6073/948
will :Rv7man 6073/948
withou :Rv7man 2859/796
wonsie :Rbstjissue 2755/217
workbe :Rbstjissue 2357/179:Rv7man 589/164 754/179
yacc :Rv7man 4856/174
yet :Rv7man 4856/174
you :Rv7man 6073/948