Last update: Tue May 28 02:01:27 MDT 2024
Return to index directory
B
-
B, 0(0)xxvi--586, 14(5)592--594
-
B, Event-, 0(0)xxvi--586, 22(2)217--219
-
b.org''-Provided, www.event-, 0(0)xxvi--586
-
Baader, 11(2)253--262
-
Baader, Franz, 0(0)xii--301
-
Baader:1998:TRA, 0(0)xii--301
-
Baars, Arthur I., 14(6)635--646
-
Baars:2004:FPP, 14(6)635--646
-
Baby, 4(2)249--283
-
Back, 1(1)z--z, 1(2)z--z, 1(3)z--z, 1(4)z--z, 2(1)z--z, 2(2)z--z, 2(3)z--z,
2(4)z--z, 3(1)z--z, 3(2)z--z, 3(3)z--z, 3(4)z--z, 4(1)z--z, 4(2)z--z,
4(3)z--z, 4(4)z--z, 5(1)z--z, 5(2)z--z, 5(3)z--z, 5(4)z--z,
6(1)181--188, 6(1)z--z, 6(2)z--z, 6(3)z--z, 6(4)z--z, 6(5)z--z,
6(6)z--z, 19(2)z--z, 19(3)z--z, 19(5)z--z, 19(6)z--z, 19(z)z--z,
20(1)z--z, 20(2)z--z, 20(3)z--z, 20(5)z--z, 21(1)z--z, 21(2)z--z,
21(3)z--z, 21(4)z--z, 21(6)z--z, 22(1)z--z, 22(2)z--z, 22(3)z--z,
22(4)z--z, 22(6)z--z, 23(1)z--z, 23(2)z--z, 23(3)z--z, 23(4)z--z,
23(5)z--z, 23(6)z--z, 24(1)z--z, 24(2)z--z, 24(4)z--z, 24(5)z--z,
24(6)z--z, 32(z)z
-
backend, 29(z)z
-
background, 0(0)xv--240
-
Backhouse, 14(5)598--600
-
Backtracking, 27(z)z
-
backward, 31(z)z
-
Bahr, Patrick, 25(z)z, 27(z)z, 30(z)z, 32(z)z
-
Bahr, Patrick, see Hutton, Graham
-
Bahr:2015:CCC, 25(z)z, 30(z)z
-
Bahr:2020:CCC, 25(z)z, 30(z)z
-
Bahr:2022:MFA, 32(z)z
-
Bailes, Paul A., 9(3)347--354
-
Bailes:1999:BRF, 9(3)347--354
-
Baker-Finch, Clem, 14(2)211--245
-
Baker-Finch:2004:CPR, 14(2)211--245
-
Bakhshi, Rena, 24(2)166--217
-
Bakhshi, Rena, see Endrullis, Jörg
-
balanced, 21(2)135--157, 31(z)z
-
balanced, weight-, 21(3)287--307
-
balancing, 3(4)553--561, 21(3)287--307
-
Bañados Schwerter, Felipe, 26(z)z
-
BanadosSchwerter:2016:GTE, 26(z)z
-
bananas, 18(1)87--140
-
Banerjee, Anindya, 15(2)131--177
-
Banerjee:2005:SBA, 15(2)131--177
-
Barak, Amnon, 2(4)387--405, 7(4)421--440
-
Barak, Amnon, see Aharoni, Gad
-
Baraki, Gebreselassie, 6(4)563--585
-
Baraki, Gebreselassie, see Launchbury, John
-
Baral, 14(5)588--589
-
Barbanera, Franco, 6(3)519--526, 7(6)613--660
-
Barbanera:1996:PIE, 6(3)519--526
-
Barbanera:1997:MSN, 7(6)613--660
-
Barendregt, 6(2)245--267
-
Barendregt, Henk, 1(2)125--154, 1(2)229--233, 2(2)233--236,
2(3)367--374, 3(1)1--2, 9(5)565--575, 10(1)121--134
-
Barendregt, Henk, see Statman, Richard
-
Barendregt:1991:IGT, 1(2)125--154
-
Barendregt:1991:TPS, 1(2)229--233
-
Barendregt:1992:TPE, 2(2)233--236
-
Barendregt:1992:TPR, 2(3)367--374
-
Barendregt:1993:E, 3(1)1--2
-
Barendregt:2000:LTN, 10(1)121--134
-
Barendsen, Erik, 1(3)367--372
-
Barendsen:1991:TPU, 1(3)367--372
-
bargain, 15(5)669--677
-
Barreiro, Miguel, 15(3)403--430
-
Barreiro, Miguel, see Gulias, Victor M.
-
Barron, 13(4)831--832
-
Barron, D. W. (David William), 0(0)xii--492
-
Barron:2000:WSL, 0(0)xii--492
-
Barski, 24(2)419--421
-
Barthe, Gilles, 9(6)675--698, 10(5)417--452, 11(4)437--437,
13(2)261--293, 14(1)1--2, 16(2)137--155
-
Barthe:1999:TCI, 9(6)675--698
-
Barthe:2000:DFP, 10(5)417--452
-
Barthe:2001:SID, 11(4)437--437
-
Barthe:2003:STT, 13(2)261--293
-
Barthe:2004:ISI, 14(1)1--2
-
Barthe:2006:RET, 16(2)137--155
-
base, 19(3)265--286
-
based, 0(0)xxvi--586, 4(4)395--433, 6(1)75--109, 6(2)329--354,
15(4)615--650, 18(3)333--371, 25(z)z
-
based, arrow-, 23(2)185--224
-
based, broad-, 0(0)xxiii--402
-
based, Capability-, 27(z)z
-
based, editor-, 23(2)185--224
-
based, HtDP-, 28(z)z
-
Based, ``{Language}-, 15(2)129--129
-
based, lattice-, 6(3)419--444
-
based, lineage-, 28(z)z
-
based, project-, 0(0)xxiii--402
-
based, pull-, 28(z)z
-
based, rule-, 15(3)477--502
-
based, Size-, 28(z)z
-
based, Stack-, 12(1)43--88, 13(5)957--959, 15(2)131--177
-
based, template-, 13(3)677--708
-
based, Type-, 16(1)83--128, 25(z)z
-
based, type-, 8(3)239--273
-
based, web-, 0(0)xxiii--402
-
basic, 0(0)xvi--133, 0(0)x--390, 6(1)181--188, 9(1)105--111,
11(1)117--153, 13(1)97--102, 26(z)z
-
basis, 1(4)417--458, 6(2)329--354, 16(2)250--251
-
Batcher, 28(z)z
-
Baumann, Peter, 6(4)621--655
-
Baumann, Peter, see Hartel, Pieter H.
-
bee, 10(4)353--395, 30(z)z
-
Beemster, Marcel, 6(4)621--655
-
Beemster, Marcel, see Hartel, Pieter H.
-
been, 0(0)xxiii--657, 0(0)xxvi--586
-
begin, 0(0)xviii--471
-
beginner, 0(0)xviii--375, 23(3)351--352, 25(z)z
-
beginning, 0(0)ix--194, 0(0)xxiii--402, 23(3)352--354, 24(2)421--422
-
behaviour, 7(3)321--347
-
behind, 30(z)z
-
being, 11(6)629--671, 32(z)z
-
Bellè, G., 8(6)573--619, see Jay, C. B.
-
Ben, 6(2)375--377
-
Benaissa, Zine-El-Abidine, 6(5)699--722
-
Benaissa:1996:CES, 6(5)699--722
-
benchmark, 6(4)621--655, 7(1)103--123
-
benchmarking, 6(4)621--655, 11(5)525--556
-
Bendkowski, Maciej, 27(z)z
-
Bendkowski:2017:NOR, 27(z)z
-
benefit, 14(1)113--123, 18(3)373--419
-
Bennett, Andrew J., 11(4)359--393
-
Bennett:2001:PFT, 11(4)359--393
-
Benton, Nick, 11(4)395--410, 15(4)503--542, 27(z)z
-
Benton, Nick, see (Favonia), Kuen-Bang Hou
-
Benton, P. N., 5(1)65--80, 8(2)177--193
-
Benton:1995:SNL, 5(1)65--80
-
Benton:1998:CTL, 8(2)177--193
-
Benton:2001:ES, 11(4)395--410
-
Benton:2005:EI, 15(4)503--542
-
Benzinger, Ralph, 11(1)3--31
-
Benzinger:2001:ACA, 11(1)3--31
-
Berardi, Stefano, 6(3)519--526
-
Berardi, Stefano, see Barbanera, Franco
-
Berg, Klaas, Van Den, 3(1)49--65
-
Berger, 11(4)433--436
-
Berger, Martin, 17(4)473--546
-
Berger:2007:LAA, 17(4)473--546
-
Bergstrom, Lars, 22(4)382--438
-
Bergstrom:2012:LTS, 22(4)382--438
-
Bernardy, Jean-Philippe, 20(3)271--302, 22(2)107--152, 25(z)z
-
Bernardy:2010:GPC, 20(3)271--302
-
Bernardy:2012:PFP, 22(2)107--152
-
Bernardy:2015:EPI, 25(z)z
-
Berry, Dave, 3(4)527--552
-
Berry:1993:LDS, 3(4)527--552
-
Berthold, J., 26(z)z
-
Berthold, J., see Dieterle, M.
-
Berthold, Jost, 26(z)z
-
Berthold:2016:PPS, 26(z)z
-
Besson, Frédéric, 15(2)179--217
-
Besson:2005:ISI, 15(2)179--217
-
best, 0(0)xviii--471, 0(0)xxiii--402
-
Betarte, Gustavo, 10(2)137--166
-
Betarte:2000:TCD, 10(2)137--166
-
Better, 22(6)853--854
-
beyond, 0(0)xvi--133
-
Bezem, Marc, 6(5)757--761
-
Bezem:1996:SPU, 6(5)757--761
-
Bhamidipati, Saketh, 19(2)256--259
-
Bhamidipati:2009:BRP, 19(2)256--259
-
Bhargavan, Karthikeyan, 23(4)402--451
-
Bhargavan, Karthikeyan, see Swamy, Nikhil
-
Bhaskar, Siddharth, 33(z)z--99999999
-
Bhaskar:2023:RWF, 33(z)z--99999999
-
Bibliography, 13(1)241--255
-
Bice, 24(2)419--421
-
Biddle, Robert, 16(6)793--811
-
Biddle, Robert, see Potanin, Alex
-
bidirectional, 28(z)z, 30(z)z, 33(z)z--99999999
-
bidirectionalization, 23(5)515--551, 28(z)z
-
bidirectionalizer, 23(5)515--551
-
Bierman, G. M., 8(2)177--193, 10(2)167--190
-
Bierman, G. M., see Benton, P. N.
-
Bierman, Gavin, 18(4)437--502
-
Bierman, Gavin, see Sewell, Peter
-
Bierman, Gavin M., 22(1)31--105
-
Bierman:2000:PEL, 10(2)167--190
-
Bierman:2012:SSS, 22(1)31--105
-
Biernacki, Dariusz, 16(3)269--280
-
Biernacki:2006:TPS, 16(3)269--280
-
Big, 27(z)z, 28(z)z
-
big-step, 19(3)311--333, 19(6)699--722
-
binary, 10(6)607--623, 12(6)601--607, 16(1)35--74, 22(4)529--573,
25(z)z, 27(z)z, 30(z)z
-
binder, 15(5)771--796, 22(4)614--704, 23(6)658--700
-
binding, 0(0)xviii--471, 13(1)39--66, 22(2)181--216, 31(z)z
-
binding-safe, 26(z)z
-
binding-time, 3(3)347--363, 3(3)365--387
-
binomial, 9(1)93--104
-
Biological, 16(1)1--12
-
Bird, 0(0)xi--277, 9(3)347--354, 19(5)491--508, 23(2)226--227, 25(z)z,
30(z)z
-
Bird, R. S., 2(2)237--244, 3(1)117--122
-
Bird, Richard, 0(0)xi--277, 6(1)1--28, 7(5)541--547, 9(3)311--311,
15(5)679--702, 16(1)13--20, 16(3)281--291, 16(6)671--679, 31(z)z
-
Bird, Richard, see Gibbons, Jeremy
-
Bird, Richard S., 1(1)121--124, 1(2)235--243, 2(3)375--385,
7(3)349--354, 7(4)441--445, 8(1)83--88, 9(1)77--91, 11(3)347--358,
11(4)411--424, 14(6)603--612, 14(6)613--622, 21(2)119--128,
23(2)174--184, 25(z)z, 29(z)z, 30(z)z
-
Bird:1991:FPM, 1(1)121--124
-
Bird:1991:FPR, 1(2)235--243
-
Bird:1992:FPT, 2(2)237--244
-
Bird:1992:FPU, 2(3)375--385
-
Bird:1993:FPL, 3(1)117--122
-
Bird:1996:GFP, 6(1)1--28
-
Bird:1997:FPB, 7(4)441--445
-
Bird:1997:FPM, 7(3)349--354
-
Bird:1997:MHL, 7(5)541--547
-
Bird:1998:MN, 8(1)83--88
-
Bird:1999:BNN, 9(1)77--91
-
Bird:1999:E, 9(3)311--311
-
Bird:2001:FPU, 11(3)347--358
-
Bird:2001:MMP, 11(4)411--424
-
Bird:2004:FPI, 14(6)603--612
-
Bird:2004:FPT, 14(6)613--622
-
Bird:2005:CCS, 15(5)679--702
-
Bird:2006:FPF, 16(1)13--20
-
Bird:2006:FPP, 16(6)671--679
-
Bird:2010:PFA, 0(0)xi--277
-
Bird:2011:BCR, 21(2)119--128
-
Bird:2013:SAE, 23(2)174--184
-
Bird:2015:HMS, 25(z)z
-
Bird:2019:HFF, 29(z)z
-
Bird:2020:OPF, 30(z)z
-
Bird:2021:GAD, 31(z)z
-
Birkedal, Lars, 18(5)865--911, 22(4)477--528, 28(z)z, 31(z)z
-
Birkedal, Lars, see Dreyer, Derek,
see Jung, Ralf, \see{Nanevski, Aleksandar,
see Skorstengaard, Lau
-
bisimulation, 8(5)447--491
-
bit, 0(0)xviii--471, 22(4)529--573
-
bit-reversal, 10(3)305--317
-
Bizjak, Ales, 28(z)z
-
Bizjak, Ales, see Jung, Ralf
-
black, Red-, 9(4)471--477, 11(4)425--432
-
black, red-, 24(4)423--433
-
Blame, 31(z)z, 34(z)z--99999999
-
Blanqui, Frédéric, 28(z)z
-
Blanqui:2018:SBT, 28(z)z
-
Blelloch, Guy, 11(5)441--466
-
Blelloch, Guy E., 20(5)417--461
-
Blelloch, Guy E., see Spoonhower, Daniel
-
Blelloch:2001:PT, 11(5)441--466
-
Blume, Matthias, 16(4)375--414, 23(3)249--292
-
Blume, Matthias, see Acar, Umut A.
-
Blume:2006:SCM, 16(4)375--414
-
Bob, 34(z)z--z
-
Böhm, W., 7(1)103--123, see Hammes, J.
-
Böhm, Wim, 5(3)283--316, see Hammes, Jeffrey
-
Böhm-out, 5(1)51--64
-
boilerplate, 0(0)xvii--485, 0(0)xxiii--402
-
Boiten, Eerke, 13(6)1087--1088, 22(2)217--219
-
Boiten:2003:BRC, 13(6)1087--1088
-
Boiten:2012:BRM, 22(2)217--219
-
Bologna, 6(6)763--810
-
Bondorf, Anders, 3(3)315--346, 6(2)269--298
-
Bondorf:1993:EAR, 3(3)315--346
-
Bondorf:1996:GAC, 6(2)269--298
-
Bonelli, Eduardo, 15(2)219--247
-
Bonelli:2005:CAP, 15(2)219--247
-
Bonfante, G., 11(1)33--53
-
Bonfante:2001:API, 11(1)33--53
-
book, e-, 0(0)xiii--448, 0(0)xv--240, 0(0)xvi--133
-
Bookreview, 22(3)375--377
-
Bookshelf, 19(2)259--261, 21(2)215--217
-
Boolean, 33(z)z--99999999
-
Borghouts, Judith, 30(z)z
-
Borghouts, Judith, see Mccutchen, Matt
-
Borgström, Johannes, 21(2)159--207
-
Borgstrom:2011:RSH, 21(2)159--207
-
Bosworth, 7(4)447--449
-
both, 0(0)xviii--471, 0(0)xxiii--402
-
Botta, Nicola, 27(z)z, 31(z)z
-
Botta, Nicola, see Brede, Nuria
-
Botta:2017:CCT, 27(z)z
-
Botta:2021:EEP, 31(z)z
-
Boudol, Gérard, 14(3)263--315
-
Boudol:2004:RRS, 14(3)263--315
-
Boulton, Richard J., 9(2)113--146
-
Boulton:1999:TOR, 9(2)113--146
-
bound, 30(z)z
-
boundaries, 11(2)155--206
-
bounded, 19(1)1--16
-
Bourdoncle, François, 2(4)407--435
-
Bourdoncle:1992:AID, 2(4)407--435
-
Bowman, William J., 32(z)z, 33(z)z--z
-
Bowman, William J., see Chan, Jonathan,
see Koronkevich, Paulette
-
box, 18(1)87--140
-
Boyle, James M., 2(1)81--126
-
Boyle:1992:PFP, 2(1)81--126
-
Brachthäuser, Jonathan Immanuel, 30(z)z
-
Brachthauser:2020:ECP, 30(z)z
-
bracketed, well-, 31(z)z
-
Brady, Edwin, 23(5)552--593
-
Brady:2013:IGP, 23(5)552--593
-
Brandt, Jörgen, 27(z)z
-
Brandt:2017:CSF, 27(z)z
-
Braun, 7(6)661--666
-
breadth-first, 10(4)397--408
-
Brede, Nuria, 31(z)z
-
Brede, Nuria, see Botta, Nicola
-
Brede:2021:CMB, 31(z)z
-
Breitner, Joachim, 26(z)z, 27(z)z, 28(z)z, 31(z)z
-
Breitner, Joachim, see Sergey, Ilya
-
Breitner:2016:SZC, 26(z)z
-
Breitner:2018:ALN, 28(z)z
-
Breitner:2021:RSV, 31(z)z
-
Briaud, Daniel, 6(5)699--722
-
Briaud, Daniel, see Benaissa, Zine-El-Abidine
-
Bringert, Björn, 18(5)567--598
-
Bringert:2008:PAC, 18(5)567--598
-
Bristol, 13(4)823--824
-
Bristow, Paul, 15(4)615--650
-
Bristow, Paul, see Scaife, Norman
-
broad-based, 0(0)xxiii--402
-
Broda, Sabine, 7(6)593--612
-
Broda:1997:CCS, 7(6)593--612
-
Brodal, Gerth St{\o}lting, 6(6)839--857
-
Brodal:1996:OPF, 6(6)839--857
-
Brother, 19(6)633--644
-
Brouwer, 31(z)z
-
Brown, Neil, 22(6)853--854
-
Brown:2012:BRF, 22(6)853--854
-
Broy, Manfred, 2(1)1--21
-
Broy:1992:MOS, 2(1)1--21
-
Bruce, 12(1)89--90
-
Bruce, Kim B., 4(2)127--206
-
Bruce:1994:POO, 4(2)127--206
-
Bruijn, 9(1)77--91
-
Brumfitt, P. J., 2(4)437--473
-
Brumfitt:1992:MFM, 2(4)437--473
-
Bucalo, Anna, 16(3)327--372
-
Bucalo:2006:CTC, 16(3)327--372
-
Buday, Gergely, 18(3)421--422
-
Buday:2008:BRL, 18(3)421--422
-
build, 0(0)xiii--515, 0(0)xvi--133, 0(0)xxiii--402, 0(0)xxvi--586,
30(z)z
-
building, 0(0)xvi--133, 0(0)xxiii--402, 7(4)441--445, 14(1)21--68,
18(5)707--780, 21(2)119--128, 23(2)225--226
-
Bulterman, 17(3)423--424
-
Bulterman, Dick C. A., 0(0)xxx--439
-
Bulterman:2004:SIM, 0(0)xxx--439
-
bunched, 13(4)747--796
-
Bundy, Alan, 9(2)225--245
-
Bundy, Alan, see Ireland, Andrew
-
Burch, Hal, 11(5)441--466
-
Burch, Hal, see Blelloch, Guy
-
Burgard, Christoph, 19(1)27--45
-
Burgard, Christoph, see Frankau, Simon
-
Burn, G. L., 1(3)329--366
-
Burn, Geoffrey, 6(1)75--109
-
Burn:1991:IET, 1(3)329--366
-
Burn:1996:PCC, 6(1)75--109
-
Burnett, Margaret, 11(2)155--206
-
Burnett:2001:FFO, 11(2)155--206
-
Burrows--Wheeler, 14(6)603--612
-
Burton, F. Warren, 1(1)3--20, 2(2)203--212, 3(2)153--169, 3(2)171--190,
4(1)65--75, 7(5)487--513, 9(1)105--111
-
Burton, F. Warren, see Jackson, W. Ken,
see O'Neill, Melissa E.
-
Burton:1991:END, 1(1)3--20
-
Burton:1992:DRN, 2(2)203--212
-
Burton:1993:PMA, 3(2)171--190
-
Burton:1994:WCS, 4(1)65--75
-
Burton:1999:BRA, 9(1)105--111
-
business, 3(1)35--48
-
business-critical, 0(0)xvi--133
-
busy, 11(6)629--671, 27(z)z
-
by-construction, correct-, 33(z)z--99999999
-
by-name, Call-, 27(z)z
-
by-need, call-, 7(3)265--301, 8(3)275--317, 19(6)699--722
-
by-step, step-, 0(0)xvii--485