Index file section B for toplas.bib

Last update: Thu Apr 17 02:04:02 MDT 2025

Return to index directory

B

B, 3(4)508--532, 40(2)7--7
b, 22(1)162--186, 34(1)5--5, 39(2)9--9
B-Prolog, 18(6)752--779
B.1.1, 21(5)1028--1075
B.1.4, 9(2)257--276, 19(4)586--616
B.2.m, 14(2)127--144
B.3.2, 8(1)142--153, 10(4)579--601, 14(2)265--297, 15(1)182--205, 17(4)561--575, 18(6)659--682, 21(4)703--746, 22(4)673--700
B.3.3, 14(2)265--297, 21(5)977--1027
B.3.4, 15(1)182--205
B.4.3, 8(1)142--153
B.4.4, 8(1)154--182, 16(6)1661--1674
B.5.1, 8(1)142--153
B.5.2, 16(5)1512--1542, 18(3)235--253, 18(3)300--324
B.6.2, 19(5)726--750
B.6.3, 19(4)586--616
B.7.1, 8(3)344--387
B.7.2, 7(2)270--298
B3, 9(3)367--389
@B3.28, 9(3)367--389
back, 14(3)299--338, 17(4)576--599, 18(6)752--779, 34(1)6--6, 37(4)12--12, 40(3)11--11
back, copy-, 14(2)265--297
Back, Godmar, 27(4)583--630
Back, R. J. R., 10(4)513--554
back-end, 9(4)473--490, 17(4)600--634, 19(1)153--187
Back:1988:DCA, 10(4)513--554
Back:2005:KJR, 27(4)583--630
background, 9(4)491--542, 27(6)1097--1146
Backhouse, R. C., 3(3)318--347
Backhouse, R. C., see Anderson, S. O.
Backhouse, Roland, 6(2)192--214
Backhouse:1984:GDF, 6(2)192--214
backpropagator, 30(2)7--7
backs, roll-, 28(5)942--965
backtrack, 9(2)235--256
backtracking, 1(1)8--26, 8(1)50--87, 9(2)235--256, 15(4)659--680, 17(4)635--671, 18(6)752--779, 20(5)1014--1066, 22(2)296--339, 28(4)696--714
backup, 9(2)277--295
Backus, 4(4)733--757
Backus-Naur, 4(4)615--649
backward, 23(1)73--103, 32(6)23--23, 38(3)8--8, 40(3)11--11
backward-compatible, 31(2)7--7
Bacon, David F., 29(4)20--20
Bacon, David F., see Paz, Harel
bad, 36(4)14--14, 37(3)8--8
Bagrodia, Rajive, 11(4)585--597
Bagrodia, Rajive L., 17(1)16--27
Bagrodia, Rajive L., see Tsay, Yih-Kuen
Bagrodia:1989:SAP, 11(4)585--597
Bahlke, Rolf, 8(4)547--576
Bahlke:1986:PSF, 8(4)547--576
Baillot, Patrick, 44(3)15--15
Baillot:2022:TCP, 44(3)15--15
Baker, 7(4)501--538
Baker, Miles, 42(3)14--14
Baker, Miles, see Coblenz, Michael
Baker, Robert, 39(4)17--17
Baker, Robert, see Trinder, Phil
Baker, T. P., 4(4)601--614
Baker:1982:OPA, 4(4)601--614
Bal, Henri, 23(6)747--775
Bal, Henri, see Maassen, Jason
Bal, Henri E., 20(6)1131--1170, 32(3)9--9
Bal, Henri E., see Hassen, Saniya Ben, see Van Nieuwpoort, Rob V.
Balaban, Ittai, 33(3)9--9
Balaban, Ittai, see Tip, Frank
Balabonski, Thibaut, 38(4)14--14
Balabonski:2016:DFM, 38(4)14--14
Balakrishnan, Gogul, 32(6)23--23
Balakrishnan:2010:WWY, 32(6)23--23
balance, 16(6)1768--1810, 22(5)816--860, 27(6)1049--1096, 42(2)10--10
balanced, 2(1)77--89, 2(1)122--128, 20(5)980--1013, 22(5)816--860
balancing, 16(3)577--604, 20(5)980--1013, 21(1)138--173, 27(6)1097--1146, 36(3)10--10, 40(4)14--14
balancing, load-, 17(5)704--739, 32(3)9--9
Bali, 32(5)19--19
Ball, Thomas, 16(4)1319--1360, 16(5)1399--1410, 27(2)314--343
Ball:1994:ECP, 16(5)1399--1410
Ball:1994:OPT, 16(4)1319--1360
Ball:2005:PPA, 27(2)314--343
Banatre, J. P., 3(1)11--23
Banatre, J. P., see André, F.
Banda, M. Garcia, de la, 18(5)564--614
Banda, M., Garcia De La, 18(5)564--614
Banda, Marí García, De La, 22(2)296--339
Banda, Maria Garcia de la, 17(1)28--44
Banda, Maria Garcia de la, see Codish, Michael
Banda, María García de la, 21(2)189--239, see Bueno, Francisco
bands, 38(3)12--12
Banerjee, Anindya, 29(5)27--27, 35(2)6--6, 40(2)6--6, 42(2)6--6, 44(4)25--25
Banerjee, Anindya, see Amtoft, Torben, see Nanevski, Aleksandar, see Ranganath, Venkatesh Prasad
Banerjee, Debasish, 9(3)441--462
Banerjee, P., 21(6)1251--1297
Banerjee, P., see Kandemir, M.
Banerjee, Prithviraj, 28(5)848--907, 34(2)9--9
Banerjee, Prithviraj, see Joisha, Pramod G.
Banerjee, Utpal, 33(3)10--10
Banerjee:1987:MSR, 9(3)441--462
Banerjee:2011:MFT, 33(3)10--10
Banerjee:2018:LAF, 40(2)6--6
Banerjee:2022:RPL, 44(4)25--25
Bank, D. G., Von, 16(6)1842--1874
banking, 41(3)18--18
banks, 41(3)18--18
Bar-On, Ilan, 7(2)348--357
Bar-On:1985:OPG, 7(2)348--357
Barabash, Katherine, 27(6)1097--1146
Barabash:2005:PIM, 27(6)1097--1146
Baranowski, Marek S., 41(1)2--2
Baranowski, Marek S., see Solovyev, Alexey
barbed, 21(5)914--947, 28(2)290--330
Barbosa, Valmir, 11(4)562--584
Barbosa:1989:CHL, 11(4)562--584
Barbuti, Roberto, 15(1)133--181
Barbuti:1993:GFS, 15(1)133--181
Barnden, J. A., 3(3)293--317
Barnden:1981:NCA, 3(3)293--317
Barnes--Hut, 19(6)942--991
Barratt, Conrad, Cotton-, 41(2)11--11
barrier, 28(1)1--69, 37(3)10--10, 41(1)1--1
Barstow, David, 7(1)1--9
Barstow:1985:CTD, 7(1)1--9
Barthe, Gilles, 31(5)18--18, 33(4)13--13, 35(3)9--9, 36(1)4--4
Barthe:2009:CTO, 31(5)18--18
Barthe:2011:AMC, 33(4)13--13
Barthe:2013:PRR, 35(3)9--9
Barthe:2014:FVS, 36(1)4--4
Bartoletti, Massimo, 31(6)23--23
Bartoletti:2009:LPR, 31(6)23--23
Barua, Rajeev, 36(3)10--10
Barua, Rajeev, see Tzannes, Alexandros
base, 9(3)367--389, 14(4)471--489, 17(4)561--575, 19(1)188--222, 21(3)627--676, 22(3)431--470, 28(3)476--516, 32(2)6--6, 32(5)19--19, 39(2)6--6, 41(1)1--1, 42(2)9--9
base, component-, 20(2)274--301
based, access-, 32(6)22--22
BASED, APPLICATION-, 19(3)525--555
based, array-, 17(2)233--263
based, AspectJ-, 34(2)7--7
based, ATOAM-emulator-, 18(6)752--779
based, attribute-, 8(4)577--608
based, attribute-grammar-, 9(3)408--440
based, BDD-, 30(4)19--19
based, bisimulation-, 28(2)290--330, 34(4)17--17
based, C-, 37(2)5--5
based, CHC-, 43(4)15--15
based, CHC-, 43(4)15--15
Based, Cliché-, 16(1)102--150
based, coalescence-, 32(4)11--11
based, compiler-, 19(3)525--555
based, Component-, 20(2)274--301
based, component-, 20(2)274--301
Based, Constraint-, 20(3)635--678, 40(1)2--2
based, Constraint-, 21(6)1137--1195, 40(1)2--2
based, constraint-, 18(1)30--72, 21(2)370--416, 29(1)1--1, 35(4)14--14, 40(1)2--2
based, Constraint-solving-, 47(1)1--1
based, control-, 20(3)483--545
based, Decomposition-, 46(2)8--8
based, Dependence-, 42(4)19--19
based, dependence-, 42(4)19--19
based, Derivative-, 45(2)9--9
based, derivative-, 45(2)9--9
based, design-pattern-, 31(3)9--9
based, distance-, 31(6)20--20
based, documents-, 41(2)12--12
Based, Elimination-, 20(2)388--435
based, emulator-, 18(6)752--779
based, Equality-, 20(6)1251--1264
based, equality-, 20(6)1251--1264
based, event-, 41(1)1--1
Based, Evidence-, 19(1)188--222
based, evidence-, 19(1)188--222
based, execution-, 34(1)2--2
based, expression-, 4(1)44--82
based, field-, 30(1)4--4
based, fixpoint-, 33(5)15--15
based, Flow-, 17(4)576--599
based, frame-, 40(2)6--6
based, function-, 4(1)44--82
based, Fusion-, 22(3)431--470
based, fusion-, 22(3)431--470
based, game-, 45(3)15--15
based, GLR-, 28(4)577--618
Based, Grammar-, 6(1)20--54
based, graph-, 20(2)344--387, 29(6)35--35
based, hardware-, 18(6)659--682
based, heap-, 22(1)129--161, 41(3)16--16
based, heuristic-, 37(1)2--2
based, history-, 21(5)1028--1075
based, inset-, 34(1)3--3
Based, Interpretation-, 38(2)7--7
based, interpretation-, 39(4)16--16
Based, Interval-, 12(3)341--395
based, invariant-, 27(6)1344--1395
based, Java-, 22(4)638--672
based, LALR(1)-, 17(4)672--689
Based, Language-, 5(3)449--477, 11(2)169--193
based, language-, 8(4)547--576, 8(4)577--608, 9(3)408--440, 13(2)211--236, 45(1)3--3
based, learning-, 40(4)14--14
based, logic-, 14(4)521--573, 34(1)2--2
based, LR-, 23(4)451--471
based, lts-, 28(2)290--330
based, machine-, 4(1)1--20
based, martingale-, 43(2)5--5
Based, Matching-, 17(2)394--429
based, matching-, 17(2)394--429
based, meet-, 32(2)5--5
based, method-, 28(1)134--174
based, monitor-, 27(6)1270--1343
based, norm-, 21(6)1137--1195
Based, Object-, 14(2)201--264
based, object-, 22(3)506--539, 40(2)6--6, 44(4)25--25
based, overloading-, 17(3)431--447
based, PASCAL-, 4(4)552--562
Based, Pattern-, 36(3)9--9
based, Pattern-, 36(3)9--9
based, pattern-, 31(3)9--9, 36(3)9--9
Based, Permission-, 36(1)2--2, 38(4)14--14
based, permission-, 36(4)12--12
Based, Petri-Net-, 20(5)917--979
based, pointer-, 17(2)233--263, 19(6)942--991, 22(3)490--505
based, policy-, 30(6)30--30
Based, Priority-, 12(4)501--536
based, priority-, 31(1)2--2
based, Profile-, 29(1)2--2
based, program-, 19(1)188--222
based, record-, 17(3)431--447
based, refinement-, 36(2)6--6
based, Region-, 22(4)701--771
based, region-, 22(4)701--771, 28(1)134--174, 43(1)3--3, 44(4)22--22
Based, Rely-Guarantee-, 36(1)3--3
based, rely-guarantee-, 43(1)2--2
based, Rely-Guarantee-, 36(1)3--3
based, resolution-, 18(5)528--563, 31(1)5--5
based, rule-, 14(3)339--395, 22(4)583--637, 31(2)8--8
Based, Semantics-, 15(1)36--72, 15(1)133--181
based, semantics-, 30(5)25--25
based, Semiring-, 23(1)1--29
based, semiring-, 23(1)1--29
based, server-, 46(1)4--4
Based, Session-, 40(4)17--17
based, session-, 40(4)17--17
based, Set-, 21(2)370--416
based, set-, 21(2)370--416, 22(1)162--186
based, SFME-, 34(1)3--3
based, simulation-, 33(1)4--4, 43(1)2--2
based, SMT-, 44(4)25--25
based, software-, 43(3)12--12
Based, SSA-, 36(1)4--4
based, SSA-, 36(1)4--4
based, stack-machine-, 4(1)21--36
based, state-, 20(5)917--979
based, suffix-tree-, 22(2)378--415
based, template-, 40(1)1--1
Based, Trace-, 14(3)396--416
based, Trace-, 34(1)5--5
based, trace-, 14(3)396--416
Based, ``Trace-, 15(1)208--208
based, training-, 31(6)20--20
Based, Transducer-, 38(1)1--1
based, transitive-closure-, 34(3)11--11
based, Type-, 22(2)340--377, 29(1)6--6
based, type-, 23(1)30--72, 29(2)10--10, 40(4)16--16
based, type-system-, 45(2)8--8
based, unification-, 8(4)547--576, 20(4)768--844, 22(2)340--377, 30(4)18--18, 42(3)15--15
based, worklist-, 16(5)1472--1511
Based, World-Model-, 7(2)334--347
based-0-CFA, subset-, 20(6)1251--1264
baseline, 30(3)17--17, 32(5)17--17, 35(4)13--13, 40(4)14--14, 43(3)10--10
basic, 4(2)283--294, 4(3)362--381, 4(3)402--454, 4(4)585--600, 5(2)164--189, 6(4)527--545, 9(3)367--389, 14(4)471--489, 15(4)632--658, 15(5)771--794, 16(4)1117--1155, 16(4)1156--1214, 16(4)1319--1360, 16(4)1361--1398, 16(5)1399--1410, 16(5)1613--1647, 17(1)28--44, 17(3)431--447, 17(5)740--776, 18(3)235--253, 18(6)659--682, 19(4)617--638, 19(6)899--915, 20(3)483--545, 20(5)1067--1109, 21(4)747--789, 22(3)431--470, 22(5)861--931, 27(6)1097--1146, 28(4)715--746, 28(4)747--793, 31(5)19--19, 32(2)6--6, 32(4)11--11, 33(1)5--5, 33(5)15--15, 34(1)6--6, 34(4)17--17, 36(4)11--11, 37(3)9--9, 39(2)7--7, 40(3)13--13, 41(1)2--2, 41(4)23--23, 43(3)9--9
basic-block, 16(4)1319--1360
basically, 19(3)444--461
Basili, Victor R., 7(1)137--158
Basili, Victor R., see Dunlop, Douglas D.
basis, 7(2)183--213, 16(3)456--492, 16(4)1361--1398, 18(1)16--29, 19(6)942--991, 20(5)1067--1109, 20(6)1111--1130, 21(1)90--137, 21(3)502--526, 21(5)914--947, 22(2)296--339, 22(3)540--582, 22(4)583--637, 22(4)638--672, 27(6)1216--1269, 31(6)20--20, 32(6)21--21, 33(1)2--2, 33(3)9--9, 33(5)17--17, 40(2)6--6
Basold, Henning, 44(3)18--18
Basold, Henning, see Keizer, Alex C.
Basso, Matteo, 45(2)10--10
Basso:2023:OAC, 45(2)10--10
batch, 8(4)491--523, 13(1)1--20, 16(5)1572--1612, 17(2)394--429
Batcher, 16(6)1737--1767
Bates, Joseph, 16(3)1051--1077
Bates, Joseph L., 7(1)113--136
Bates:1985:PP, 7(1)113--136
Bates:1994:RSL, 16(3)1051--1077
battle, 4(3)382--401
Baumgartner, Gerald, 19(1)153--187
Baumgartner:1997:ISC, 19(1)153--187
Bayesian, 39(4)18--18, 40(4)14--14
BDD, 30(4)19--19
BDD-based, 30(4)19--19
BDDs, 30(4)19--19, 46(2)7--7
BDW, 28(5)908--941
Beach, Richard, 8(4)419--490
Beach, Richard, see Swinehart, Daniel
bear, 16(4)1215--1247
became, 33(3)10--10
because, 4(4)668--677, 4(4)687--710, 5(2)236--264, 9(3)408--440, 9(4)491--542, 13(1)1--20, 15(1)73--132, 15(4)632--658, 16(1)35--101, 16(3)328--369, 16(3)607--648, 16(3)649--686, 16(3)924--938, 16(4)1319--1360, 16(6)1768--1810, 17(1)63--84, 17(4)561--575, 18(1)30--72, 18(4)424--453, 18(6)683--710, 18(6)752--779, 19(1)1--6, 19(3)444--461, 19(4)568--585, 20(4)707--723, 20(4)869--916, 20(6)1223--1250, 21(1)90--137, 21(2)370--416, 21(3)430--501, 21(3)677--701, 21(4)813--847, 22(1)162--186, 22(2)265--295, 22(4)673--700, 22(5)932--972, 28(3)476--516, 28(5)848--907, 28(5)942--965, 29(6)35--35, 30(2)8--8, 30(3)12--12, 30(4)18--18, 30(4)21--21, 32(5)17--17, 34(1)6--6, 35(1)4--4, 36(2)6--6, 36(4)12--12, 38(1)2--2, 38(3)8--8, 39(3)11--11, 40(2)8--8, 45(1)6--6
become, 5(2)127--163, 15(4)632--658, 16(3)370--386, 16(3)727--774, 17(2)366--393, 18(4)424--453, 27(6)1147--1215, 29(1)3--3, 30(3)12--12, 32(1)3--3, 32(4)11--11, 33(5)16--16, 35(1)3--3, 36(2)7--7, 37(4)12--12, 38(3)9--9, 39(1)2--2, 42(2)7--7
becoming, 17(4)600--634, 21(4)703--746, 32(4)14--14, 45(1)2--2
Beemster, Marcel, 16(5)1449--1466
Beemster:1994:SOG, 16(5)1449--1466
before, happens-, 35(1)3--3, 41(3)15--15
begin, 14(2)265--297, 14(4)589--616, 31(3)9--9, 39(4)15--15
\beginitemize, 16(3)1024--1050
beginning, 18(6)683--710
Béguelin, Santiago, Zanella-, 35(3)9--9
behalf, 15(4)706--734
behave, 15(1)73--132, 15(5)876--895, 16(4)1279--1318, 30(2)8--8, 37(1)3--3
behaved, well-, 18(1)73--108
behavior, 9(2)198--234, 13(2)269--290, 14(2)265--297, 15(4)632--658, 15(5)771--794, 15(5)876--895, 16(3)387--427, 16(4)1097--1113, 16(6)1811--1841, 17(1)63--84, 17(1)157--179, 17(2)197--216, 17(2)217--227, 17(2)264--292, 19(1)188--222, 19(3)525--555, 19(5)639--684, 19(5)804--851, 20(1)208--258, 20(2)259--273, 20(2)436--482, 20(3)635--678, 20(5)917--979, 20(5)980--1013, 21(2)370--416, 21(3)569--626, 21(4)703--746, 21(5)914--947, 21(5)977--1027, 22(1)45--86, 22(1)87--128, 22(2)416--430, 26(2)263--300, 28(2)256--289, 28(3)476--516, 28(4)747--793, 29(6)33--33, 30(2)8--8, 30(5)25--25, 30(5)26--26, 31(1)1--1, 31(3)12--12, 31(5)19--19, 31(6)22--22, 32(1)2--2, 32(4)15--15, 32(5)17--17, 34(1)5--5, 34(2)8--8, 34(3)14--14, 35(2)8--8, 36(2)5--5, 36(2)6--6, 36(4)12--12, 38(2)4--4, 38(3)10--10, 40(1)4--4, 44(1)3--3
behavior., 30(5)25--25
behavioral, 16(6)1811--1841, 31(5)19--19, 33(5)16--16, 37(4)13--13
behaviorally, 22(3)540--582
behaviour, 36(2)7--7, 37(1)1--1, 42(1)4--4, 43(2)7--7, 46(3)11--11
behavioural, 42(1)4--4, 44(3)18--18
behaviourally, 42(1)4--4
behind, 33(3)9--9, 35(1)4--4, 35(1)5--5, 41(1)2--2
being, 4(4)650--667, 5(3)405--421, 7(1)62--79, 7(4)501--538, 8(4)491--523, 9(2)277--295, 14(1)54--106, 15(4)632--658, 16(3)387--427, 16(3)843--871, 16(3)986--1009, 16(3)1051--1077, 16(5)1648--1659, 17(1)63--84, 17(4)561--575, 19(3)525--555, 20(1)116--165, 20(4)707--723, 20(4)768--844, 21(1)11--45, 21(4)848--894, 21(5)948--976, 21(5)1028--1075, 21(6)1077--1136, 30(5)25--25, 30(5)26--26, 30(6)31--31, 31(6)21--21, 34(1)3--3, 34(2)9--9, 36(4)14--14, 37(2)6--6, 37(3)8--8, 38(3)9--9, 39(1)4--4, 39(2)7--7, 40(3)11--11, 42(1)4--4, 44(1)5--5
belief, 20(3)586--634
believe, 15(4)706--734, 20(4)869--916, 38(3)8--8, 38(4)15--15, 39(4)14--14
Belknap, Steven M., 40(3)10--10
Belknap, Steven M., see Florence, Spencer P.
Belo, 39(1)3--3
belong, 14(2)201--264, 18(1)1--15
belonging, 13(1)150--178
below, 16(3)456--492, 16(3)843--871, 34(2)7--7, 40(3)12--12, 41(1)1--1
Beltway, 29(1)2--2
Ben-Amram, Amir M., 29(1)5--5, 30(3)16--16, 34(4)16--16
Ben-Amram:2007:PTA, 29(1)5--5
Ben-Amram:2008:SCT, 30(3)16--16
Ben-Amram:2012:TIL, 34(4)16--16
Ben-Ari, 15(1)1--35
Ben-Ari, Mordechai, 6(3)333--344
Ben-Ari:1984:AFG, 6(3)333--344
Ben-Yitzhak, Ori, 27(6)1097--1146
Ben-Yitzhak, Ori, see Barabash, Katherine
benchmark, 16(3)328--369, 16(4)1248--1278, 16(5)1431--1448, 17(2)233--263, 17(4)600--634, 17(5)740--776, 18(1)30--72, 18(4)424--453, 19(6)853--898, 19(6)1031--1052, 20(1)166--207, 20(3)635--678, 21(3)627--676, 21(6)1251--1297, 22(2)265--295, 23(1)30--72, 27(6)1097--1146, 28(5)848--907, 28(5)942--965, 29(1)2--2, 30(1)4--4, 30(4)18--18, 30(4)20--20, 30(5)28--28, 30(6)32--32, 30(6)33--33, 31(6)20--20, 32(6)24--24, 33(1)3--3, 34(1)4--4, 34(1)5--5, 34(2)9--9, 35(1)3--3, 35(3)11--11, 35(4)13--13, 36(3)10--10, 38(3)12--12, 39(2)8--8, 39(4)17--17, 40(3)9--9, 40(4)15--15, 41(1)1--1, 41(1)2--2, 41(1)3--3, 41(2)12--12, 41(3)15--15, 41(3)16--16, 41(3)17--17, 41(3)18--18, 41(3)19--19, 41(4)23--23, 42(3)15--15
Bendersky, Anna, 34(3)13--13
Bendersky:2012:SOB, 34(3)13--13
Benedikt, Michael, 27(4)786--818
Benedikt, Michael, see Alur, Rajeev
beneficial, 21(3)569--626, 22(5)816--860, 44(4)22--22
benefit, 4(1)113--119, 9(4)491--542, 13(1)52--98, 16(1)151--174, 16(3)305--327, 16(4)1156--1214, 16(4)1319--1360, 18(5)615--647, 18(6)683--710, 19(3)525--555, 20(1)208--258, 20(2)344--387, 20(6)1171--1194, 21(2)189--239, 22(2)187--223, 22(5)932--972, 23(1)30--72, 27(6)1270--1343, 28(3)517--575, 28(4)747--793, 29(1)2--2, 30(4)21--21, 31(2)6--6, 32(6)23--23, 35(1)5--5, 38(2)6--6, 38(3)9--9, 39(4)15--15, 40(1)3--3, 40(3)10--10, 40(4)16--16, 41(1)4--4
Bengtson, Jesper, 33(2)8--8
Bengtson:2011:RTS, 33(2)8--8
benignly, 16(3)986--1009
Benton, Nick, 26(5)769--804
Benton:2004:MCA, 26(5)769--804
Berger, Emery D., 41(4)21--21
Berger:2019:IPL, 41(4)21--21
Bergeretti, Jean-François, 7(1)37--61
Bergeretti:1985:IFD, 7(1)37--61
Bergstra, J. A., 19(5)639--684
Bergstra:1997:TCT, 19(5)639--684
Berkeley, 15(4)632--658
Bermudez, Manuel E., 10(2)338--342
Bermudez:1988:NRB, 10(2)338--342
Bermudo, Nerina, 26(2)263--300
Bermudo, Nerina, see Vera, Xavier
Bernardeschi, C., 31(1)3--3
Bernardeschi:2008:DBV, 31(1)3--3
Bernays, 19(6)899--915
Bernstein, 2(2)234--238
Bernstein, Arthur, 2(2)234--238
Bernstein, David, 11(1)57--66
Bernstein, Philip A., 2(1)77--89
Bernstein, Philip A., see Papadimitriou, Christos H.
Bernstein, Phillip A., 2(3)386--414
Bernstein, Phillip A., see Casanova, Marco R.
Bernstein:1980:OGN, 2(2)234--238
Bernstein:1989:SEP, 11(1)57--66
Berry, 16(3)605--606
Berry, Daniel, 16(3)605--606
Berry, Daniel, see Arbab, Bijan
Berry, Daniel M., 7(2)214--243, 9(3)390--407, 10(3)503--504
Berry, Daniel M., see Yemini, Shaula
Bertrand, Meven, Lennon-, 44(2)7--7
Bertsch, Eberhard, 21(1)1--10
Bertsch:1999:FPT, 17(4)672--689, 21(1)1--10
Berzins, V., 16(6)1875--1903
Berzins:1994:SMS, 16(6)1875--1903
Besides, 21(1)138--173, 30(5)26--26, 30(6)32--32, 41(4)20--20
best, 5(3)405--421, 6(4)546--572, 16(3)524--576, 16(3)798--842, 16(6)1675--1683, 17(2)181--196, 18(4)424--453, 19(1)188--222, 20(4)768--844, 21(3)502--526, 21(3)627--676, 21(3)677--701, 28(1)106--133, 28(4)715--746, 29(1)3--3, 30(3)17--17, 31(2)8--8, 32(4)13--13, 32(6)24--24, 34(1)5--5, 34(4)17--17, 36(3)10--10, 36(4)11--11, 41(1)2--2, 41(2)12--12, 42(4)17--17
best-effort, 43(3)10--10
best-known, 18(2)175--234, 40(3)9--9, 41(4)20--20
[beta, alpha]-, 20(5)1014--1066
beta, alpha-, 9(2)235--256
beta-reduction, 17(1)47--62
beta-reduction., 17(1)47--62
better, 1(2)258--265, 10(2)267--281, 12(4)643--669, 13(2)237--268, 16(3)1010--1023, 16(4)1319--1360, 16(5)1613--1647, 16(6)1768--1810, 17(2)181--196, 18(1)1--15, 18(4)401--423, 18(6)730--751, 19(6)853--898, 20(3)635--678, 20(4)768--844, 21(5)977--1027, 21(5)1028--1075, 22(2)378--415, 23(2)105--186, 28(1)175--205, 28(5)848--907, 28(5)908--941, 29(1)2--2, 30(1)4--4, 30(3)17--17, 32(3)9--9, 32(4)11--11, 32(4)13--13, 38(3)11--11, 38(4)15--15, 39(1)2--2, 40(3)13--13, 41(2)12--12, 41(3)15--15, 41(3)17--17, 41(3)19--19
better-structured, 18(2)139--174
Betts, Adam, 37(3)10--10
Betts:2015:DIV, 37(3)10--10
Beyer, Eric, 1(2)287--294
Beyer:1979:SED, 1(2)287--294
beyond, 16(3)305--327, 17(1)85--122, 19(3)525--555, 30(3)12--12, 31(1)4--4, 31(3)12--12, 31(4)16--16, 35(2)8--8, 41(2)10--10, 41(3)17--17
Bhargavan, Karthikeyan, 30(6)30--30, 31(1)5--5, 33(2)8--8
Bhargavan, Karthikeyan, see Bengtson, Jesper
Bhargavan:2008:VII, 31(1)5--5
Bhargavan:2008:VPB, 30(6)30--30
Bhaskaracharya, Somashekaracharya G., 38(3)11--11
Bhaskaracharya:2016:ASO, 38(3)11--11
Bhatia, Sapan, 30(4)22--22
Bhatia:2008:RSE, 30(4)22--22
Bi, Xuan, 42(1)2--2
Bi, Xuan, see Xie, Ningning
bi-abduction, 33(5)17--17
BI-hyperdoctrines, 29(5)24--24
bias, 41(4)21--21
biased, 27(6)1344--1395
Bic, Lubomir, 9(4)618--645
Bic:1987:DDM, 9(4)618--645
bidirectional, 15(2)312--336, 16(5)1472--1511, 17(5)777--803, 29(3)17--17, 30(5)28--28, 42(1)2--2, 47(1)2--2
Bieber, David, 44(2)10--10
Bieber, David, see Shi, Kensen
Bieniusa, Annette, 46(1)2--2
Bieniusa, Annette, see Haas, Julian
Biering, Bodil, 29(5)24--24
Biering:2007:BHH, 29(5)24--24
Bierman, Gavin, 29(4)22--22
Bierman, Gavin, see Stoyle, Gareth
Biernacki, Dariusz, 38(1)2--2
Biernacki:2015:DCP, 38(1)2--2
big, 28(4)619--695, 31(3)12--12, 39(1)5--5, 46(4)12--12
big-step, omni-, 45(1)5--5
bigger, 22(4)638--672
Biglari-Abhari, Morteza, 45(2)11--11
Biglari-Abhari, Morteza, see Yip, Eugene
Bihari, Eva, 39(4)17--17
Bihari, Eva, see Trinder, Phil
bijective, 21(3)677--701
Bilardi, Gianfranco, 19(3)462--491
Bilardi, Gianfranco, see Pingali, Keshav
Bilas, Angelos, 46(4)12--12
Bilas, Angelos, see Kolokasis, Iacovos G.
bilinear, 34(1)3--3
bin-packing, 30(4)23--23
binary, 4(2)239--257, 4(3)345--361, 16(5)1648--1659, 16(6)1699--1718, 18(2)139--174, 18(4)401--423, 19(3)492--524, 20(2)302--343, 21(5)948--976, 23(1)73--103, 25(2)210--224, 27(1)1--45, 27(5)882--945, 28(2)256--289, 28(3)517--575, 29(1)3--3, 29(2)12--12, 30(4)19--19, 31(5)17--17, 32(2)5--5, 33(4)12--12, 38(3)8--8, 46(2)7--7
binary-rewriting, 22(2)378--415
binder, 8(2)244--263, 10(3)470--502
Binder, Walter, 41(3)19--19, 45(2)10--10
Binder, Walter, see Basso, Matteo, see Rosà, Andrea
bindercsp, 6(1)68--93
binding, 14(1)28--53, 14(2)147--172, 18(6)711--729, 19(1)48--86, 21(5)948--976, 40(3)12--12
binding, name-, 30(5)26--26
binding-time, 17(1)47--62, 18(6)730--751, 19(5)751--803, 22(5)932--972, 27(6)1147--1215
Binkley, David, 12(1)26--60, 30(1)3--3, 32(1)1--1, 35(2)7--7
Binkley, David, see Harman, Mark, see Horwitz, Susan
Binkley:2007:ESO, 30(1)3--3
Binkley:2013:EIL, 35(2)7--7
bipartite, 41(2)12--12
Bird, R. S., 6(4)487--504, 7(3)490--492
Bird:1984:PAS, 6(4)487--504, 7(3)490--492
Bird:1985:APA, 6(4)487--504, 7(3)490--492
Birkedal, Lars, 20(4)724--767, 29(5)24--24, 30(4)24--24, 38(2)4--4, 42(1)1--53
Birkedal, Lars, see Biering, Bodil, see Dodds, Mike, \see{Skorstengaard, Lau, see Tofte, Mads, \see{Torp-Smith, Noah
Birman, Kenneth P., 16(3)986--1009
Birman, Kenneth P., see Reiter, Michael K.
Birrell, 27(6)1344--1395
Birrell, Andrew, 33(1)2--2
Birrell, Andrew, see Abadi, Martín
birth, pre-, 41(1)3--3
Bischof, Simon, 44(1)2--2
Bischof, Simon, see Hecker, Martin
bisimilar, 34(4)17--17
bisimilarity, 31(4)15--15, 33(1)5--5, 41(4)22--22, 42(1)4--4
bisimulation, 19(6)899--915, 21(5)914--947, 28(2)290--330, 31(4)15--15, 33(1)5--5, 34(4)17--17, 38(2)7--7, 41(4)22--22
bisimulation-based, 28(2)290--330, 34(4)17--17
Bison, 17(4)672--689
Bistarelli, Stefano, 23(1)1--29
Bistarelli:2001:SBC, 23(1)1--29
bit, 3(2)126--143, 16(5)1472--1511, 29(6)38--38, 36(4)11--11, 37(1)1--1, 40(1)3--3
bit, 32-, 28(1)106--133
bit, 64-, 28(1)106--133
Bit-flips, 40(1)3--3
bit-manipulating, 19(3)492--524
Bit-Precise, 40(1)1--1
bit-precise, 36(4)11--11, 40(1)1--1
bit-vector, 20(6)1111--1130
bit-vectors, 40(2)5--5
bit-width, 37(1)1--1
bitmaps, 14(1)1--27
bitvector, 18(3)268--299
bivariant, 28(5)795--847
Black, Andrew P., 28(2)331--388
Black, Andrew P., see Ducasse, Stéphane
blackboard, 13(1)99--123
Blackburn, Jeremy, 39(1)4--4
Blackburn, Jeremy, see Ligatti, Jay
Blackburn, Stephen M., 28(3)476--516, 29(1)2--2, 38(4)15--15
Blackburn, Stephen M., see Hertz, Matthew
Blackburn:2007:PBP, 29(1)2--2
Blackburn:2016:TWT, 38(4)15--15
blame, 35(3)11--11
Blanchet, Bruno, 25(6)713--775
Blanchet:2003:EAJ, 25(6)713--775
Blanco, Roberto, 43(4)14--14
Blanco, Roberto, see Abate, Carmine
BLAS3, 34(1)3--3
blasting, 36(4)11--11
Bleckner, Colin, 26(5)836--889
Bleckner, Colin, see Millstein, Todd
Blelloch, Guy E., 21(1)138--173, 21(2)240--285, 28(6)990--1034, 32(1)3--3
Blelloch, Guy E., see Acar, Umut A., see Greiner, John, see Narlikar, Girija J.
blend, 40(4)16--16
Blindell, Gabriel Hjort, 41(3)17--17
Blindell, Gabriel Hjort, see Lozano, Roberto Castañeda
Bliss, 37(1)1--1
block, 4(4)585--600, 6(4)527--545, 13(3)372--398, 14(2)265--297, 15(4)632--658, 16(3)456--492, 16(4)1117--1155, 16(4)1156--1214, 16(4)1319--1360, 16(5)1399--1410, 17(4)561--575, 17(5)740--776, 18(1)1--15, 18(3)235--253, 18(6)659--682, 21(1)1--10, 22(3)431--470, 30(6)31--31, 32(4)11--11, 33(1)2--2, 36(4)11--11, 43(2)6--6, 44(4)22--22
block, basic-, 16(4)1319--1360
block-cyclic, 21(6)1251--1297
Block-Structured, 3(3)263--292
Blockchain, 42(3)14--14
blockchains, 42(3)14--14, 45(3)17--17
blocked, 17(4)561--575
blocking, 17(4)561--575, 21(4)703--746, 43(4)16--16
blocking, non-, 34(1)6--6
blocks-in, 9(3)367--389
Bloem, Yannick, 42(3)14--14
Bloem, Yannick, see Coblenz, Michael
Bloss, Adrienne, 16(3)328--369
Bloss:1994:PAO, 16(3)328--369
blowup, 39(1)2--2
Blume, Matthias, 21(4)790--812, 21(4)813--847, 32(1)3--3
Blume, Matthias, see Acar, Umut A.
Blume:1999:DAS, 21(4)790--812
Blume:1999:HM, 21(4)813--847
BMC, 44(1)1--1
BNF, 4(1)113--119
Bobrow, Daniel G., 1(2)266--286, 2(3)269--273
Bobrow:1979:CEL, 1(2)266--286
Bobrow:1980:MRS, 2(3)269--273
Bochmann, Gregor V., 5(1)1--25
Bochmann, Gregor V., see Merlin, Philip
Bodden, Eric, 34(2)7--7
Bodden:2012:PEF, 34(2)7--7
body, 16(4)1081--1096, 19(1)188--222, 22(1)1--44, 28(1)134--174, 34(2)9--9, 34(3)12--12, 34(4)16--16
body, N-, 19(6)942--991
Boehm, 27(6)1097--1146, 36(1)3--3, 37(3)8--8
Boehm, Hans-J., 34(2)9--9
Boehm, Hans-J., see Joisha, Pramod G.
Boehm, Hans-Juergen, 7(4)637--655
Boehm-Demers-Weiser, 28(5)908--941
Boehm:1985:SEA, 7(4)637--655
Boer, Frank S., De, 19(5)685--725
Boer, Frank de, 46(3)9--9
Boer, Frank S. de, 43(4)17--17
Bohannon, Aaron, 31(4)13--13
Bohannon, Aaron, see Ariola, Zena M.
Böhm, A. P. W., 16(6)1675--1683
Böhm, Wim, 7(4)656--679, see Bruin, Arie de
Bohm:1994:TIP, 16(6)1675--1683
boilerplate, 42(3)14--14
Boker, Udi, 44(2)8--8
Boker, Udi, see Lahav, Ori
Boltzmann, 38(3)12--12
bona, 16(3)456--492
Bond, Michael D., 37(1)4--4
Bond, Michael D., see Porter, Donald E.
Bondhugula, Uday, 38(3)11--11, 38(3)12--12, 42(3)12--12
Bondhugula, Uday, see Bhaskaracharya, Somashekaracharya G., see Jangda, Abhinav
Bondhugula:2016:PAP, 38(3)12--12
Bondorf, 17(1)47--62, 20(6)1251--1264
book, 4(4)668--677
bookkeeping, 16(4)1156--1214, 18(6)752--779
boolean, 16(6)1875--1903, 20(6)1223--1250, 21(5)948--976, 29(3)16--16, 30(4)19--19, 31(4)16--16, 41(2)13--13, 41(3)18--18, 44(3)16--16, 46(2)7--7
Boom, H. J., 4(4)668--677
Boom:1982:WPL, 4(4)668--677
bootstrapped, 16(6)1699--1718
bootstrapping, 16(6)1699--1718
Borning, Alan, 3(4)353--387
Borning:1981:PLA, 3(4)353--387
Borodin, Allan, 11(1)90--114
Borodin, Allan, see Fischer, Michael J.
borrow, 43(1)3--3
borrowing, 21(2)175--188, 43(1)3--3
Börstler, Jürgen, 13(3)295--314
Borstler:1991:TCT, 13(3)295--314
Boruch-Gruszecki, Aleksander, 45(4)21--21
Boruch-Gruszecki:2023:CT, 45(4)21--21
Bos, Jan, van den, 3(3)224--250, 10(2)215--247
Bosnacki, Dragan, 40(3)12--12
Bosnacki, Dragan, see Jacobs, Bart
Bosschere, Koen, De, 27(5)882--945, 29(4)19--19
Bossi, A., 12(2)253--302
Bossi, Annalisa, 16(4)1081--1096
Bossi:1990:MSL, 12(2)253--302
Bossi:1994:TAP, 16(4)1081--1096
Bost, Bernadette, Charron-, 17(1)157--179
Botincan, Matko, 35(2)8--8
Botincan:2013:PDP, 35(2)8--8
bottleneck, 16(6)1768--1810, 25(3)316--359, 27(6)1270--1343, 32(3)9--9
bottom, 13(1)124--149
Bottom-Up, 15(1)133--181
bottom-up, 4(4)601--614, 9(2)125--163, 15(1)133--181, 17(3)461--486, 20(4)707--723, 22(6)973--1001, 28(2)256--289, 33(5)17--17, 42(2)8--8
Bottoni, P., 21(6)1077--1136
Bottoni:1999:SDC, 21(6)1077--1136
Bouajjani, Ahmed, 35(3)10--10
Bouajjani:2013:ARP, 35(3)10--10
Boudeville, Olivier, 39(4)17--17
Boudeville, Olivier, see Trinder, Phil
Boudol, Gérard, 25(5)549--577, 34(2)10--10, see Amadio, Roberto M.
Boudol:2012:RAW, 34(2)10--10
bound, 9(2)235--256, 13(2)211--236, 16(3)607--648, 16(4)1248--1278, 16(5)1472--1511, 17(2)197--216, 18(1)1--15, 19(6)899--915, 20(1)208--258, 20(3)635--678, 20(6)1171--1194, 21(1)138--173, 21(2)240--285, 22(1)1--44, 22(1)87--128, 22(2)265--295, 22(5)773--815, 27(2)185--235, 27(3)388--425, 27(3)527--570, 28(4)577--618, 29(5)28--28, 29(6)38--38, 30(1)4--4, 30(5)26--26, 32(5)18--18, 32(6)21--21, 34(1)2--2, 34(1)6--6, 34(3)13--13, 34(3)14--14, 34(4)16--16, 35(4)14--14, 38(4)13--13, 39(1)2--2, 39(3)11--11, 40(1)3--3, 40(2)7--7, 40(3)9--9, 41(1)2--2, 41(4)20--20, 42(3)13--13, 44(3)15--15, 44(3)17--17, 47(1)3--3
boundary, 16(2)175--204, 16(4)1156--1214, 19(4)568--585, 28(1)134--174, 38(2)4--4, 38(3)12--12, 40(2)8--8, 40(4)16--16, 41(3)18--18
bounded, 4(4)668--677, 5(2)223--235, 6(4)527--545, 8(1)109--139, 16(3)939--953, 16(5)1472--1511, 22(4)701--771, 27(6)1147--1215, 28(5)795--847, 31(4)13--13, 36(2)7--7, 44(1)1--1, 44(1)5--5
bounded, F-, 18(4)401--423
bounded, Time-, 45(3)16--16
boundedness, 20(5)917--979
bounding, 34(1)3--3, 39(2)8--8
Boute, Raymond, 27(5)988--1047
Boute, Raymond T., 10(1)118--155, 14(2)127--144, 28(4)747--793
Boute:1988:SSP, 10(1)118--155
Boute:1992:EDF, 14(2)127--144
Boute:2005:FDL, 27(5)988--1047
Boute:2006:CSD, 28(4)747--793
Bowen, Jonathan P., 16(5)1613--1647
Bowen, Jonathan P., see Breuer, Peter T.
Bowman, Mic, 15(5)795--825
Bowman:1993:RAN, 15(5)795--825
box, 34(1)3--3, 38(3)9--9
boxed, 26(1)57--124
Boyer, 28(4)696--714
Boyer, Robert, 11(1)115--146
Boyer, Robert, see {A{\"{}\i}t}-Kaci, Hassan
Boyland, John Tang, 18(1)73--108, 32(6)22--22
Boyland:1996:CAG, 18(1)73--108
Boyland:2010:SFP, 32(6)22--22
Brachthäuser, Jonathan, 45(4)21--21, see Boruch-Gruszecki, Aleksander
branch, 6(4)527--545, 9(2)235--256, 9(3)319--349, 13(2)181--210, 19(1)188--222, 19(6)853--898, 21(5)1028--1075, 24(6)667--697, 25(2)210--224, 27(6)1147--1215, 28(1)70--105, 29(6)37--37, 30(4)18--18, 31(5)17--17
branching, 22(1)87--128, 29(5)29--29, 34(4)16--16, 40(3)11--11, 41(2)11--11
Brand, M. G. J., Van Den, 24(4)334--368
Brand, Per, 19(5)804--851, 21(3)569--626
Brand, Per, see Haridi, Seif, see Van Roy, Peter
Brandis, M. M., 16(6)1684--1698
Brandis:1994:SPG, 16(6)1684--1698
breach, 16(3)986--1009, 41(3)18--18
breadth, 15(1)36--72, 18(4)424--453
break, 31(5)17--17, 43(3)12--12
breaking, 38(2)4--4
breakpoint, 16(3)387--427, 20(6)1111--1130
breakthrough, 40(3)9--9
Brecht, Tim, 28(5)908--941, 38(4)15--15
Brecht, Tim, see Blackburn, Stephen M.
Brecht:2006:CGC, 28(5)908--941
Brent, R. P., 11(3)388--403
Brent:1989:EIF, 11(3)388--403
Breuer, Peter T., 16(5)1613--1647, 19(4)586--616
Breuer:1994:DET, 16(5)1613--1647
Breuer:1997:RCS, 19(4)586--616
bridge, 21(4)703--746
bridging, 44(4)22--22
brief, 4(4)601--614, 19(1)153--187
briefly, 6(2)159--174, 14(4)521--573, 43(1)1--1, 44(4)24--24
Briggs, 18(3)300--324
Briggs, Ian, 41(1)2--2
Briggs, Ian, see Solovyev, Alexey
Briggs, Preston, 16(3)428--455
Briggs:1994:IGC, 16(3)428--455
bring, 20(3)586--634, 27(6)1147--1215, 31(4)16--16, 40(4)16--16, 41(4)23--23, 43(1)3--3, 46(1)4--4
brittle, 34(1)4--4
broad, 10(3)374--402, 27(6)1147--1215, 39(1)5--5, 39(3)11--11
broad-spectrum, 27(6)1147--1215
broadcast, 30(5)27--27, 36(4)14--14
broaden, 4(4)733--757
broader, 17(1)85--122, 20(6)1297--1322
broadly, 31(3)10--10, 35(1)3--3, 37(1)4--4
Brockschmidt, Marc, 38(4)13--13, 42(3)13--13
Brockschmidt, Marc, see Frohn, Florian
Brockschmidt:2016:ARS, 38(4)13--13
Brogi, Antonio, 13(1)99--123, 16(4)1361--1398
Brogi:1991:CLS, 13(1)99--123
Brogi:1994:MLP, 16(4)1361--1398
broken, 35(1)2--2
brought, 17(4)561--575, 35(4)13--13
Brown, A. L., 13(3)342--371
Brown, A. L., see Morrison, R.
Brown, Gavin, 38(2)5--5
Brown, Gavin, see Yiapanis, Paraskevas
Brown, Geoffrey, 15(1)182--205
Brown, Geoffrey, see Afek, Yehuda
browsable, 30(4)19--19
browser, 34(2)10--10, 38(3)9--9
browser-which, 38(3)9--9
Broy, Manfred, 2(3)321--337, 4(3)362--381, 9(1)54--99, 16(3)924--938
Broy:1980:DIA, 2(3)321--337
Broy:1982:CAA, 4(3)362--381
Broy:1987:ADP, 9(1)54--99
Broy:1994:AFC, 16(3)924--938
Bruce, Kim B., 25(2)225--290
Bruce:2003:PTS, 25(2)225--290
{Brückner}, Bernd, Krieg-, 2(3)321--337
Bruin, Arie de, 7(4)656--679
Brun, Yuriy, 45(2)12--12
Brun, Yuriy, see Sanchez-Stern, Alex
Brunekreef, Jacob, 20(5)1014--1066
Brunekreef, Jacob, see Apt, Krzsztof R.
Bruni, Roberto, 46(3)11--11
Bruni, Roberto, see Ascari, Flavio
Brunthaler, Stefan, 38(3)9--9
Brunthaler, Stefan, see Wagner, Gregor
brute, 18(2)139--174
brute-force, 28(3)476--516, 36(1)1--1, 41(2)13--13
Bruynooghe, 16(1)35--101, 18(5)564--614
Bruynooghe, M., 18(5)564--614
Bruynooghe, M., see de la Banda, M. Garcia, see Garcia De La Banda, M.
Bruynooghe, Maurice, 16(2)205--258, 17(1)28--44, 29(2)10--10, 34(3)11--11
Bruynooghe, Maurice, see Codish, Michael, see Mulkers, Anne, \see{Verdoolaege, Sven
Bruynooghe:2007:TAL, 29(2)10--10
BSIL, 37(3)9--9
Büchi, 31(3)10--10
Buchsbaum, Adam L., 20(6)1265--1296, 27(3)383--387
Buchsbaum:1998:NSL, 20(6)1265--1296, 27(3)383--387
Buchsbaum:2005:CNS, 20(6)1265--1296, 27(3)383--387
Buckley, G. N., 5(2)223--235
Buckley:1983:EIG, 5(2)223--235
Budd, Timothy A., 6(3)297--313
Budd:1984:ACV, 6(3)297--313
Buddy, 6(1)118--125
budget, 28(1)134--174, 41(1)3--3
Bueno, Francisco, 21(2)189--239
Bueno:1999:EAI, 21(2)189--239
buffer, 16(6)1661--1674, 28(5)942--965, 34(1)6--6
buffer-overflow, 39(4)16--16
buffered, 30(5)27--27
bug, 21(6)1196--1250, 27(6)1049--1096, 30(4)18--18, 32(4)15--15, 32(5)18--18, 32(6)23--23, 36(2)7--7, 36(4)13--13, 37(3)8--8, 40(1)1--1, 40(2)5--5, 41(4)21--21, 42(3)14--14, 43(1)3--3, 46(3)11--11
bug-free, 36(1)2--2
Bugliesi, Michele, 26(1)57--124, 37(4)11--11
Bugliesi:2004:ACM, 26(1)57--124
Bugliesi:2015:ART, 37(4)11--11
Buhr, Peter A., 27(6)1270--1343
Buhr:2005:ISM, 27(6)1270--1343
build, 4(4)585--600, 5(3)405--421, 8(4)491--523, 13(1)150--178, 19(3)492--524, 19(4)557--567, 20(1)116--165, 20(4)768--844, 20(4)869--916, 22(3)431--470, 22(6)1037--1080, 30(4)19--19, 30(6)32--32, 31(1)1--1, 32(5)19--19, 32(6)23--23, 33(6)19--19, 33(6)20--20, 37(3)10--10, 39(1)5--5, 39(4)15--15, 40(2)5--5, 40(4)17--17, 41(3)15--15
build-time, 29(1)2--2
building, 4(4)585--600, 9(2)198--234, 13(1)150--178, 16(3)428--455, 16(3)456--492, 16(3)775--797, 17(2)197--216, 21(4)813--847, 22(1)87--128, 27(6)1049--1096, 27(6)1097--1146, 29(1)2--2, 31(6)20--20, 40(4)14--14, 40(4)15--15, 41(3)15--15, 43(2)6--6, 44(4)22--22, 45(3)16--16
built, 4(3)496--517, 4(4)668--677, 5(3)405--421, 7(4)560--599, 13(1)150--178, 13(2)237--268, 14(3)299--338, 16(6)1661--1674, 18(2)139--174, 19(3)492--524, 21(2)189--239, 21(5)1028--1075, 31(5)17--17, 32(3)8--8, 32(6)23--23, 35(2)8--8, 35(3)9--9, 35(4)14--14, 38(2)4--4, 40(3)12--12
built-in, 16(3)687--726
Bulck, Jo, Van, 43(3)12--12
Bulej, Lubomír, 38(4)15--15, see Blackburn, Stephen M.
bulk, 11(4)598--632
Bultan, Tevfik, 21(4)747--789
Bultan:1999:MCC, 21(4)747--789
Buneman, Peter, 1(2)287--294
Buneman, Peter, see Beyer, Eric
Bunkenburg, A., 21(3)677--701
Bunkenburg, A., see Morris, J. M.
Bunkenburg, Alexander, 31(4)16--16
Bunkenburg, Alexander, see Morris, Joseph M.
Burato, Elisa, 41(3)18--18
Burato, Elisa, see Spoto, Fausto
burden, 34(1)4--4, 41(3)15--15, 43(1)4--4, 46(4)14--14
burg, 17(3)461--486
Burke, Michael, 12(3)341--395, 15(3)367--399, 21(4)848--894
Burke, Michael, see Hind, Michael
Burke, Michael G., 9(2)164--197
Burke:1987:PML, 9(2)164--197
Burke:1990:IBA, 12(3)341--395
Burke:1993:IOE, 15(3)367--399
Burns, James E., 11(1)90--114, 11(2)330--344
Burns, James E., see Fischer, Michael J.
Burns:1989:USS, 11(2)330--344
burnt, 32(4)14--14
Burrows, Michael, 15(4)706--734
Burrows, Michael, see Abadi, Martín
BURS, 17(3)461--486
Burstall, 4(1)1--20, 18(2)175--234
Burton, F. Warren, 6(2)159--174, 12(1)135--138, 13(4)633--633
Burton:1984:ACP, 6(2)159--174
Burton:1990:TCT, 12(1)135--138, 13(4)631--632, 13(4)633--633
Burton:1991:TCA, 12(1)135--138, 13(4)631--632, 13(4)633--633
bus, 15(4)632--658, 16(1)151--174
Bus, Bruno, De, 27(5)882--945
Busi, Matteo, 43(3)12--12
Busi:2021:SIE, 43(3)12--12
business, 31(3)12--12, 39(1)5--5, 45(3)17--17
busyness, 18(3)268--299
Butler, Michael, 21(3)417--429
Butler:1999:RAG, 21(3)417--429
by, 4(2)295--322
by, sampling-, 40(1)4--4
by-choice, performance-, 43(3)10--10
by-Default, Concurrent-, 36(1)2--2
by-default, concurrent-, 36(1)2--2
by-default, Safe-, 43(3)10--10
by-default, safe-, 43(3)10--10
by-default, volatile-, 43(3)10--10
by-design, correct-, 32(4)14--14
by-name, call-, 17(1)47--62, 20(2)344--387, 31(4)13--13, 33(1)5--5, 41(4)22--22
by-need, call-, 20(2)344--387
by-operator, operator-, 36(4)11--11
by-Value, Call-, 43(4)17--17
by-value, call-, 4(4)527--551, 17(1)47--62, 19(6)916--941, 20(1)166--207, 20(2)344--387, 27(5)857--881, 31(4)13--13, 33(1)5--5, 41(2)8--8, 41(4)22--22, 42(1)4--4, 43(4)17--17, 47(1)3--3
bypass, 9(2)125--163
bypassed, 37(2)6--6
byte, 30(5)25--25
byte-addressed, 4(1)21--36
bytecode, 21(1)90--137, 21(6)1196--1250, 22(3)471--489, 22(4)638--672, 23(2)243--272, 28(4)619--695, 30(2)10--10, 30(4)21--21, 31(1)3--3, 32(3)8--8, 35(4)12--12, 35(4)14--14
Byzantine, 4(3)382--401
byzantine, \refsec-, 4(3)382--401