Index file section B for sigplan1980.bib

Last update: Fri Aug 9 02:18:06 MDT 2024

Return to index directory

B

B, 17(8)74--83, 17(12)49--58, 19(11)56--58, 20(2)58--76, 20(10)105--110, 23(12)103--114
b, 16(1)144--146
B, APi20-, 17(4)96--99
B., see Hansche, B.
B.1.1, 0(0)71--79, 24(2)1--13
B.1.4, 21(0)vi--275, 23(1)92--108, 23(7)95--104
B.2.1, 21(7)27--38
B.3.2, 22(7)241--252, 23(7)11--20, 24(7)344--355, 24(10)267--278
B.3.4, 21(7)68--73
B.4.2, 16(6)123--129, 16(6)130--136, 16(6)147--156
B.4.3, 20(5)36--44
B.5.0, 21(7)255--263, 21(7)264--275
B.5.1, 0(0)13--15, 0(0)35--39, 21(7)1--10, 21(7)11--16, 23(7)67--78, 23(7)85--94
B.5.2, 21(7)1--10, 21(7)99--108, 21(7)118--130, 23(7)95--104
B.5.m, 23(6)24--34
B.6.1, 23(9)31--41
B.6.3, 21(7)99--108, 24(7)120--130
B.7.1, 18_6S_137_148, 18_6S_166_169, 22(12)366--376, 24(1)174--182
B.7.2, 22(12)366--376, 23(9)138--145
B0250, 19(9)12--15
B1130B, 21(11)294--302
B2220, 18_6S_137_148
B6210L, 18_6S_65_72
back, 16(1)192--192, 18(7)60--61, 22(7)199--204, 23(7)145--153, 24(7)227--237
back, piggy-, 23(7)288--296
backed, 23(7)164--174
background, 16(6)157--160, 20(4)80--87, 22(11)5--9, 24(4)84--86
Backhouse, R. C., 18(3)289--298
Backhouse, R. C., see Anderson, S. O.
backing, 24(10)267--278
backtracking, 20(7)179--190, 22(7)138--149, 23(7)288--296, 23(11)105--122
backup, 21(11)57--66
Backus, 20(7)74--82, 22(4)33--40, 22(7)64--73
Backus-Naur, 18(10)25--32
backward, 18(8)63--66
backward-directed, 19(8)62--64
bad, 19(3)21--23, 22(5)20--22, 23(8)19--22, 24(10)85--94
Bahlke, R., 22(7)92--101
Bahlke, Rolf, 18(6)28--33, 20(7)28--33
Bahlke:1983:PPS, 18(6)28--33
Bahlke:1985:PPS, 20(7)28--33
Bahlke:1987:GLD, 22(7)92--101
Bahlke:1987:GLS, 22(7)92--101
Baiardi, F., 18(8)98--106, 19(6)290--299
Baiardi:1983:DDC, 18(8)98--106
Baiardi:1984:SCI, 19(6)290--299
Bailey, Mary L., 23(9)10--20, 24(1)206--215
Bailey, Mary L., see Notkin, David, see Socha, David
Bain, William L., 24(4)95--98
Bain:1989:IGO, 24(4)95--98
Baker, Jr., Henry G., 15(2)14--16
Baker, T. P., 17(6)318--326
Baker:1980:SRI, 15(2)14--16
Baker:1982:SPS, 17(6)318--326
balance, 24(4)95--98
balancing, 24(4)194--196
Balanescu, T., 21(12)80--86
Balanescu:1986:HER, 21(12)80--86
Balasundaram, Vasanth, 24(7)41--53
Balasundaram:1989:TSD, 24(7)41--53
Baldwin, Geoff, 22(8)45--50
Baldwin, R. R., 22(5)27--31
Baldwin, Roger R., 19(8)62--64, 20(10)9--13, 21(9)22--26
Baldwin, W. A., 24(8)34--36
Baldwin:1984:BDG, 19(8)62--64
Baldwin:1985:GNA, 20(10)9--13
Baldwin:1986:SIP, 21(9)22--26
Baldwin:1987:IPU, 22(8)45--50
Baldwin:1987:NHT, 22(5)27--31
Baldwin:1989:CUP, 24(8)34--36
Ball, Charles R., 24(4)191--193
Ball:1989:APM, 24(4)191--193
Ballance, R. A., 23(7)185--198
Ballance:1988:GAI, 23(7)185--198
Ballard, Mark B., 21(11)140--150
Ballard:1986:QSD, 21(11)140--150
Ballou, Nat, 23(11)142--152
Ballou, Nat, see Kim, Won
Balsamo, Alessandra, 21(11)284--293
Balsamo, Alessandra, see Bruno, Giorgio
Balzer, 16(1)40--42, 16(1)121--123
Balzer, Robert, 18(8)23--24, 24(3)93--161
Balzer, Robert, see Linton, Mark A.
Balzer, Robert M., 16(1)95--97
Balzer:1981:DSS, 16(1)95--97
Balzer:1989:DRR, 24(3)93--161
bandwidth, 17(4)96--99, 18(8)145--148
Bandyopadhyay, S. K., 16(2)18--25, 16(2)26--34
Bandyopadhyay:1981:SPL, 16(2)18--25
Bandyopadhyay:1981:TRB, 16(2)26--34
Bane, 23(7)241--249
Banerjee, Jay, 22(12)118--125, 23(11)142--152
Banerjee, Jay, see Kim, Won
Banning, 23(7)57--66
Banquet, 23(5)97--104
Barach, David R., 16(4)17--26, 16(6)130--136, 17(5)16--23, 17(7)32--38
Barach:1981:DPV, 16(6)130--136
Barach:1981:STR, 16(4)17--26
Barach:1982:TFS, 17(7)32--38
Barach:1982:TFSa, 17(5)16--23
Barklund, J., 22(7)132--137
Barklund:1987:EIP, 22(7)132--137
Barnard, D., 20(4)343--355
Barnard, D., see Smith, S.
Barnett, Michael P., 20(9)11--20, 20(12)5--12
Barnett:1985:PSM, 20(9)11--20
Barnett:1985:SMS, 20(12)5--12
Baron, Robert, 22(10)31--39
Baron, Robert, see Rashid, Richard
Barra, Knut, 18(8)121--122
Barra:1983:SPT, 18(8)121--122
barriers, 17(12)31--40
Barry, B. M., 24(10)255--265
Barry, Brian, 24(4)87--90
Barry, Brian, see Thomas, David A.
Barry, Brian M., 22(12)192--201
Barry:1987:UOD, 22(12)192--201
Barry:1989:PRT, 24(10)255--265
Barstow, D., 18_6S_149_157
Barstow, D., see Smoliar, S. W.
Barth, Paul, 21(11)167--176
Barth, Paul, see Smith, Reid G.
Bartley, D. H., 21(12)37--79
Bartley, D. H., see Rees, Jonathan
Barz, Hans W., 18(2)39--45
Barz:1983:ISB, 18(2)39--45
base, 15(12)15--16, 16(1)13--18, 16(1)77--82, 16(1)91--93, 16(1)94--94, 16(1)95--97, 16(1)107--109, 16(1)115--117, 16(1)133--134, 16(1)141--143, 16(1)144--146, 16(1)147--149, 16(1)150--152, 16(1)171--173, 16(1)174--176, 16(1)183--185, 16(1)192--192, 16(1)193--195, 16(1)196--197, 16(1)198--200, 16(1)201--202, 18(1)29--34, 18(11)34--44, 21(11)159--166, 21(11)224--231, 21(11)322--330, 22(1)84--91, 22(7)274--282, 23(7)185--198, 24(4)25--27, 24(4)187--189, 24(5)87--92
base, data-, 16(1)147--149
base, knowledge-, 21(11)232--241
BASed, 18_6S_192_201
Based, Actor-, 24(0)0--0, 24(4)171--173
based, actor-, 24(0)0--0, 24(4)66--68
based, AG-, 19(6)171--178
BASED, APPLICATION-, 0(0)81--83, 0(0)93--97, 18(8)140--144, 18(8)145--148, 22(12)192--201, 24(4)203--205, 24(4)209--211, 24(4)212--214
based, attribute-, 20(7)93--106
based, capability-, 21(11)67--77
based, C-, 22(6)83--100
based, channel-, 23(7)250--259
based, cognitively-, 19(0)z, 19(5)193--196
based, combinator-, 23(4)65--70
based, computer-, 16(6)51--60
based, counter-, 24(7)298--312
based, CSP-, 24(6)59--68
based, entity-, 21(10)183--183
based, Ethernet-, 24(7)91--100
based, Event-, 24(1)23--34
based, event-, 24(1)11--22
based, exception-, 19(11)42--51
based, exemplar-, 21(11)322--330
Based, Generation-, 23(12)98--102
based, generation-, 23(11)1--17, 23(12)98--102, 24(5)38--46, 24(5)87--92
based, Knowledge-, 16(1)193--195, 18(8)23--24, 18(8)25--31
based, knowledge-, 18(8)25--31, 21(10)39--48, 21(11)167--176, 21(11)284--293, 22(2)53--61, 24(2)55--64
based, language-, 16(5)54--58, 19(0)z, 19(5)7--14, 19(5)21--29, 20(7)93--106, 20(7)140--147, 21(6)70--78, 22(7)222--228, 22(7)274--282, 23(7)185--198, 24(5)102--111
based, law-, 22(12)382--493, 22(12)482--493
based, Lisp-, 15(5)49--53
based, logic-, 21(11)232--241
based, LR-, 24(7)179--191
based, mc680x0-, 24(4)206--208
based, message-, 18_6S_65_72
based, monitor-, 23(12)115--124
based, multiprocessor-, 23(7)268--277
based, mutation-, 22(7)177--188
based, net-, 21(11)284--293
Based, Object-, 24(0)0--0, 24(0)x--214, 24(4)15--17, 24(4)46--49, 24(4)50--54, 24(4)60--65, 24(4)66--68, 24(4)69--72, 24(4)84--86, 24(4)87--90, 24(4)91--93, 24(4)95--98, 24(4)99--101, 24(4)200--202, 24(4)212--214
based, Object-, 24(4)212--214
based, object-, 17(4)1--1, 18(6)1--11, 20(7)1--11, 21(11)9--16, 21(11)78--86, 22(12)168--182, 23(11)297--305, 24(0)0--0, 24(4)37--39, 24(4)46--49, 24(4)50--54, 24(4)194--196, 24(4)200--202, 24(4)212--214
based, packet-, 22(4)49--58
based, Pascal-, 17(4)87--91, 17(5)60--79, 19(6)179--189
based, plan-, 24(2)97--106
based, priority-, 19(6)222--232, 23(7)85--94, 24(7)258--263
based, probe-, 21(11)57--66
based, processor-, 22(7)264--273
based, Prolog-, 20(9)43--51, 21(11)224--231
based, Prolog-, 21(11)224--231
based, recognition-, 18(8)25--31
Based, Rule-, 18(6)208--215, 20(7)208--215
based, Rule-, 24(10)363--370
based, rule-, 20(0)vi--251, 20(7)179--190, 20(7)208--215, 20(10)79--86, 21(7)242--248
based, Simula-, 19(9)21--29
based, stack-, 22(7)138--149
based, stream-, 24(4)55--58
based, surrogate-, 21(11)406--416
based, syntax-, 21(11)350--360
based, trace-, 0(0)27--38
bases, data-, 16(1)207--209
bases, object-, 22(1)16--26
BASIC, 17(4)177--184, 18(5)25--40, 18(7)50--59, 20(4)71--79, 20(6)10--15, 22(7)64--73, 24(6)49--54
basic, 16(1)13--18, 16(1)164--166, 16(2)26--34, 17(4)1--1, 17(4)39--47, 17(4)185--194, 18(5)25--40, 18(8)123--129, 18(8)145--148, 18(10)25--32, 19(6)106--110, 19(6)179--189, 20(4)71--79, 20(7)117--130, 20(7)131--139, 20(7)161--170, 20(7)199--207, 21(10)128--132, 21(10)187--188, 21(11)9--16, 22(7)165--176, 22(7)264--273, 22(7)274--282, 23(7)268--277, 23(7)318--328, 24(4)66--68, 24(4)133--135, 24(4)136--138, 24(4)212--214, 24(5)102--111, 24(6)32--34
basically, 16(1)72--76
BASICs, 22(6)39--48
basis, 16(1)88--90, 16(1)124--125, 16(8)27--30, 17(4)77--80, 17(6)294--300, 17(11)42--44, 18(6)19--27, 18(6)93--106, 20(4)24--32, 20(7)19--27, 20(7)93--106, 20(9)11--20, 22(7)177--188, 22(7)199--204, 22(7)274--282, 23(12)69--78, 24(4)95--98, 24(4)168--170
BASIX, 18_6S_192_201
Baskett, Forest, 17(4)2--11
Baskett, Forest, see Hennessy, John
batch, 16(9)60--65, 19(6)132--143, 20(7)140--147
batch-oriented, 17(6)134--139, 22(7)199--204
batch/cards, 22(7)38--44
Bates, Peter, 18(8)32--33, 18(8)107--111, 24(1)11--22
Bates, Rodney M., 16(3)10--17
Bates:1981:PPD, 16(3)10--17
Bates:1983:AHL, 18(8)107--111
Bates:1983:RDD, 18(8)32--33
Bates:1989:DHD, 24(1)11--22
Baudinet, M., 0(0)267--280
Baudinet:1989:TLP, 0(0)267--280
Bauer III, H. R., 23(10)123--130
Bauer III, H. R., see Warfield, J. W.
Bauer, III, H. R., 0(0)1--11
Bauer, III, H. R., see Baxter, W.
Bauner, John-Olof, 16(2)35--47
Bauner, John-Olof, see Haridi, Seif
Baxter, L., 15(12)15--16
Baxter, W., 0(0)1--11
Baxter:1980:VP, 15(12)15--16
Baxter:1989:PDG, 0(0)1--11
BBN, 23(9)161--172
Beander, Bert, 18(8)173--179
Beander:1983:VDI, 18(8)173--179
bears, 20(7)191--198
Beaudet, Philip J., 23(6)49--58
Beaudet:1988:SOO, 23(6)49--58
Beaudouin-Lafon, Michel, 24(2)143--152
Beaudouin-Lafon:1989:UIS, 24(2)143--152
became, 16(1)88--90, 20(8)64--70
because, 16(1)158--160, 16(1)198--200, 16(1)201--202, 17(4)117--131, 18(8)4--8, 19(8)51--61, 19(8)119--126, 19(9)37--48, 20(7)43--59, 20(7)107--116, 21(11)214--223, 22(7)38--44, 22(7)74--85, 22(7)138--149, 22(7)274--282, 23(7)24--31, 23(7)67--78, 23(7)241--249, 23(7)250--259, 23(12)115--124, 23(12)143--150, 24(4)18--21, 24(4)22--24, 24(4)129--131, 24(4)142--144, 24(5)76--82, 24(7)131--145, 24(7)218--226, 24(9)126--132
Beck, Bob, 22(10)10--20
Beck, K., 24(10)1--6, 24(10)123--137
Beck, K., see Fenton, J.
Beck, Kent, 21(11)361--367
Beck, Kent, see Cunningham, Ward
Beck:1987:VAM, 22(10)10--20
Beck:1989:LTO, 24(10)1--6
become, 16(1)198--200, 17(7)72--79, 17(11)39--41, 20(7)107--116, 21(11)242--257, 23(7)125--134, 23(7)241--249, 23(12)115--124, 24(4)191--193, 24(5)112--120, 24(6)55--58, 24(7)264--274, 24(7)285--297
bed, 24(4)212--214
Beech, David, 23(11)164--175
Beech:1988:ICO, 23(11)164--175
BEG, 24(7)227--237
began, 16(1)88--90, 18(8)145--148, 24(5)112--120
BEGIN, 19(11)59--62
begin, 16(1)43--52, 16(1)77--82, 16(1)88--90, 17(4)1--1, 18(8)145--148, 21(11)472--482, 24(4)191--193
begin-end, 16(4)64--67
beginning, 16(1)40--42, 17(11)39--41, 18(8)145--148, 20(11)14--22, 24(4)165--167
begun, 20(11)39--46, 22(7)102--112
Begwani, Vimal S., 19(6)122--131
Begwani, Vimal S., see Schwartz, Mayer D.
behave, 16(1)118--120
behavior, 16(1)124--125, 16(1)164--166, 18(8)25--31, 20(8)28--31, 21(11)214--223, 21(11)232--241, 21(11)277--283, 21(11)361--367, 21(11)483--495, 22(7)14--25, 23(7)145--153, 23(9)198--211, 24(1)11--22, 24(3)46--54, 24(4)142--144, 24(4)168--170, 24(4)181--183, 24(7)218--226
behavioral, 16(1)101--103, 18(8)107--111, 21(11)472--482
behaviour, 16(1)53--61, 16(1)115--117, 16(1)183--185, 18(8)25--31, 18(8)34--44, 18(8)98--106
behavioural, 16(1)53--61, 16(1)115--117
behind, 16(4)70--80, 20(2)32--41
Beidler, J., 21(4)32--41
Beidler, John, 15(1)24--33
Beidler:1980:ILD, 15(1)24--33
Beidler:1986:CGM, 21(4)32--41
being, 16(1)43--52, 16(1)62--71, 16(1)77--82, 16(1)115--117, 16(1)124--125, 16(1)128--130, 16(1)141--143, 16(1)180--182, 16(1)186--188, 16(1)198--200, 16(1)201--202, 17(4)57--65, 18(4)86--94, 18(8)91--95, 18(8)140--144, 19(6)106--110, 20(7)140--147, 20(7)179--190, 21(11)38--45, 21(11)368--376, 21(11)444--452, 22(7)14--25, 22(7)74--85, 22(7)138--149, 22(7)205--213, 22(8)57--78, 23(7)185--198, 23(7)268--277, 23(12)38--44, 24(4)105--107, 24(4)171--173, 24(5)38--46, 24(6)23--31, 24(7)285--297, 24(7)322--329
Belady, 18(12)112--119
believe, 16(1)72--76, 16(1)126--127, 18(8)81--90, 20(7)131--139, 20(7)148--160, 23(7)268--277, 23(12)103--114, 24(4)142--144, 24(7)69--80, 24(9)142--151
believed, 23(12)95--97
Belkatir, N., 22(1)84--91
Belkatir:1987:EDB, 22(1)84--91
Bell, 17(4)48--56, 18(8)190--200, 20(5)45--47
BELLMAC-32, 17(4)30--38
BELLMACTM-32, 17(4)30--38
Belmont, Peter A., 15(11)57--61
Belmont:1980:TRA, 15(11)57--61
Beloff, B., 22(4)70--79
Beloff, B., see Harland, D. M.
belongs, 20(1)11--19
below, 16(1)98--100, 16(1)128--130, 16(1)180--182, 19(8)51--61
Belsnes, Dag, 15(5)56--65
Belsnes, Dag, see Noodt, Terje
Belz, F. C., 15(11)202--212
Belz, Frank, 24(3)93--161
Belz, Frank, see Balzer, Robert
Belz, Frank C., 24(2)1--13
Belz, Frank C., see Taylor, Richard N.
Belz:1980:MPI, 15(11)202--212
Ben-Ari, 19(9)30--33
Ben-Ari, Mordechai, 16(12)22--26
Ben-Ari:1981:MMU, 16(12)22--26
benchmark, 16(7)33--34, 18_6S_41_52, 20(8)20--27, 20(11)64--68, 21(5)61--63, 22(7)26--37, 23(2)44--48, 23(3)63--72, 23(6)157--161, 23(7)175--184, 23(8)49--62, 23(10)72--74, 23(10)75--84, 23(11)153--163, 24(7)110--119
bend, 20(8)64--70
beneficiary, 16(1)104--106
benefit, 16(1)98--100, 16(1)126--127, 16(1)198--200, 18(8)180--189, 21(11)30--37, 21(11)38--45, 21(11)341--346, 21(11)347--349, 21(11)350--360, 22(7)74--85, 22(7)113--124, 22(7)150--152, 22(7)253--263, 23(7)329--338, 23(8)93--102, 24(3)67--78, 24(5)87--92, 24(6)20--22, 24(10)337--345
benefit, side-, 23(12)115--124
Benepe, Jr., David B., 19(4)32--33
Benepe:1984:DSC, 19(4)32--33
Benitez, M. E., 23(7)329--338
Benitez:1988:PGO, 23(7)329--338
Bennett, A., 24(11)109--115
Bennett, A., see Grogono, P.
Bennett, John K., 22(12)318--330
Bennett:1987:DID, 22(12)318--330
Bensley, E. H., 24(4)99--101
Bensley, Edward H., 23(11)316--322
Bensley:1988:EMD, 23(11)316--322
Bensley:1989:MFG, 24(4)99--101
Benson, B. N., Freeman-, 24(10)389--396
Benson, B., Freeman-, 24(10)381--388
Benson, Bjorn, Freeman-, 22(12)48--60
Benson, D. B., 22(9)38--43
Benson, Eric, 17(6)276--283
Benson, Eric, see Griss, Martin L.
Benson:1987:WR, 22(9)38--43
bent, 20(8)64--70
Berenbaum, Alan D., 17(4)30--38, 22(10)158--163
Berenbaum, Alan D., see Ditzel, David R.
Berenbaum:1982:OSL, 17(4)30--38
Berg, Richard A., 22(1)70--76
Berg, Richard A., see Mital, Rakesh M.
Berghel, H., 21(2)46--61
Berghel, H., see Weeks, J.
Berghel, H. L., 19(8)65--76
Berghel, Hal, 21(1)19--27, 23(1)127--134
Berghel:1984:MPS, 19(8)65--76
Berghel:1986:SVP, 21(1)19--27
Berghel:1988:MPI, 23(1)127--134
Bergin, Joseph, 23(3)73--82
Bergin:1988:WDM, 23(3)73--82
Bergstra, J. A., 16(4)27--32
Bergstra:1981:CDS, 16(4)27--32
Bergstra:1981:ICD, 16(4)27--32
Berkeley, 19(5)157--167, 19(8)51--61, 19(9)37--48, 20(9)52--76, 21(11)303--314, 22(7)64--73
Berman, Francine, 23(9)222--243
Berman, Francine, see Stramm, Bernd
Bermudez, Manuel E., 21(7)136--144
Bermudez:1986:PAL, 21(7)136--144
Berns, G. M., 4(1)25--32
Berns:1985:SFR, 4(1)25--32
Bernstein, D., 0(0)263--273
Bernstein, David, 21(7)1--10, 24(7)258--263
Bernstein, Susan L., 15(2)74--81
Bernstein, Susan L., see Weber, Manfred
Bernstein:1986:OCE, 21(7)1--10
Bernstein:1987:SAL, 0(0)263--273
Bernstein:1989:SCM, 24(7)258--263
Berry, Daniel M., 18(2)46--56
Berry-heap, 20(11)30--38
Berry:1983:NMG, 18(2)46--56
Berryheap, 20(11)30--38
Bershad, Brian N., 23(9)1--9
Bershad:1988:OEB, 23(9)1--9
Berson, S., 24(10)287--296
Berson, S., see Page, Jr., T. W.
Beshers, George McArthur, 18(6)34--42, 20(7)34--42
Beshers:1983:MCA, 18(6)34--42
Beshers:1985:MCA, 20(7)34--42
besides, 24(6)32--34
best, 16(1)110--111, 16(1)141--143, 20(8)88--92, 22(7)165--176, 24(3)55--56
BETA, 20(4)57--70, 24(10)397--406
Beta, 21(10)133--142
better, 18(3)32--35, 18(8)81--90, 20(8)28--31, 20(8)38--40, 21(11)224--231, 21(11)391--405, 22(3)83--94, 22(3)121--122, 22(7)264--273, 23(7)67--78, 23(8)19--22, 23(12)38--44, 23(12)69--78, 24(4)165--167, 24(6)11--19, 24(6)91--96, 24(7)275--284, 24(8)8--12
Beug, J. L., 21(11)303--314
Beug, J. L., see Bhaskar, K. S.
beyond, 16(2)77--82, 17(9)34--43, 20(8)88--92
Bezivin, Jean, 22(12)394--405
Bezivin:1987:SEO, 22(12)394--405
Bhaskar, K. S., 18(10)8--11, 21(11)303--314
Bhaskar:1983:HOO, 18(10)8--11
Bhaskar:1986:VIO, 21(11)303--314
Bhasker, J., 23(1)92--108
Bhasker:1988:IOC, 23(1)92--108
Bhatia, Sanjiv, 23(1)127--134
Bhatia, Sanjiv, see Berghel, Hal
Bhatti, M. A., 23(4)56--64
Bhatti:1988:IEE, 23(4)56--64
Bhujade, Moreshwar R., 22(8)24--26
Bhujade:1987:VSB, 22(8)24--26
bias, 16(1)174--176
bibliographic, 16(1)124--125
bibliography, 15(3)35--44, 15(10)63--75, 15(12)17--30, 16(6)157--160, 16(8)14--26, 16(10)9--12, 17(8)74--83, 17(10)62--72, 18(11)21--23, 19(2)17--27, 19(7)25--27, 19(8)41--50, 20(8)20--27, 21(5)31--38, 23(2)19--26
BibTeX, 18(8)130--139
biconditionals, 20(1)20--26
Bielak, Richard, 20(12)13--17
Bielak:1985:AVM, 20(12)13--17, 21(5)45--49
Bierman, Keith H., 23(1)135--136
Bierman:1988:PIO, 23(1)135--136
big, 4(2)16--16, 15(6)19--27, 16(8)41--49, 17(11)24--30, 20(11)27--29
billion, 21(11)87--106
bin, 20(2)32--41
binary, 0(0)0--0, 0(0)18, 0(0)20, 0(0)36, 14(3)51--62, 15(6)64--67, 16(4)51--63, 16(6)17--21, 16(10)60--61, 17(10)13--22, 18(2)39--45, 20(5)16--20, 21(4)32--41, 21(10)163--172, 22(2)9--25, 22(11)35--43, 24(5)102--111, 24(6)35--36
bind, 24(4)25--27
binding, 0(0)85--97, 0(0)98--106, 15(7)26--35, 21(10)88--97, 21(11)140--150, 22(6)69--75, 23(4)27--34, 23(7)57--66, 23(7)199--208, 24(4)25--27, 24(4)149--151, 24(9)152--157
Binding, Carl, 20(9)21--26
Binding:1985:CCC, 20(9)21--26
Binkley, D., 23(7)35--46
Binkley, D., see Horwitz, S.
BINS, 20(2)32--41
Biology, 21(11)368--376
Bird, Peter L., 17(6)44--55
Bird:1982:ICG, 17(6)44--55
birds, 15(11)139--145
Birtwistle, Graham, 20(1)9--10, 23(2)36--43
Birtwistle:1985:CH, 20(1)9--10
Birtwistle:1988:MPP, 23(2)36--43
Bishop, Judy M., 15(11)235--242
Bishop:1980:EMD, 15(11)235--242
Bisiani, Roberto, 22(10)21--30
Bisiani:1987:ASM, 22(10)21--30
Bisimulation, 0(0)229--239, 0(0)344--352
bit, 15(6)46--60, 15(9)58--60, 16(1)36--39, 17(2)49--52, 17(4)77--80, 17(4)158--166, 18(8)145--148, 19(6)132--143, 21(11)131--139, 21(11)269--276
bit, 16-, 0(0)13--15, 17(4)167--176, 21(11)87--106
bit, 32-, 0(0)13--15, 17(4)30--38, 17(4)167--176
bit-map, 16(6)34--43
bitmap, 18(8)190--200, 20(7)148--160
bitmapped, 21(6)18--27
Bixler, David C., 16(2)12--12
Bixler:1981:ASS, 16(2)12--12
Bj{\o}rner, Dines, 15(11)213--222, see L{\o}vengreen, Hans Henrik
Bjornerstedt, Anders, 23(11)206--221
Bjornerstedt:1988:AOM, 23(11)206--221
BKGEN, 22(7)14--25
Black, Andrew, 21(11)78--86
Black, David L., 24(1)45--56
Black:1986:OSE, 21(11)78--86
Black:1989:MEH, 24(1)45--56
blackbox, 24(1)271--282
Blackjack, 21(12)124--130
Blair, G. S., 24(2)183--190
Blair, G. S., see Walpole, J.
BLAS, 20(11)11--13
BLAT80, 17(11)24--30
Blatt, D. W. E., 15(6)19--27
Blatt:1980:GBS, 15(6)19--27
BLAZE, 24(4)40--42
blaze, 24(4)40--42
blends, 21(11)17--29
BLISS, 17(4)177--184
BLISS-11, 17(6)261--275
Blit, 18(8)190--200
block, 15(4)1--66, 15(5)20--23, 15(5)41--48, 15(11)223--234, 16(1)77--82, 16(1)112--114, 16(4)70--80, 16(6)99--107, 17(6)197--204, 17(7)62--71, 17(9)62--71, 18(8)145--148, 19(6)106--110, 20(4)57--70, 20(6)47--55, 20(7)83--92, 20(8)28--31, 21(0)99999999, 21(5)45--49, 21(10)133--142, 21(10)186--186, 21(11)107--118, 21(11)167--176, 21(11)202--213, 21(12)158--166, 22(7)14--25, 22(8)24--26, 23(7)105--114, 23(7)145--153, 23(7)318--328, 23(12)151--157, 24(5)112--120
Block, F. P., 24(10)151--157
Block-and-Actions, 22(7)14--25
block-and-actions, 22(7)14--25
Block-Structured, 24(3)46--54
block-structured, 16(1)180--182, 16(6)28--33, 17(4)81--86, 18(3)46--47, 19(2)47--57, 20(7)83--92, 20(8)73--77, 23(12)115--124, 24(3)46--54
Block:1989:EFL, 24(10)151--157
blocking, 19(11)59--62, 20(1)20--26, 20(8)28--31
blocking, non-, 23(12)51--62
Bloom, B., 0(0)229--239
Bloom, Toby, 22(12)441--451
Bloom:1987:IDO, 22(12)441--451
Bloom:1988:BCB, 0(0)229--239
Blott, S., 0(0)60--76
Blott, S., see Wadler, P.
Blower, M. I., 19(6)259--265
Blower:1984:EIV, 19(6)259--265
Blum, E. K., 15(11)202--212
Blum, E. K., see Belz, F. C.
blurred, 24(7)330--343
Bn, 20(9)77--85
BNF, 15(10)57--62, 16(9)29--41, 17(10)73--78, 18(7)25--44, 18(10)25--32, 18(12)60--68
board, 21(12)99--110
board, on-, 17(6)327--333
Bobrow, 16(1)124--125
Bobrow, D. G., 21(11)17--29, 21(11)242--242
Bobrow, D. G., see Kahn, K.
Bobrow, Daniel G., 21(10)29--38, 21(11)17--29, 21(11)159--166, 21(11)242--257, 23(z)1--142
Bobrow, Daniel G., see Kahn, Kenneth, see Mittal, Sanja
Bobrow:1986:CLM, 21(11)17--29
Bobrow:1986:CML, 21(11)17--29
Bobrow:1988:CLO, 23(z)1--142
BobrowGoldstein80, 16(1)124--125
Bochmann, G., von, 18(8)53--59
Boddy, David E., 17(12)27--30, 18(5)15--24, 19(2)38--46, 23(12)115--124
Boddy:1982:SSA, 17(12)27--30
Boddy:1983:IDA, 18(5)15--24
Boddy:1984:DMP, 19(2)38--46
Boddy:1988:SMB, 23(12)115--124
Boden, N. J., 24(4)66--68
Boden, N. J., see Athas, W. C.
Bodwin, James, 17(6)216--229
Bodwin:1982:EEC, 17(6)216--229
body, 16(1)118--120, 20(11)39--46, 21(8)31--39, 23(7)241--249, 24(7)246--257
Boehm, H. J., 22(7)214--221
Boehm, Hans--Juergen, 21(7)186--195
Boehm, Hans-J., 24(7)192--206
Boehm:1986:IR, 21(7)186--195
Boehm:1987:CRI, 22(7)214--221
Boehm:1989:TIP, 24(7)192--206
BOF, 23(5)41--42
Bohlender, G., 23(8)83--92
Bohlender:1988:NDP, 23(8)83--92
Boley, H., 21(12)87--98
Boley:1986:RRF, 21(12)87--98
Bollella, Gregory, 24(6)37--48
Bollella, Gregory, see Coggins, James M.
Bollmann, P., 24(8)23--33
Bollmann, P., see Zuse, H.
Bonar, Jeffrey, 21(11)269--276
Bonar:1986:OOA, 21(11)269--276
Bondy, J., 22(5)58--63
Bondy:1987:UMA, 22(5)58--63
Bonet, Rafael, 16(9)29--41
Bonet:1981:ASD, 16(9)29--41
bonus, 19(9)37--48
Booch, Grady, 16(9)42--47, 17(1)18--22
Booch:1981:DSD, 16(9)42--47
Booch:1982:NSC, 17(1)18--22
book, 0(0)xvii--308, 16(5)16--18, 16(5)z--z, 16(8)6--9, 16(8)10--13, 16(8)z--z, 17(1)4--8, 17(1)z--z, 17(2)17--19, 17(2)z--z, 21(4)21--21, 22(8)13--13, 24(3)20--22, 24(11)27--28
Boolean, 18(1)42--46, 19(7)9--17, 21(11)417--423
Boone, John, 24(11)27--28
Boone:1989:BRW, 24(11)27--28
bootstrap, 15(11)176--182, 19(6)259--265
Boral, Haran, 21(7)1--10
Boral, Haran, see Bernstein, David
border, 16(1)126--127
Boreham, Tim, 15(2)51--63
Boreham, Tim, see Lee, Godfrey
Borger, Mark W., 22(1)199--207
Borger, Mark W., see Weiderman, Nelson H.
Borgida, A., 19(5)89--95
Borgida, A., see Minsky, N.
Borgida, Alex, 21(10)183--183
Borgida, Alexander, 21(10)107--119
Borgida, Alexander T., 16(1)98--100
Borgida:1981:DAE, 16(1)98--100
Borgida:1986:CEB, 21(10)183--183
Borgida:1986:EOO, 21(10)107--119
Borison, E., 18_6S_100_111
Borison, E., see Shaw, M.
Borkan, Martha S., 15(11)62--71
Borkan, Martha S., see Sherman, Mark S.
Borning, A., 24(10)381--388
Borning, A., see Moloney, J.
Borning, Alan, 22(12)48--60
Borning:1987:CH, 22(12)48--60
Borras, P., 24(2)14--24
Borras:1989:CS, 24(2)14--24
Borriello, Gaetano, 22(10)136--145
Borriello:1987:RVC, 22(10)136--145
borrowed, 22(7)64--73
Borsari, R. A., 24(10)191--202
Borsari, R. A., see Shah, A. V.
Bos, J., Van Den, 24(10)95--102
Bos, Jan van den, 15(6)77--81, 22(9)14--19, 24(4)149--151
Bosch, Peter van den, 17(3)83--92
Boston, 0(0)x--303, 15(0)vii--242, 17(0)z, 24(0)viii--257
Boswell, F. D., 18(2)57--61
Boswell:1983:SEP, 18(2)57--61
Bosworth:1989:OPS, 0(0)528
Botella, D., 17(4)132--139
Botella, D., see Sansonnet, J. P.
both, 16(1)112--114, 16(1)115--117, 16(1)118--120, 16(1)126--127, 16(1)141--143, 16(1)147--149, 16(1)192--192, 17(4)2--11, 17(4)117--131, 17(4)132--139, 17(7)39--46, 17(11)24--30, 17(12)59--64, 17(12)80--86, 18(8)63--66, 18(8)67--70, 18(8)81--90, 18(8)130--139, 18(8)145--148, 18(8)180--189, 18(8)203--205, 18(11)34--44, 18(12)112--119, 19(6)117--121, 19(8)65--76, 19(8)77--84, 20(7)28--33, 20(7)74--82, 20(7)93--106, 20(7)161--170, 20(7)179--190, 20(7)245--251, 21(11)17--29, 21(11)78--86, 21(11)258--268, 21(11)269--276, 21(11)277--283, 21(11)322--330, 22(7)45--55, 22(7)102--112, 22(7)132--137, 22(7)150--152, 22(7)153--164, 22(7)205--213, 22(7)283--291, 23(7)95--104, 23(12)51--62, 23(12)98--102, 23(12)103--114, 24(3)55--56, 24(4)66--68, 24(4)174--176, 24(5)83--86, 24(5)112--120, 24(6)59--68, 24(7)13--27, 24(7)207--217, 24(7)258--263, 24(7)264--274, 24(7)285--297, 24(7)322--329, 24(7)344--355, 24(10)337--345
Bothe, K., 24(9)60--65
Bothe:1989:PHS, 24(9)60--65
bottom, 19(5)1--6
bottom-up, 0(0)168--177, 15(11)47--56, 16(3)85--98, 20(6)16--19, 21(11)303--314, 24(6)55--58, 24(7)227--237
Boudier, Gerard, 24(2)248--257
Boudier:1989:OPP, 24(2)248--257
Bougé, L., 0(0)240--249
Bouge:1988:CAS, 0(0)240--249
bound, 18(8)190--200, 19(3)12--20, 21(11)472--482, 23(12)103--114, 24(4)149--151, 24(7)28--40, 24(7)146--160, 24(7)285--297
boundary, 16(1)126--127, 20(7)107--116, 20(8)60--63, 21(11)159--166, 22(7)150--152, 22(7)264--273, 23(7)35--46, 23(7)85--94, 23(12)98--102
bounded, 24(4)81--83, 24(4)165--167, 24(7)161--169
Boute, Raymond T., 15(2)17--29
Boute:1980:SAR, 15(2)17--29
box, 16(6)92--98, 16(6)99--107
boxcharts, 22(8)89--98
Boyd, Stowe, 18(4)45--54, 19(3)12--20
Boyd:1983:MC, 18(4)45--54
Boyd:1984:FBG, 19(3)12--20
bracketed, 18(10)44--47
bracketing, 16(4)64--67
Bradley, Laurette, 17(6)216--229
Bradley, Laurette, see Bodwin, James
Bradshaw, Franklyn T., 15(6)28--33
Bradshaw:1980:PSL, 15(6)28--33
branch, 16(4)51--63, 17(4)96--99, 17(4)177--184, 22(7)241--252
branching, 15(6)46--60, 18_6S_202_211
Brand, Daniel, 21(1)28--30
Brand:1986:TP, 21(1)28--30
Brando, T. J., 24(4)99--101
Brando, T. J., see Bensley, E. H.
Brando, Thomas J., 23(11)316--322
Brando, Thomas J., see Bensley, Edward H.
Braunschober, W., 22(3)78--82
Braunschober:1987:CCP, 22(3)78--82
Bray, Gary, 19(6)276--284
Bray:1984:SCA, 19(6)276--284
break, 16(6)117--122, 21(11)341--346, 21(11)347--349
breaking, 16(0)z, 16(6)117--122
breakpoint, 17(4)140--148, 18(8)4--8, 22(7)92--101, 22(7)165--176
breakpointing, 22(7)102--112
Breazu--Tannen:1987:CVC, 0(0)238--245
Breazu-Tannen, V., 0(0)238--245
breed, 24(5)83--86
Breguet, Pierre, 20(1)11--19
Breguet:1985:SPL, 20(1)11--19
Brender, Ronald F., 15(10)27--34
Brender:1980:CAA, 15(10)27--34
Brevity, 16(10)53--59
bridge, 24(7)344--355
brief, 16(1)5--12, 16(1)104--106, 19(8)94--103, 20(7)12--18, 20(7)28--33, 21(11)9--16, 24(7)322--329
briefly, 16(1)98--100, 16(1)135--137, 16(1)147--149, 16(1)177--179, 17(4)149--157, 18(12)17--24, 21(11)9--16, 21(11)472--482, 24(4)136--138
Brigade, 24(5)38--46
brigade, bucket-, 24(5)38--46
Briggs, Preston, 24(7)275--284
Briggs:1989:CHR, 24(7)275--284
bring, 16(1)62--71, 16(1)141--143, 23(12)24--37, 24(4)15--17, 24(4)34--36, 24(4)165--167
bringing, 17(11)50--58
Briot, J.-P., 24(10)419--431
Briot, Jean-Pierre, 21(11)258--268, 24(4)15--17, 24(4)69--72
Briot, Jean-Pierre, see Yonezawa, Akinori
Briot:1989:DDI, 24(4)15--17
Briot:1989:OAS, 24(4)69--72
Briot:1989:PEM, 24(10)419--431
British, 15(4)67--69, 17(3)68--73
Britts, Stefan, 23(11)206--221
Britts, Stefan, see Bjornerstedt, Anders
broad, 21(11)303--314
broadcasting, 21(11)242--242, 21(11)242--257
broaden, 20(7)208--215
Brock, Allen, Wirfs-, 21(11)119--130, 21(11)140--150, 23(11)123--134
Brock, R., Wirfs-, 24(10)71--75
Brock, Rebecca, Wirfs-, 23(11)71--82
Brockmeyer, John, 19(12)61--79
Brockmeyer, John, see Wells, Mark B.
Brodie, M. L., 18_6S_94_99
Brodie, M. L., see Ridjanovic, D.
Brodie, Michael L., 16(1)101--103
Brodie:1981:DAD, 16(1)101--103
broken, 20(8)41--50
Bron, C., 20(8)60--63, 24(6)11--19
Bron:1985:NCI, 20(8)60--63
Bron:1989:BWC, 24(6)11--19
Brooks, G., 21(12)37--79
Brooks, G., see Rees, Jonathan
Brooks, Rodney A., 17(6)261--275
Brooks:1982:OCL, 17(6)261--275
Brosgol, Benjamin M., 15(11)101--112
Brosgol:1980:TME, 15(11)101--112
brought, 24(4)168--170, 24(7)120--130
BrouHaHa, 22(12)354--365
Brown, 16(1)131--132, 21(10)49--57, 21(11)202--213
Brown, A. L., 23(4)27--34, 24(10)279--285
Brown, A. L., see Conner, R. C. H., see Morrison, R.
Brown, Channing B., 24(1)112--123
Brown, Channing B., see Feldman, Stuart I.
Brown, Christopher M., 23(9)161--172
Brown, Christopher M., see LeBlanc, Thomas J.
Brown, E. J., 18(12)17--24
Brown:1983:ARD, 18(12)17--24
Browne, James C., 16(3)102--113
Browne, James C., see Tripathi, Anand R.
Brownsmith, Joseph D., 19(8)77--84
Brownsmith:1984:OLP, 19(8)77--84
browser-like, 21(11)350--360
browsers, 19(5)49--56
Bruce, Kim, 21(10)183--184
Bruce, Kim B., 21(10)163--172
Bruce:1986:AMSa, 21(10)163--172
Bruce:1986:AMSb, 21(10)183--184
Brückner, Bernd, Krieg-, 15(11)128--138, 15(11)183--193
Bruegge, Bernd, 18(8)34--44, 23(9)31--41, 24(1)174--182
Bruegge:1983:GPE, 18(8)34--44
Bruegge:1988:PDS, 23(9)31--41
Bruegge:1989:PDS, 24(1)174--182
Brun, G., 20(2)17--20
Brun:1985:TOA, 20(2)17--20
Bruno, Giorgio, 21(11)284--293
Bruno:1986:PNB, 21(11)284--293
Bryant, Barrett R., 23(1)83--91
Bryant, Barrett R., see Chao, Shan-Jon
Bryant, Stephen, 15(11)194--201
Bryant, Stephen, see Dewar, Robert B. K.
BS6192/IS07185, 20(11)39--46
BS6192/ISO7185, 20(11)39--46
BSD, 22(7)45--55
bsd, 20(9)21--26
BSI, 20(11)39--46, 21(12)131--138
bubble, 19(3)66--72
Bubenko, J., 24(4)126--128
Bubenko, J., see Papazoglou, M. P.
Bubenko, Jr., Janis A., 16(1)153--154
Bubenko, Jr., Janis A., see Lundberg, Bengt
Bucket, 24(5)38--46
bucket-brigade, 24(5)38--46
Budd, Timothy A., 23(12)63--68
Budd:1988:TST, 23(12)63--68
buffer, 17(6)67--78, 18(4)66--68, 18(8)140--144, 18(8)145--148, 24(4)165--167, 24(5)38--46
BUFFERS, 17(11)24--30
bug, 18(7)62--64, 18(8)81--90, 24(6)23--31, 24(7)285--297, 24(7)330--343
Buhr, P. A., 20(11)14--22, 24(4)18--21
Buhr:1985:CTM, 20(11)14--22
Buhr:1989:ACS, 24(4)18--21
build, 20(9)43--51, 21(11)119--130, 21(11)368--376, 22(7)113--124, 22(12)192--201, 23(12)24--37, 24(4)60--65, 24(4)87--90, 24(4)191--193, 24(4)203--205, 24(7)28--40
builder, 17(6)205--215, 19(6)94--105, 24(5)121--123
builder, world-, 19(11)18--21
building, 16(1)112--114, 16(1)138--140, 16(1)164--166, 16(1)167--170, 17(4)57--65, 17(5)25--28, 17(6)294--300, 18(12)60--68, 20(7)107--116, 20(7)208--215, 20(7)245--251, 20(10)44--47, 21(11)159--166, 21(11)167--176, 21(11)202--213, 21(11)284--293, 21(11)315--321, 22(7)177--188, 23(9)1--9, 23(11)105--122, 24(4)108--110, 24(4)120--122, 24(4)156--158, 24(5)112--120, 24(7)170--178, 24(10)85--94
built, 17(4)132--139, 17(4)205--209, 18(8)91--95, 18(8)140--144, 20(8)41--50, 21(11)159--166, 21(11)284--293, 21(11)453--465, 22(7)113--124, 22(7)132--137, 22(7)214--221, 22(7)241--252, 24(3)93--161, 24(4)37--39, 24(4)60--65, 24(4)69--72, 24(5)93--101, 24(9)142--151
built-in, 18(12)60--68, 20(9)43--51, 21(12)80--86, 23(8)93--102, 23(12)51--62, 24(4)168--170
Bull, 24(4)105--107
Bulldog, 19(6)37--47
\bullet, 16(1)53--61, 17(4)30--38
Bullis, Bruce, 21(11)9--16
Bullis, Bruce, see Schaffert, Craig
Bulman, Edward, 19(3)21--23
Bulman:1984:WPR, 19(3)21--23
Buneman, 16(1)53--61
Buneman, P., 24(10)445--450
Buneman, P., see Ohori, A.
Buneman, Peter, 16(1)104--106
Buneman:1981:UDT, 16(1)104--106
Burch, Carl, 24(5)102--111
Burch:1989:LBD, 24(5)102--111
burden, 17(4)48--56
burdensome, 17(4)57--65
Bureau, 16(1)126--127
Burgess, C., 16(8)14--26
Burgess:1981:IBL, 16(8)14--26
Burke, Michael, 15(11)194--201, 17(6)67--78, 21(7)162--175, 23(9)77--84
Burke, Michael, see Dewar, Robert B. K.
Burke:1982:PMS, 17(6)67--78
Burke:1986:IDA, 21(7)162--175
Burke:1988:ADP, 23(9)77--84
Burkhard, Neil A., 20(11)23--26
Burkhard:1985:MIC, 20(11)23--26
Burns, A., 18(11)24--33, 23(1)58--66, 23(10)49--58
Burns:1983:EIO, 18(11)24--33
Burns:1988:MIR, 23(10)49--58
Burns:1988:PFL, 23(1)58--66
BURS, 0(0)294--308
burst, 18(8)140--144
Burstall, 16(1)196--197
bus, 24(7)344--355
Bush, William R., 22(10)112--116
Bush:1987:CSR, 22(10)112--116
business, 21(1)19--27, 24(4)197--199
Business--Applications, 24(4)197--199
Business--Data, 24(5)102--111
Businger, A., 20(2)17--20
Businger, A., see Brun, G.
busy, non-, 24(7)258--263
Butcher, J., 23(7)185--198
Butcher, J., see Ballance, R. A.
butterfly, 23(9)161--172
Buxton, J. N., 15(12)17--30
Buxton:1980:IBP, 15(12)17--30
buyer, 21(4)67--69
Buyse, M., 22(1)208--217
Buyse, M., see van Lamsweerde, A.
buzzwords, 16(1)36--39
by-copy, call-, 17(2)24--27
by-example, Macro-, 0(0)77--84
by-line, line-, 16(6)117--122
by-reference, 23(12)24--37
by-reference, call-, 22(7)64--73
by-statement, statement-, 22(7)199--204
by-value, call-, 22(7)64--73
by-value-result, call-, 17(2)24--27
by-word, word-, 18(8)4--8
Bykat, Alex, 17(1)40--41
Bykat:1982:EPI, 17(1)40--41
bypass, 24(0)0--0, 24(7)344--355
byproduct, 17(7)72--79
byte, 17(4)158--166, 17(4)167--176, 21(11)87--106, 24(4)133--135
bytecode, 21(11)107--118, 21(11)131--139, 21(11)140--150