Index file section I for complngs.bib
Last update: Thu Jun 20 02:00:37 MDT 2019
Return to index directory
I
-
I, PL-, 2(4)171--178
-
IAE, 14(4)225--237
-
Ianni, Giovambattista, 26(2)165--195
-
Ianni, Giovambattista, see Cadoli, Marco
-
IBM, 1(2)139--150, 3(2)95--113, 9(3)149--159, 19(1)41--50
-
ICCL, 19(2)63--64
-
Icon, 8(1)1--14, 8(2)77--92, 13(1)13--22, 14(3)153--163, 15(1)41--54,
18(4)217--239
-
IDE, 49(z)101--118
-
identification, 4(3)187--198
-
identifier, 18(4)251--271, 20(1)53--68
-
identify, 47(z)211--231
-
Ierusalimschy, R., 28(2)155--180
-
Ierusalimschy, R., see Ururahy, C.
-
Ierusalimschy, Roberto, 19(1)19--40, 21(3)129--146
-
Ierusalimschy:1993:DAT, 19(1)19--40
-
Ierusalimschy:1995:SFF, 21(3)129--146
-
IFC, 30(3)z--z
-
#ifdefs, 54(z)427--450
-
II, 1(3)197--218, 1(4)303--320, 2(4)149--170, 18(3)169--183
-
IIDG, 13(3)125--141
-
illformed, 11(1)39--51
-
image, 13(3)143--147, 14(4)239--254
-
image, whole-, 34(1)18--24
-
imageSegment, 38(1)1--15
-
Imanimehr, Fatemeh, 54(z)273--296
-
Imanimehr:2018:TVS, 54(z)273--296
-
immutability, 4(3)155--169
-
imperative, 10(2)75--89, 16(2)179--195, 19(2)119--134, 21(1)17--37,
21(3)129--146
-
Imperative-Procedural, 16(3)235--258
-
imperfect, 53(z)27--42
-
implementable, 11(3)173--191
-
implementation, 2(3)75--91, 5(3)155--161, 6(3)139--153, 6(3)155--163,
7(2)69--87, 7(3)161--170, 8(1)15--25, 8(2)61--68, 8(3)139--159,
9(3)193--202, 10(3)189--209, 11(1)15--28, 11(2)85--104, 12(1)21--25,
12(3)145--162, 14(1)53--60, 14(2)109--123, 14(3)193--204,
14(4)239--254, 15(2)95--108, 17(1)75--82, 17(4)241--250,
17(4)251--267, 18(1)17--30, 18(4)217--239, 19(1)19--40, 20(1)25--42,
21(2)67--79, 22(2)115--142, 22(2)165--179, 22(4)205--214,
22(4)259--278, 23(2)121--160, 24(3)125--153, 31(3)127--141,
32(2)109--124, 35(1)31--47, 37(4)151--167, 38(1)29--43,
49(z)82--100, 51(z)158--175, 54(z)20--38, 54(z)39--70
-
Implementing, 3(2)65--74, 8(2)77--92, 20(1)25--42, 45(z)1--15,
49(z)62--81
-
implementors, 14(1)25--33
-
implicit, 48(z)39--67
-
import, 11(1)29--37, 21(2)113--127
-
imprecise, 16(1)65--79, 25(1)39--54
-
improved, 3(2)127--133, 34(1)1--17
-
improving, 8(3)125--137, 22(2)115--142, 37(4)193--203, 39(3)95--108,
54(z)544--585
-
in-time, Just-, 40(2)37--52
-
in-time, just-, 51(z)22--47
-
Inc, 25(2)113--113, 25(2)113--114, 25(2)114--115, 25(2)115--116,
25(2)116--117
-
inclusion, 1(3)197--218
-
incompleteness, 22(1)1--13
-
inconsistency, 22(1)1--13
-
increment, 20(2)127--134
-
incremental, 14(4)225--237, 15(4)193--204, 15(4)205--223, 20(3)151--175,
22(4)225--235, 30(1)79--95, 31(1)1--16
-
incrementally, 38(2)158--180
-
indenting, 1(4)277--286
-
independence, 9(3)133--148
-
independent, 7(2)61--67, 10(2)127--146, 22(2)115--142
-
independent, architecture-, 19(1)1--17
-
independent, Language-, 30(1)21--33
-
Independent, Machine-, 11(2)105--121
-
independent, machine-, 11(2)105--121
-
independent, scheduler-, 46(z)20--43
-
index, 9(2)89--96, 25(4)z--z, 26(2)z--z, 27(4)z--z, 31(1)z--99999999,
31(1)z--z, 31(3)z--99999999, 32(4)z--z
-
indexed, 18(3)197--216
-
Indiana, 12(1)1--7
-
indirect, 12(1)21--25
-
induced, 7(3)125--146, 30(1)35--47
-
induction, 3(1)53--64, 17(3)157--167
-
induction-inference, 3(1)53--64
-
inductive, 3(2)127--133, 47(z)44--61
-
inductivity, 19(2)119--134
-
industrial, 3(4)265--266, 5(3)163--189, 16(1)39--63, 18(3)153--168
-
inference, 1(3)233--253, 3(1)53--64, 4(2)83--92, 20(2)101--116,
22(2)165--179, 27(4)163--202, 44(0)166--180, 47(z)77--103,
49(z)216--230
-
inference, induction-, 3(1)53--64
-
inference, type-, 22(4)215--223
-
inferencing, 29(1)15--44
-
infinite, 13(1)13--22, 23(2)61--85
-
infix, 20(2)101--116
-
informal, 21(1)17--37
-
information, 1(1)73--82, 1(1)83--99, 8(3)139--159, 9(1)25--37,
13(3)109--123, 15(3)127--140, 15(3)153--162, 16(2)147--165,
20(1)25--42, 20(1)53--68, 20(2)117--126, 20(4)213--238, 28(1)3--28,
35(1)63--79, 35(4)z--z, 36(3)223--249, 36(4)z--z, 39(1)1--24,
41(z)21--41, 44(z)299--318, 45(z)299--318, 50(z)31--52,
53(z)90--120, 54(z)273--296
-
infrastructure, 38(1)44--60
-
inheritance, 17(3)157--167, 18(3)169--183, 19(1)19--40, 21(2)81--100,
22(1)15--26, 22(4)237--258, 25(4)189--210, 30(1)49--61
-
inherited, 10(2)127--146
-
INITIAL, 7(2)53--59
-
initialisation, 11(3)123--142
-
inlining, 24(2)55--72, 39(4)123--141
-
innermost, 16(2)147--165
-
Inostroza, Pablo, 48(z)39--67
-
Inostroza:2017:MII, 48(z)39--67
-
input, 20(1)43--51, 21(3)165--189, 22(1)27--38, 22(4)225--235
-
input-consuming, 26(1)1--25
-
input-output, 6(3)155--163
-
input/output, 3(2)135--142
-
Insa, David, 53(z)59--72
-
Insa:2018:AAJ, 53(z)59--72
-
insertion, 22(1)39--47, 50(z)82--107
-
Inside, 28(4)z--z, 29(1)z--z, 29(3)z--z, 29(4)z--z, 30(1)z--z, 31(1)z--z,
31(2)z--z, 31(3)z--z
-
inspired, bio-, 50(z)1--19
-
instantiation, 18(2)105--123
-
instruction, 9(3)149--159, 10(2)147--164, 11(1)1--13, 13(2)75--93,
15(2)83--94, 15(3)127--140, 19(3)169--184, 21(1)49--65,
21(2)101--112, 21(3)191--200, 24(1)33--53
-
integer, 20(2)127--134, 22(1)39--47
-
integrated, 13(3)125--141, 36(2)123--141
-
integrated, language-, 47(z)131--150
-
integrating, 14(2)63--82, 15(2)95--108, 35(3)217--240, 53(z)90--120
-
integration, 6(1)35--46, 18(3)185--196, 21(1)39--48, 23(1)25--42,
30(1)63--77, 31(1)17--33, 49(z)1--35, 54(z)156--182
-
integrity, 2(3)61--73, 21(1)17--37, 50(z)82--107
-
Intel, 51(z)158--175
-
intelligence, 2(1)27--43, 54(z)95--118
-
intelligent, 9(1)39--49, 44(z)342--354, 45(z)342--354
-
intensional, 32(2)140--156
-
intention, 22(1)1--13
-
intentional, 30(1)35--47
-
inter-, 17(4)269--282
-
inter-entry, 17(4)269--282, 22(4)259--278
-
Inter-language, 32(2)109--124
-
inter-process, 22(4)259--278
-
inter-program, 28(4)307--325
-
interacting, 8(2)51--60
-
interaction, 5(2)103--114, 10(2)75--89, 12(1)1--7, 16(1)5--18,
16(3)209--233, 21(1)1--16, 33(1)32--32
-
interactive, 1(2)121--138, 2(1)27--43, 3(3)145--155, 6(2)79--94,
7(1)1--10, 7(1)25--40, 9(1)39--49, 10(3)189--209, 14(1)35--51,
15(1)41--54, 17(4)251--267, 20(1)53--68, 21(1)1--16, 25(3)119--144
-
interactive-, 21(1)1--16
-
interconnection, 16(3)197--207, 17(2)147--154
-
interdiagram, 44(z)72--88
-
interest, 5(2)52--z
-
interface, 7(1)25--40, 7(3)103--124, 10(3)165--178, 13(3)125--141,
15(1)41--54, 17(2)147--154, 18(1)31--55, 19(4)261--276, 21(1)1--16,
21(1)39--48, 22(2)181--192, 23(1)25--42, 27(4)163--202,
35(4)422--434
-
interfacing, 10(2)127--146, 11(3)143--153
-
interference, 19(2)119--134, 21(1)17--37
-
interleaving, 20(4)253--265
-
INTERLISP, 9(1)39--49
-
interlock, 21(1)49--65
-
intermediate, 1(1)17--28, 9(3)149--159, 9(3)193--202, 10(2)147--164,
11(2)105--121, 15(3)177--192, 16(1)81--95, 16(2)179--195,
18(2)137--151, 21(2)101--112, 52(z)92--110
-
internal, 6(3)139--153, 16(1)19--37, 16(1)65--79
-
internally, 5(2)77--101
-
International, 44(z)1--2, 47(z)1--1, 48(z)1--2
-
interpretation, 3(1)31--35, 19(2)65--78, 19(2)79--89, 35(2)100--142,
37(1)24--42, 38(2)123--157, 47(z)1--1, 47(z)77--103
-
interpreter, 1(1)17--28, 1(1)83--99, 3(1)13--30, 6(2)67--78, 7(1)1--10,
8(1)27--45, 10(2)147--164, 11(1)1--13, 11(2)65--83, 11(2)85--104,
14(2)109--123, 14(3)153--163, 14(3)205--224, 18(2)137--151,
19(2)65--78, 19(2)79--89, 20(4)239--252, 21(2)67--79, 22(4)225--235,
23(2)121--160, 35(3)217--240, 44(z)199--217, 45(z)199--217,
48(z)39--67, 49(z)62--81
-
interpreters, self-, 25(1)1--37
-
interprocedural, 6(3)115--130, 19(2)105--117
-
interprocess, 16(3)209--233, 17(4)213--239, 23(1)1--24
-
interrupts, 14(2)109--123
-
intersection, 22(4)215--223
-
interval, 5(3)141--153, 16(1)19--37, 19(2)135--155, 25(1)39--54
-
interval, value/time-, 19(4)261--276
-
Intra, 44(z)72--88
-
intrinsic, 23(2)87--120
-
Introduction, 16(1)1--3, 16(2)109--111, 17(3)155--156, 19(2)63--64,
27(1)1--2, 31(3)103--105, 32(2)85--86, 33(3)79--81, 35(1)1--1
-
introductory, 22(4)215--223
-
intrusively, non-, 36(3)288--315
-
intuitionistic, 23(2)161--178
-
intuitive, 11(1)29--37, 18(4)241--250, 21(1)17--37
-
invariance, 47(z)19--43
-
invariants, 14(3)165--180, 35(2)100--142, 47(z)44--61
-
inversion, 1(4)321--342, 14(3)205--224
-
inverted, 3(3)145--155, 9(2)89--96
-
investigation, 36(2)158--202
-
invisible, 18(4)251--271
-
invocation, 3(1)13--30, 15(2)95--108, 15(3)163--176, 17(2)147--154,
24(4)245--270, 28(4)327--351, 33(3)168--178
-
invoker, 15(3)163--176
-
involving, 37(2)63--75, 53(z)27--42
-
I/O, 6(3)155--163, 17(1)67--74
-
Iorio, Vladimir O., Di, 42(z)46--59
-
Iotti, Eleonora, 50(z)142--158
-
Iotti, Eleonora, see Bergenti, Federico
-
Iranmanesh, Zeinab, 46(z)20--43
-
Iranmanesh:2016:SSE, 46(z)20--43
-
irregular, 15(2)109--125
-
ISBN, 25(2)113--113, 25(2)113--114, 25(2)114--115, 25(2)115--116,
25(2)116--117
-
Isolating, 36(3)268--287
-
issue, 2(1)21--25, 14(1)1--9, 19(2)63--64, 21(1)17--37, 22(2)95--113,
30(3)97--98, 32(2)85--86, 33(3)79--81, 39(4)121--122, 40(1)1--1,
42(z)1, 44(0)141--142, 44(z)1--2, 45(z)161--162, 45(z)163,
47(z)1--1, 47(z)151--152, 48(z)1--2, 49(z)174--175, 50(z)140--141,
52(z)63--64, 54(z)472--473
-
I/sup, 21(2)81--100
-
iteration, 1(4)303--320, 10(2)75--89, 20(3)135--150, 26(2)67--104
-
iterative, 8(2)69--76, 20(3)193--212, 24(1)1--32
-
iterator, 1(4)321--342, 14(3)137--152
-
Ito, Yo, 35(2)173--195
-
Ito, Yo, see Sassa, Masataka
-
Iyadurai, Rathesan, 44(z)114--140
-
Iyadurai, Rathesan, see Kurs, Jan
-
Iyengar, S. Sitharama, 7(3)147--160, 9(3)133--148
-
Iyengar, S. Sitharama, see Cater, Steven C.
-
Iyengar:1982:MLC, 7(3)147--160