Index file section B for toplas.bib
Last update: Thu Apr 11 02:12:53 MDT 2024
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, control-, 20(3)483--545
-
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
-
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
-
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
-
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
-
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
-
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
-
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 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
-
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
-
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.
-
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
-
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
-
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
-
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