Index file section E for sigplan2000.bib

Last update: Thu Nov 9 02:49:22 MST 2023

Return to index directory

E

E-path_PRE, 37(8)53--65
e.g, 40(6)261--268, 41(1)1--1, 41(6)14--25, 41(6)169--180, 41(6)387--400
eager, 41(8)34--43
eagerness, 35(9)150--161
Earlie, Eugene, 41(7)173--181
Earlie, Eugene, see Park, Sanghyun
earlier, 41(7)83--92, 41(9)136--147
early, 37(10)96--107, 41(1)269--269, 41(7)54--63
ease, 40(6)224--236, 41(1)115--126, 41(1)346--358, 41(6)1--13, 41(6)26--37
easier, 41(1)283--294, 41(6)341--353
easily, 41(6)38--51, 41(7)145--152
easy, 37(8)53--65, 39(10)132--136, 39(12)92--106, 41(5)46--54, 41(6)72--83, 41(9)50--61, 41(9)124--135
Eaton, Patrick, 35(11)190--201
Eaton, Patrick, see Kubiatowicz, John
eBay, 41(9)38--49
Ebcioglu, Kemal, 40(10)519--538
Ebcioglu, Kemal, see Charles, Philippe
Ebcio{\u{g}}lu, Kemal, 40(6)281--294, see Solar-Lezama, Armando
Eber, Jean-Marc, 35(9)280--292
Eber, Jean-Marc, see Jones, Simon Peyton
EBNF, 41(4)16--23
echo, 40(7)105--114
Eckstein, Erik, 37(7)139--148
Eckstein, Erik, see Scholz, Bernhard
Eckstein, Jutta, 39(10)151--152
Eckstein, Jutta, see Josuttis, Nicolai M.
eclipse, 39(10)8--8, 39(10)18--19, 39(10)22--22, 39(10)23--24, 39(10)178--179, 39(10)180--181
ECOSystem, 37(10)123--132
ECP, 41(1)320--333
ECPs, 41(1)320--333
EDF, 37(7)213--222, 40(7)203--212, 41(7)93--102
EDF-First-k-Fit, 41(7)93--102
EDF-Next-Fit, 41(7)93--102
EDGE, 39(11)120--132
edge, hot-, 41(6)263--271
Edge, Two-, 35(7)65--72
edit, 39(10)112--115
editing, 41(7)113--124
editor, 35(4)1--1, 38(12)2--2, 38(12)18--19, 41(8)6--9
Edmison, Joshua, 39(7)10--19
Edmison, Joshua, see Martin, Thomas
Edsger, 37(12)14--16
EDT, 25(6)112--126
education, 39(9)201--212
Edwards, Jonathan, 39(10)124--124, 39(12)84--91, 40(10)505--518
Edwards, Stephen A., 39(7)30--36, 39(7)175--181, 41(7)125--134
Edwards, Stephen A., see Conway, Christopher L., see Zeng, Jia
Edwards:2004:ECPa, 39(10)124--124
Edwards:2004:ECPb, 39(12)84--91
Edwards:2005:SUS, 40(10)505--518
Edwards:2006:ECG, 41(7)125--134
Edwin, 41(1)1--1
Eeckhout, Lieven, 38(11)169--186, 39(10)172--173
Eeckhout, Lieven, see Buytaert, Dries
Eeckhout:2003:HJP, 38(11)169--186
eeprom-based, 41(7)22--33
effect, side-, 39(4)217--228
effectful, 41(1)1--1, 41(9)62--73
effective, 35(5)208--218, 35(6)37--46, 35(11)139--149, 37(5)187--198, 38(7)12--23, 38(9)213--225, 39(4)244--256, 39(6)94--106, 39(6)171--182, 39(7)231--239, 41(1)16--29, 41(1)67--78, 41(1)245--256, 41(6)96--107, 41(6)132--143, 41(6)169--180, 41(6)204--215, 41(6)308--319, 41(7)72--82, 41(7)145--152
effectively, 41(1)153--165, 41(1)269--269, 41(6)84--95, 41(6)96--107
effectiveness, 36(1)12--17, 38(11)187--204, 41(1)194--205, 41(6)144--157, 41(6)239--251, 41(7)22--33, 41(7)173--181
effects, side-, 38(7)244--253, 40(9)105--115, 41(6)415--426
efficiency, 36(7)113--122, 37(10)133--143, 39(4)360--371, 40(7)127--136, 41(6)96--107, 41(6)228--238, 41(6)272--282, 41(6)364--375
efficiency, energy-, 41(7)1--1
efficient, Energy-, 37(10)96--107, 40(7)1--10
efficient, energy-, 41(7)153--162
efficient, Power-, 39(7)67--77
Efficient, Space-, 36(5)104--113
efficiently, 38_2s_37_43, 39(11)72--84, 41(1)16--29, 41(1)283--294, 41(6)26--37, 41(6)96--107, 41(6)108--117, 41(6)132--143, 41(7)22--33, 41(8)21--28
effort, 41(1)153--165, 41(6)52--60, 41(6)169--180, 41(6)193--203, 41(6)239--251, 41(6)252--262, 41(6)364--375, 41(7)182--188
Egert, Christopher, 39(10)68--72
Egert, Christopher, see Ventura, Phil
Eggers, Susan J., 35(11)245--256, 37(1)113--125, 38(10)37--48, 39(4)515--527, 39(4)656--669
Eggers, Susan J., see Grant, Brian, see Kerns, Daniel R., see McDowell, Luke K., see Philipose, Matthai, see Redstone, Joshua A.
Eich, Brendan, 40(9)129--129
Eich:2005:JTY, 40(9)129--129
Eichberg, Michael, 39(10)43--44
Eichberg:2004:XCA, 39(10)43--44
Eichenberger, Alexandre E., 39(6)82--93
Eichenberger:2004:VSA, 39(6)82--93
Eichler, Hajo, 39(10)182--183
Eichler, Hajo, see Vögler, Gabriel
Eigemann, Rudolf, 36(7)93--102
Eigemann, Rudolf, see Voss, Michael J.
Eigenmann, Rudolf, 35(7)32--40, 36(7)2--11, 39(6)59--70, 41(6)181--192
Eigenmann, Rudolf, see Johnson, Troy A., see Kim, Seon Wook, \see{Voss, Michael J.
eight, 41(3)30--39
Eisenbeis, Christine, 41(1)180--193
Eisenbeis, Christine, see Cohen, Albert
either, 41(1)320--333, 41(5)46--54, 41(6)228--238, 41(6)263--271, 41(6)332--340, 41(9)74--86, 41(9)124--135
EJB, 37(11)246--261
Ekanayake, Virantha, 39(11)27--36
Ekanayake:2004:ULP, 39(11)27--36
Eker, Johan, 41(7)2--11
Eker, Johan, see Platen, Carl von
Ekpanyapong, Mongkol, 39(11)189--198
Ekpanyapong, Mongkol, see Rabbah, Rodric M.
elaborate, 41(6)204--215
Elected, 36(9)1--2
electronic, 25(6)112--126, 37(5)177--186, 39(7)10--19
elegance, 39(10)103--105
elegant, 41(2)25--28
element, 41(1)283--294, 41(5)39--45, 41(6)132--143
Eles, Petru, 38(7)113--122
Eles, Petru, see Pop, Paul
Eliassen, Frank, 39(10)154--155
Eliassen:2004:QBR, 39(10)154--155
eliminate, 41(6)108--117, 41(6)144--157, 41(6)354--363, 41(7)103--112, 41(7)125--134
eliminated, 41(6)118--131, 41(8)21--28
eliminated/minimized, 41(7)12--21
eliminating, 35(5)321--333, 41(6)144--157, 41(7)163--172
elimination, 35(11)139--149, 36(7)53--61, 37(5)187--198, 37(8)53--65, 37(10)199--210, 39(7)221--230, 39(8)49--53, 41(1)397--408, 41(6)61--71, 41(6)108--117, 41(7)44--53
Eliot, J., 38(11)326--343, 39(6)183--194
Eliot, J., see Cavazos, John, see Sachindran, Narendran
Ellis, Carla, 35(11)105--116
Ellis, Carla, see Lebeck, Alvin R.
Ellis, Carla S., 37(10)123--132
Ellis, Carla S., see Zeng, Heng
Ellis, John R., 39(4)112--124
Ellis, John R., see Fisher, Joseph A.
Elmas, Tayfun, 40(6)27--37
Elmas:2005:VVC, 40(6)27--37
else, 41(5)46--54
Elsman, Martin, 37(5)141--152, 38(3)123--134
Elsman, Martin, see Hallenberg, Niels
Elsman:2003:GCS, 38(3)123--134
em1, 25(6)112--126
em2, 25(6)112--126
Emacs, 36(10)38--49
EMBARC, 39(7)182--191
embarrassingly, 41(9)50--61
embed, 39(8)8--11, 41(1)397--408
embedding, 37(8)25--34
embracing, 41(1)1--1
Emer, Joel, 37(10)223--234
Emer, Joel, see Mukherjee, Shubhendu S.
emerged, 41(6)272--282
emergency, 40(7)213--221
emerging, 37(10)1--1, 38(10)2--2, 41(1)194--205
emphasis, 41(1)295--308
empirical, 38(5)63--76, 39(10)328--329, 41(1)16--29, 41(6)239--251
employ, 41(1)91--102, 41(1)269--269, 41(1)346--358, 41(6)308--319, 41(9)99--110
employed, 41(1)194--205
employing, 41(1)269--269
emulation, 35(11)37--48
enabled, aspect{J}-, 39(10)180--181
enabled, aspectJ-, 39(10)23--24
Enabled, QoS-, 36(8)230--237
enabling, 37(10)108--120, 39(11)211--223, 40(6)224--236, 41(6)26--37, 41(6)239--251, 41(7)12--21
enactment, 37(11)40--51
encapsulating, 36(11)241--253, 40(6)96--106
encapsulation, 37(11)292--310, 38(1)213--223, 41(1)359--371, 41(6)61--71
enclosed, 41(7)163--172
encodable, 41(9)62--73
encode, 41(1)397--408
encoding, 35(7)12--22, 35(10)311--324, 37(2)68--70, 38(9)249--262
encoding, PQ-, 36(11)96--107
encompasses, 41(1)153--165
encounter, 36(4)21--24
encourage, 41(9)87--98
encrypted, 35(11)168--177
end, 41(6)96--107, 41(7)145--152
end, back-, 38(5)208--219, 41(1)42--54, 41(1)372--382
end, high-, 41(1)180--193, 41(9)38--49
end, low-, 38(7)42--50, 41(7)182--188
Endo, Toshio, 38_2s_119_131, 38(10)216--229
Endo, Toshio, see Taura, Kenjiro
Endo:2003:RPT, 38_2s_119_131
energetic, 41(9)38--49
energy, 36(8)1--10, 37(4)42--53, 37(7)94--101, 37(10)123--132, 37(10)133--143, 37(10)144--155, 38(5)38--48, 38(7)284--293, 39(7)78--87, 39(11)271--283, 40(7)230--238, 41(1)194--205, 41(6)193--203, 41(7)1--1, 41(7)153--162
energy-aware, 39(7)95--106, 41(7)153--162
Energy-balanced, 38(7)265--274
Energy-conscious, 37(7)2--11
Energy-conserving, 37(7)213--222
energy-efficiency, 41(7)1--1
energy-efficient, 37(10)96--107, 40(7)1--10, 41(7)153--162
enforce, 41(1)115--126, 41(1)218--231, 41(1)245--256, 41(1)383--396, 41(6)14--25, 41(9)124--135
enforced, 41(1)1--1, 41(6)252--262, 41(6)283--294
enforcement, 35(9)34--45
enforcer, 41(1)218--231
enforcing, 36(5)59--69, 41(6)144--157
Engelen, Robert van, 37(7)155--164
Engelen, Robert van, see Zhao, Wankang
engine, 36(5)221--231
engine, micro-, 41(7)72--82
engineer, 41(7)1--1, 41(7)153--162
engineering, 35(1)15--24, 35(3)31--31, 35(9)280--292, 35(10)188--207, 36(12)12--12, 36(12)13--13, 36(12)14--14, 38(6)16--22, 39(10)247--252, 39(10)326--327, 41(1)55--66, 41(1)180--193, 41(2)29--33, 41(6)61--71, 41(6)364--375, 41(7)189--198
engineering, re-, 39(10)25--26
engineering, reverse-, 41(6)228--238
engineers, reverse-, 35(7)12--22
engines, micro-, 41(7)72--82
Engler, Dawson, 35(11)59--70, 37(5)69--82
Engler, Dawson, see Chou, Andy, see Hallem, Seth
Engler, Dawson R., 35(7)12--22
Engler:2000:DTA, 35(7)12--22
enhance, 36(8)182--187, 41(5)39--45, 41(7)113--124
enhancing, 37(10)184--196, 38(7)254--264, 39(10)320--321
enjoy, 41(5)39--45
enjoyed, 41(8)10--14
Ennals, Robert, 38(9)287--298
Ennals:2003:OEA, 38(9)287--298
enough, 41(1)295--308, 41(7)145--152, 41(9)26--37
ENSEMBLE, 36(8)56--63
Ensink, Brian, 36(8)238--246
Ensink, Brian, see Adve, Vikram
ensure, 40(6)261--268, 41(1)270--282, 41(6)38--51, 41(6)72--83, 41(6)144--157, 41(6)320--331, 41(9)38--49, 41(9)136--147
ensuring, 41(6)415--426
entail, 40(6)261--268
enter, 39(9)4--15, 41(7)153--162
enterprise, 37(6)82--92, 38(8)22--28, 39(10)58--59, 39(10)312--313, 39(11)48--58
entire, 41(6)354--363
entirely, 41(6)387--400
entity, 41(1)372--382, 41(3)10--19
entropia, 36(7)82--82
entry, 41(5)11--20, 41(6)14--25
enumerate, 41(2)29--33, 41(7)83--92
enumeration, 41(7)83--92
envelop, 41(8)29--33
environment, 35(10)93--104, 37(2)36--44, 38(1)26--37, 38_2s_256_262, 38(4)13--15, 38(10)203--215, 39(10)29--30, 39(10)226--228, 40(4)20--28, 41(1)127--140, 41(1)194--205, 41(6)26--37, 41(7)72--82, 41(7)113--124, 41(7)199--208, 41(8)34--43, 41(9)13--25, 41(9)26--37
environment, computational-, 37(8)35--44
environmental, 40(1)14--25
environments, 35(10)188--207, 38(11)282--301, 40(1)195--208, 40(6)261--268
EPIGRAM, 41(1)1--1
equal, 41(1)115--126, 41(1)206--217, 41(6)181--192
equality, 38(1)74--84, 38(11)313--325, 40(1)75--84, 41(1)1--1
equational, 41(1)30--41, 41(1)206--217
equivalence, 41(1)141--152, 41(1)206--217
equivalent, 41(1)30--41, 41(1)79--90, 41(6)283--294, 41(7)113--124
Eratosthenes, 41(3)30--39
Erkök, Levent, 35(9)174--185
Erkok:2000:RMB, 35(9)174--185
Erlang, 37(12)18--24, 37(12)25--34
Erlingson, Ulfar, 35(11)160--167
Erlingson, Ulfar, see Burrows, Michael
Ermedahl, Andreas, 36(8)1--10, 41(7)103--112
Ermedahl, Andreas, see Lee, Sheayun, see Sandberg, Christer
Ernst, Erik, 41(1)270--282
Ernst, Michael D., 40(10)211--230
Ernst, Michael D., see Tschantz, Matthew S.
Ernst, Rolf, 36(8)94--101, 40(7)157--165
Ernst, Rolf, see Staschulat, Jan, see Ziegenbein, Dirk
Ernst:2006:VCC, 41(1)270--282
erroneous, 41(4)24--29
error, soft-, 39(11)224--234
error-correct,, 41(1)2--15
error-prone, 41(1)180--193, 41(6)228--238
errors, run-time-, 41(7)54--63
Ertl, M. Anton, 38(5)278--288, 41(6)52--60
Ertl:2003:OIB, 38(5)278--288
Ertl:2006:FFI, 41(6)52--60
Erwig, Martin, 37(12)88--97
Erwig:2002:RBL, 37(12)88--97
escape, 36(5)35--46, 36(7)12--23
escaped, 41(1)257--268
eschew, 41(6)181--192
ESP, 36(5)309--320, 37(5)57--68
Esparza, Javier, 38(1)62--73
Esparza, Javier, see Bouajjani, Ahmed
especially, 41(1)16--29, 41(1)283--294, 41(6)132--143, 41(6)283--294, 41(6)364--375
essence, 38(1)1--13, 38(8)29--36, 39(4)502--514, 39(10)230--235, 41(1)270--282, 41(1)372--382
essential, 40(6)73--84, 41(7)182--188, 41(9)62--73
essentially, 41(1)168--179, 41(6)38--51
establish, 41(1)16--29
established, 41(1)359--371
establishing, 41(6)228--238
Esterel, 41(7)113--124, 41(8)16--20
estimate, 41(7)83--92
estimated, 39(4)429--441, 41(7)83--92
estimating, 38_2s_171_182
estimation, 36(7)62--71, 41(7)182--188
Estrin, Deborah, 37(10)1--1
Estrin:2002:SNR, 37(10)1--1
ESys.Net, 39(7)107--114
eta, 40(1)75--84
etc, 41(1)55--66, 41(1)153--165, 41(3)10--19, 41(6)415--426, 41(7)72--82
Ethernet, 38(10)95--106
Eugster, Patrick Th, 36(11)254--269
Eugster:2001:OE, 36(11)254--269
Eustace, Alan, 39(4)528--539
Eustace, Alan, see Srivastava, Amitabh
evalash, 39(9)4--15
evaluate, 41(1)168--179, 41(1)194--205, 41(1)346--358, 41(6)364--375, 41(7)34--43, 41(7)83--92
evaluated, 38(8)60--66, 41(1)372--382
evaluating, 35(11)71--81, 36(8)214--222, 38(4)13--15, 41(1)30--41, 41(6)239--251
evaluation, symbolic-, 41(1)55--66
evaluator, 35(9)23--33
Evans, William, 37(5)95--105
Evans, William, see Debray, Saumya
Evans, William S., 36(5)148--155
Evans:2001:BCP, 36(5)148--155
even, 25(6)112--126, 39(4)372--389, 39(6)35--46, 40(6)261--268, 41(1)103--114, 41(1)269--269, 41(4)24--29, 41(6)1--13, 41(6)354--363, 41(6)401--414, 41(7)2--11, 41(7)22--33, 41(7)72--82
event, 36(1)35--49, 36(10)157--168, 36(11)254--269, 38(7)144--152, 39(10)11--12, 39(10)168--169, 41(9)124--135
event-based, 37(5)106--116
event-driven, 39(10)96--100
Eventrons, 41(6)283--294
ever, 25(6)112--126, 35(4)1--1, 39(4)372--389
every, 41(1)115--126, 41(5)11--20, 41(6)52--60, 41(6)216--227, 41(7)2--11
everything, 37(4)31--31, 38(4)7--12
evidence, 41(6)96--107
evidence, data-as-, 41(1)1--1
evolution, 36(11)125--138, 39(10)310--311, 41(1)180--193
evolutionary, 40(4)39--46, 41(1)1--1
evolvable, 38(11)205--223
evolved, 41(1)257--268, 41(9)99--110
evolving, 37(10)264--276
Ex, 39(3)7--11
exact, 36(5)286--297
exactly, 41(6)364--375
examine, 40(6)261--268, 41(6)181--192, 41(9)26--37
examining, 41(1)1--1, 41(6)169--180
exceeding, 41(7)189--198
Excel, 38(9)165--176
except, 41(5)11--20
exception, 35(5)285--298, 36(5)274--285, 36(11)16--30, 36(11)83--95, 37(9)98--109, 38(6)16--22, 38(9)203--211, 38(10)284--294, 40(2)27--32, 40(8)34--39, 40(10)455--471, 41(1)218--231, 41(1)283--294, 41(4)30--35, 41(6)283--294, 41(6)401--414
exceptional, 41(4)30--35
excessive, 41(1)1--1
excluding, 41(6)169--180
exclusion, 35(10)13--28, 39(6)35--46
executable, 37(7)75--84, 37(11)83--100, 41(1)42--54, 41(7)135--144
execute, 41(1)383--396, 41(2)18--24, 41(7)12--21, 41(7)22--33, 41(7)34--43, 41(7)72--82, 41(7)93--102, 41(7)153--162
execute, re-, 41(9)136--147
execute-only, 35(11)168--177
executed, 35(11)168--177, 41(1)409--421, 41(6)169--180, 41(6)216--227, 41(7)64--71
executing, 41(4)30--35, 41(7)93--102
executing, re-, 41(9)136--147
execution, pre-, 37(10)159--170
execution, re-, 39(11)120--132, 41(9)136--147
execution-flow, 41(7)135--144
execution/simulation, 41(7)83--92
Executive, 35(3)2--3, 35(8)1--2, 36(6)1--2, 38(12)1--1
exercise, 35(9)131--136, 41(4)36--41
exhaustive, 41(7)83--92
exhaustively, 41(7)83--92
exhibit, 41(1)30--41, 41(9)38--49
exhibiting, 41(1)334--345
exist, 41(1)16--29, 41(1)91--102, 41(7)125--134
existence, 41(1)270--282, 41(1)334--345, 41(4)16--23
existential, 38(9)39--50, 41(6)320--331, 41(6)376--386
existing, pre-, 41(1)383--396, 41(6)84--95, 41(6)341--353
exit, 41(5)11--20
expand, 41(9)13--25
expecting, 41(1)206--217
expense, 41(6)364--375
expensive, 41(6)118--131, 41(6)283--294, 41(6)341--353
experience, 35(10)105--117, 37(10)96--107, 38(4)25--33, 39(10)275--282, 41(1)269--269, 41(1)397--408, 41(2)8--17, 41(7)1--1, 41(8)6--9
experiment, 36(12)84--94, 41(1)1--1, 41(1)166--167, 41(1)194--205, 41(4)42--49, 41(6)72--83, 41(6)84--95, 41(6)96--107, 41(6)118--131, 41(6)169--180, 41(6)193--203, 41(6)308--319, 41(7)12--21, 41(7)93--102, 41(7)135--144, 41(7)182--188
experimental, 37(9)247--258, 39(11)144--155, 40(8)19--28, 41(1)55--66, 41(5)21--29, 41(6)38--51, 41(6)84--95, 41(6)96--107, 41(6)108--117, 41(6)132--143, 41(6)158--168, 41(6)216--227, 41(6)252--262, 41(6)283--294, 41(6)332--340, 41(6)387--400, 41(6)415--426, 41(7)2--11, 41(7)135--144, 41(7)153--162, 41(7)163--172, 41(7)173--181, 41(7)199--208
experimentally, 41(6)144--157, 41(7)125--134
experimentation, 25(6)92--101
expert, 41(1)180--193
explain, 41(6)181--192
explanation, 36(10)193--204, 41(1)218--231
explicit, 25(6)112--126, 39(4)372--389, 40(10)313--326, 40(10)403--422, 41(1)141--152, 41(1)269--269, 41(6)132--143, 41(6)364--375, 41(7)22--33, 41(7)72--82
explicitly, 25(6)112--126, 37(10)18--29, 39(4)372--389, 41(5)30--38, 41(6)144--157, 41(6)204--215, 41(7)22--33, 41(9)74--86
exploit, 41(1)30--41, 41(1)269--269, 41(6)272--282, 41(7)83--92, 41(8)21--28, 41(9)50--61
exploitable, 41(8)21--28
exploiting, 35(5)145--156, 36(5)191--202, 37(1)295--306, 38(10)61--72, 38(10)131--142, 40(7)203--212, 41(1)346--358
exploration, 37(5)165--176, 37(7)18--27
exploratory, 40(10)117--132
explore, 35(11)168--177, 41(1)1--1, 41(1)245--256, 41(6)38--51, 41(9)1--12, 41(9)87--98
explorer, 39(10)31--32
explosion, 36(3)193--205, 39(7)257--266
exponential, 36(3)193--205, 41(5)46--54
exponentially, 38(1)106--114, 41(7)163--172
expose, 41(1)295--308, 41(6)295--307
exposed, communication-, 37(10)291--303
exposure, 41(1)359--371
EXPRESS, 38(6)30--39
express, 41(1)141--152, 41(1)153--165, 41(1)295--308, 41(1)397--408, 41(9)50--61, 41(9)87--98
expressed, 41(1)141--152, 41(1)153--165, 41(6)181--192
expresses, macro-, 41(9)26--37
expressing, 40(6)261--268
expression, 35(9)11--22, 36(3)67--80, 39(1)111--122, 39(4)596--611, 39(9)67--78, 41(1)67--78, 41(1)141--152, 41(1)168--179, 41(4)16--23, 41(6)38--51, 41(8)34--43, 41(9)74--86
expression, s-, 41(9)111--121
expressive, 36(12)61--67, 37(9)191--205, 40(9)27--40, 41(1)1--1, 41(1)79--90, 41(1)153--165, 41(1)283--294, 41(1)295--308, 41(6)204--215, 41(9)26--37, 41(9)99--110, 41(9)124--135
expressiveness, 41(1)320--333, 41(1)346--358, 41(9)74--86
extend, 41(1)1--1, 41(1)180--193, 41(1)257--268, 41(6)252--262, 41(7)93--102, 41(9)26--37, 41(9)87--98
extended, 36(8)182--187, 36(10)62--73, 36(10)181--192, 37(1)166--177, 37(5)234--245, 38(9)299--300, 39(10)120--123, 39(10)128--131, 41(1)283--294
Extender, 36(11)31--42
extending, 35(11)25--36, 38(10)315--324, 39(10)190--191, 40(11)37--40
extensibility, 38(11)224--240, 41(6)38--51
extensible, 36(10)241--252, 37(9)110--122, 38(8)55--59, 40(9)204--215, 41(1)269--269, 41(6)38--51, 41(9)111--121
extension, syntax-, 41(9)111--121
extensional, 39(1)64--76
Extensionality, 36(3)4--13
extensively, 41(1)346--358, 41(9)38--49
external, 35(11)168--177, 37(9)60--71, 41(9)87--98
externalization, 39(10)194--195
extra, 25(6)92--101, 39(4)360--371, 41(6)84--95, 41(6)216--227
extract, 41(1)346--358
extracted, 39(10)13--14, 39(10)200--201
extracting, 40(4)29--38, 40(4)39--46, 41(1)141--152
extraction, 41(6)72--83
eXtreme, 39(10)260--263
extreme, 36(2)20--23, 38(12)11--16, 39(10)328--329, 40(10)539--545
extremely, 41(6)283--294, 41(7)83--92, 41(7)145--152