Index file section G for toplas.bib
Last update: Thu Apr 11 02:12:53 MDT 2024
Return to index directory
G
-
G, 10(4)633--634
-
G.1.0, 10(2)313--337, 14(2)127--144, 18(2)139--174, 18(3)325--353
-
G.1.3, 14(3)339--395
-
G.1.6, 20(4)869--916
-
G.2.1, 14(2)265--297, 18(4)477--518
-
G.2.2, 7(2)348--357, 7(4)680--685, 9(1)25--53, 11(4)562--584,
12(1)26--60, 12(1)84--101, 12(1)102--122, 12(1)123--134,
12(2)203--223, 12(3)341--395, 13(3)372--398, 14(4)574--588,
17(1)123--156, 17(3)487--506, 18(3)235--253, 18(3)300--324,
20(6)1195--1222, 20(6)1265--1296, 21(2)175--188, 22(1)162--186
-
G.3, 16(3)798--842, 18(3)325--353, 21(3)417--429
-
Gabbrielli, Maurizio, 19(5)685--725, 23(3)304--395
-
Gabbrielli, Maurizio, see De Boer, Frank S.,
see Etalle, Sandro
-
Gaboardi, Marco, 43(2)6--6
-
Gaboardi, Marco, see Lobo-Vesga, Elisabet
-
GADTs, 39(4)18--18
-
Gafni, Eli, 11(4)562--584, 16(3)939--953
-
Gafni, Eli, see Afek, Yehuda,
see Barbosa, Valmir
-
GAIA, 16(1)35--101
-
gain, 16(3)798--842, 17(3)431--447, 17(4)561--575, 18(4)477--518,
20(1)166--207, 20(6)1297--1322, 21(2)370--416, 32(2)4--4,
32(5)19--19, 36(1)1--1, 41(1)1--1
-
gained, 13(1)150--178, 18(1)30--72, 43(1)3--3
-
Gal, Andreas, 30(4)21--21
-
Gal:2008:JBV, 30(4)21--21
-
Gallager, R. G., 5(1)66--77
-
Gallager:1983:DAM, 5(1)66--77
-
Gallagher, John P., 29(2)10--10
-
Gallagher, John P., see Bruynooghe, Maurice
-
Gallagher, Keith, 32(1)1--1
-
Gallagher, Keith, see Harman, Mark
-
Gallet, Carole, Delporte-, 17(1)157--179
-
Galletta, Letterio, 43(3)12--12
-
Galletta, Letterio, see Busi, Matteo
-
Galois, 19(6)916--941
-
game, 9(2)235--256, 33(3)11--11, 37(3)9--9, 41(2)11--11
-
game-based, 45(3)15--15
-
game-theoretic, 33(4)14--14
-
Ganapathi, Mahadevan, 7(4)560--599, 11(4)491--516
-
Ganapathi, Mahadevan, see Aho, Alfred V.
-
Ganapathi:1985:AGD, 7(4)560--599
-
Gange, Graeme, 37(1)1--1, 43(3)11--11
-
Gange:2015:IAM, 37(1)1--1
-
Gange:2021:FLZ, 43(3)11--11
-
Gannon, John, 3(3)211--223
-
Gannon:1981:DAI, 3(3)211--223
-
Ganty, Pierre, 34(1)6--6, 36(3)9--9
-
Ganty, Pierre, see Esparza, Javier
-
Ganty:2012:AVA, 34(1)6--6
-
Gao, Guang R., 18(6)649--658, 19(2)239--252, 20(2)388--435, 30(4)23--23
-
Gao, Guang R., see Rong, Hongbo,
see Sreedhar, Vugranam C.
-
Gao, Yaoqing, 30(1)2--2
-
Gao, Yaoqing, see Zhao, Peng
-
gap, 21(4)703--746, 36(3)10--10, 44(4)22--22
-
Gappa, 41(1)2--2
-
garbage, 1(1)115--120, 4(4)650--667, 5(4)532--553, 6(3)333--344,
7(4)501--538, 10(4)555--578, 15(1)1--35, 16(2)205--258,
18(5)615--647, 20(4)724--767, 21(3)430--501, 22(4)701--771,
22(5)773--815, 24(6)593--624, 27(6)1097--1146, 27(6)1344--1395,
28(1)1--69, 28(3)476--516, 28(4)715--746, 28(5)908--941, 29(1)2--2,
30(4)18--18, 30(4)24--24, 31(3)12--12, 36(1)3--3, 36(2)6--6,
38(3)9--9, 40(4)15--15, 41(1)3--3, 43(1)3--3, 44(4)22--22
-
garbage-collection, 14(1)1--27
-
Garcia De La Banda, M., 18(5)564--614
-
Garcia, Ronald, 36(4)12--12, 40(4)16--16, 42(2)11--11
-
Garcia, Ronald, see Toro, Matías
-
Garcia:2014:FTO, 36(4)12--12
-
GarciaDeLaBanda:1996:GAC, 18(5)564--614
-
Gardiner, P. H. B., 0(z)0--0
-
Gardiner, P. H. B., see Morgan, C. C.
-
Gardner, Philippa, 43(4)16--16
-
Gardner, Philippa, see D'Osualdo, Emanuele
-
Garg, Deepak, 35(2)6--6, 43(1)1--1, 43(4)14--14
-
Garg, Deepak, see Abate, Carmine,
see Nanevski, Aleksandar,
see Patrignani, Marco
-
Garlan, David, 16(3)727--774
-
Garlan:1994:TAM, 16(3)727--774
-
Garnet, 23(6)776--796
-
gated, 30(6)32--32
-
gateway, 39(1)5--5
-
gather, 8(4)491--523, 21(5)977--1027, 21(5)1028--1075, 29(1)2--2
-
gathered, 13(2)181--210, 14(3)299--338, 38(2)7--7
-
Gaussian, 21(3)430--501, 35(3)9--9
-
Gavanelli, Marco, 27(2)236--263
-
Gavanelli:2005:DIK, 27(2)236--263
-
Gawlitza, Thomas Martin, 33(3)11--11
-
Gawlitza:2011:SSR, 33(3)11--11
-
Gazinger, Harald, 5(3)318--354
-
Gazinger:1983:PSP, 5(3)318--354
-
GB, 28(1)1--69
-
GC, 18(5)615--647, 27(6)1097--1146, 36(1)3--3, 41(1)3--3, 44(4)22--22
-
GCC, 30(1)4--4, 30(3)17--17
-
gcc, 28(2)256--289
-
gDeep, 32(5)19--19
-
Ge, Tingjian, 26(3)578--608
-
Ge, Tingjian, see Keen, Aaron W.
-
Gedik, Bugra, 39(1)5--5
-
Gedik, Bugra, see Hirzel, Martin
-
Gelernter, David, 7(1)80--112
-
Gelernter:1985:GCL, 7(1)80--112
-
Genaim, Samir, 29(2)10--10, 34(4)16--16
-
Genaim, Samir, see Ben-Amram, Amir M.,
see Bruynooghe, Maurice
-
GENERAL, 8(4)419--490, 11(1)1--32, 12(4)501--536, 14(3)299--338,
16(3)370--386, 19(2)292--333, 19(3)492--524
-
General-Purpose, 36(4)13--13
-
general-purpose, 9(2)235--256, 16(5)1431--1448, 18(3)235--253,
20(1)166--207, 23(2)105--186, 27(6)1049--1096, 31(2)7--7, 31(2)8--8,
32(2)4--4, 36(3)10--10, 37(4)11--11, 40(2)5--5, 42(3)12--12
-
generalisation, 41(1)1--1, 42(1)4--4
-
generalised, 45(3)14--14
-
generality, 9(3)367--389, 17(1)63--84, 21(3)677--701, 21(4)703--746,
21(5)914--947, 36(4)14--14, 37(4)12--12, 38(2)6--6, 41(2)13--13,
41(3)15--15
-
generalization, 4(2)295--322, 4(4)552--562, 6(4)632--646, 9(2)277--295,
9(4)473--490, 11(4)517--561, 13(2)269--290, 16(3)924--938,
18(4)401--423, 18(6)649--658, 20(1)208--258, 28(4)577--618,
31(4)16--16, 33(4)12--12, 34(4)17--17, 41(1)3--3, 42(1)2--2
-
generalize, 4(3)402--454, 7(1)62--79, 18(3)235--253, 18(3)325--353,
18(6)730--751, 19(1)87--152, 20(6)1297--1322, 21(3)677--701,
27(6)1049--1096, 28(2)290--330, 31(2)7--7, 34(3)14--14, 40(1)2--2,
41(2)10--10, 42(2)9--9, 43(1)4--4
-
generalized, 1(1)8--26, 5(2)223--235, 9(4)567--581, 16(3)1024--1050,
16(5)1472--1511, 17(3)461--486, 18(5)564--614, 19(5)639--684,
20(4)768--844, 20(6)1297--1322, 21(6)1077--1136, 28(2)256--289,
28(4)577--618, 31(3)9--9, 33(4)12--12, 36(3)8--8, 37(4)12--12,
39(2)9--9, 39(4)18--18, 42(2)8--8
-
generalized-LR, 34(4)15--15
-
generalizing, 7(1)137--158, 17(4)635--671, 27(6)1147--1215, 35(1)5--5
-
generally, 9(2)164--197, 14(3)299--338, 15(5)771--794, 16(3)924--938,
16(4)1248--1278, 18(3)235--253, 18(5)528--563, 19(3)413--426,
22(2)378--415, 28(3)389--428, 28(5)795--847, 30(3)17--17,
30(5)25--25, 31(3)12--12, 32(3)8--8
-
generate, 4(1)21--36, 5(2)127--163, 8(4)577--608, 9(2)235--256,
9(3)297--318, 9(4)473--490, 12(4)643--669, 13(1)1--20,
14(2)147--172, 16(3)328--369, 16(3)1010--1023, 16(4)1279--1318,
17(2)181--196, 17(2)217--227, 17(2)264--292, 17(2)293--330,
17(3)461--486, 19(1)48--86, 19(3)492--524, 19(6)942--991,
20(4)869--916, 20(5)980--1013, 21(1)138--173, 21(2)286--323,
21(2)324--369, 21(2)370--416, 21(4)703--746, 21(6)1077--1136,
22(4)583--637, 22(6)973--1001, 28(3)476--516, 29(6)33--33,
30(3)17--17, 30(4)22--22, 31(5)18--18, 34(1)3--3, 34(1)5--5,
36(1)1--1, 36(1)4--4, 36(4)13--13, 36(4)14--14, 37(4)12--12,
39(2)7--7, 41(3)16--16, 41(3)17--17, 43(1)1--1
-
generated, 8(4)547--576, 14(2)173--200, 14(4)490--520, 16(3)727--774,
16(3)1010--1023, 16(3)1024--1050, 16(4)1156--1214, 16(5)1613--1647,
17(2)293--330, 17(5)691--703, 18(3)235--253, 20(5)980--1013,
21(2)324--369, 22(1)129--161, 22(2)224--264, 22(4)583--637,
22(5)773--815, 27(6)1049--1096, 28(2)207--255, 28(2)256--289,
30(5)28--28, 33(4)13--13, 34(4)15--15, 37(4)12--12, 38(3)12--12,
41(3)17--17, 45(2)9--9
-
generated, compiler-, 21(2)286--323
-
generated, user-, 17(1)63--84
-
generating, 7(1)159--175, 8(4)577--608, 14(4)574--588, 16(3)775--797,
16(4)1097--1113, 16(4)1215--1247, 17(3)461--486, 21(1)1--10,
21(4)703--746, 25(5)631--640, 27(6)1147--1215, 28(2)290--330,
28(3)476--516, 28(6)967--989, 30(4)21--21, 31(3)9--9, 34(1)3--3,
35(1)4--4, 36(1)1--1, 41(3)16--16
-
generation, code-, 16(1)3--34
-
generation, next-, 37(2)6--6, 38(2)4--4
-
generation, two-, 14(1)1--27, 41(1)3--3
-
generational, 29(1)2--2, 41(1)3--3
-
generational, non-, 41(1)3--3, 44(4)22--22
-
generative, 7(1)80--112, 31(3)9--9
-
generativity, 35(1)2--2
-
generator, 1(2)196--217, 2(2)173--190, 3(2)144--161, 4(2)149--178,
4(4)563--584, 4(4)615--649, 6(4)505--526, 7(1)159--175,
7(4)560--599, 8(4)547--576, 8(4)577--608, 9(2)257--276,
9(3)367--389, 9(3)408--440, 9(4)543--566, 10(2)338--342,
14(2)147--172, 14(4)490--520, 16(3)305--327, 16(3)1010--1023,
16(3)1051--1077, 16(4)1215--1247, 16(5)1572--1612, 16(5)1613--1647,
16(5)1648--1659, 17(2)228--232, 17(2)394--429, 17(3)461--486,
17(4)672--689, 17(5)691--703, 18(1)1--15, 18(1)16--29, 18(1)73--108,
18(6)730--751, 19(3)492--524, 19(6)1053--1084, 20(5)980--1013,
22(2)224--264, 22(4)583--637, 22(6)973--1001, 27(6)1147--1215,
31(2)6--6, 35(1)4--4, 37(4)12--12, 42(3)15--15, 45(2)9--9
-
generator, abstract-transformer-, 35(1)4--4
-
generator, code-, 17(3)461--486, 22(6)973--1001
-
generator, code-generator-, 7(4)560--599
-
generator-generator, code-, 7(4)560--599
-
generic, 16(1)35--101, 16(3)607--648, 16(3)954--985, 16(5)1472--1511,
19(5)751--803, 19(6)992--1030, 20(1)51--115, 20(4)768--844,
21(2)189--239, 22(2)187--223, 22(5)816--860, 22(6)1002--1036,
23(1)73--103, 28(4)747--793, 28(5)795--847, 29(1)3--3, 29(2)13--13,
33(6)20--20, 36(2)7--7, 37(4)12--12, 38(2)7--7, 40(1)2--2, 40(2)8--8,
40(3)13--13
-
Genesis, 19(6)1053--1084
-
Genevès, Pierre, 38(1)3--3, see Gesbert, Nils
-
Gent, Robert van, 25(2)225--290
-
Gent, Robert van, see Bruce, Kim B.
-
gentler, 40(4)16--16
-
genuine, 39(2)6--6
-
geometric, 4(4)687--710, 17(1)85--122, 35(1)3--3
-
geometry, 9(1)25--53, 32(1)3--3
-
George, Lal, 18(3)300--324
-
George:1996:IRC, 18(3)300--324
-
Georgeff, 8(3)406--407
-
Georgeff, Michael, 6(4)603--631
-
Georgeff:1984:TRS, 6(4)603--631, 8(3)406--407
-
Gerber, Richard, 19(3)525--555, 21(4)747--789
-
Gerber, Richard, see Bultan, Tevfik
-
Gerber:1997:SRT, 19(3)525--555
-
Gergeron, J., 4(4)585--600
-
Gergeron:1982:SAS, 4(4)585--600
-
Gerlek, Michael P., 17(1)85--122
-
Gerlek:1995:BIV, 17(1)85--122
-
Gerth, Rob, 19(2)253--291
-
Gerth, Rob, see Dams, Dennis
-
Gertner, Izidor, 11(1)57--66
-
Gertner, Izidor, see Bernstein, David
-
Gesbert, Nils, 31(5)19--19, 38(1)3--3
-
Gesbert, Nils, see Castagna, Giuseppe
-
Gesbert:2015:LAD, 38(1)3--3
-
get, 16(3)1024--1050, 20(3)635--678, 21(3)502--526, 21(4)703--746,
28(3)389--428, 31(4)16--16, 34(2)10--10, 41(3)16--16, 44(4)22--22
-
getting, 17(2)181--196, 21(3)502--526
-
GFT, 36(4)12--12
-
Ghaffari, Amir, 39(4)17--17
-
Ghaffari, Amir, see Trinder, Phil
-
Gharat, Pritam M., 42(2)8--8
-
Gharat:2020:GPG, 42(2)8--8
-
Ghezzi, Carlo, 1(1)58--70, 14(4)521--573
-
Ghezzi, Carlo, see Morzenti, Angelo
-
Ghezzi:1979:IP, 1(1)58--70
-
Ghosh, Somnath, 21(4)703--746
-
Ghosh, Sukumar, 15(4)735--742
-
Ghosh:1993:ASP, 15(4)735--742
-
Ghosh:1999:CME, 21(4)703--746
-
Ghyselen, Alexis, 44(3)15--15
-
Ghyselen, Alexis, see Baillot, Patrick
-
GHz, 1.1-, 27(6)1097--1146
-
Giacobazzi, Roberto, 15(1)133--181, 19(1)7--47, 20(5)1067--1109
-
Giacobazzi, Roberto, see Barbuti, Roberto,
see Cortesi, Agostino
-
Giacobazzi:1998:LMR, 20(5)1067--1109
-
Giallorenzo, Saverio, 46(1)1--1
-
Giallorenzo:2024:COO, 46(1)1--1
-
Giannini, P., 29(2)13--13
-
Giannini, P., see Ancona, D.
-
Giannini, Paola, 24(2)153--191
-
Giannini, Paola, see Drossopoulou, Sophia
-
Giantsios, Aggelos, 39(4)17--17
-
Giantsios, Aggelos, see Trinder, Phil
-
Gianuzzi, V., 13(1)150--178
-
Gianuzzi, V., see Ancona, M.
-
Giegerich, Robert, 5(3)478--498
-
Giegerich:1983:FFD, 5(3)478--498
-
Giesl, Jürgen, 33(2)7--7, 38(4)13--13, 42(3)13--13,
see Brockschmidt, Marc,
see Frohn, Florian
-
Giesl:2011:ATP, 33(2)7--7
-
Gifford, David K., 12(4)537--565
-
Gifford, David K., see Stamos, James W.
-
Gil, Joseph (Yossi), 27(5)819--856, 30(1)5--5, 30(5)28--28
-
Gil:2005:EST, 27(5)819--856
-
Gil:2007:EDD, 30(1)5--5
-
Gil:2008:TDB, 30(5)28--28
-
Gilbert, John R., 17(1)123--156
-
Gilbert, John R., see Chatterjee, Siddhartha
-
Gini, Giuseppina C., 7(2)334--347
-
Gini, Maria L., 7(2)334--347
-
Gini, Maria L., see Gini, Giuseppina C.
-
Gini:1985:DWM, 7(2)334--347
-
Giotto, 29(6)33--33
-
Girard, 19(6)916--941
-
Girault, Alain, 45(2)11--11
-
Girault, Alain, see Yip, Eugene
-
Girkar, Milind, 17(4)600--634
-
Girkar:1995:ETL, 17(4)600--634
-
gist, 9(2)198--234, 20(3)635--678
-
Git, 42(3)15--15
-
GitHub, 41(4)21--21
-
Giuse, Dario A., 23(6)776--796
-
Giuse, Dario A., see Vander Zanden, Bradley T.
-
give, 4(3)382--401, 6(2)159--174, 9(3)297--318, 9(3)367--389,
9(4)491--542, 13(2)211--236, 13(2)237--268, 14(2)201--264,
14(3)339--395, 14(4)521--573, 15(5)771--794, 16(3)456--492,
16(3)843--871, 16(4)1114--1116, 16(4)1117--1155, 16(4)1248--1278,
16(5)1411--1430, 17(5)777--803, 18(2)139--174, 18(5)519--527,
18(6)711--729, 19(1)153--187, 19(3)427--443, 19(4)557--567,
19(5)804--851, 19(6)1085--1087, 20(1)1--50, 20(4)724--767,
20(6)1223--1250, 21(1)90--137, 21(4)703--746, 28(2)256--289,
28(2)290--330, 29(1)2--2, 30(1)4--4, 30(3)12--12, 31(3)9--9,
31(3)11--11, 32(1)3--3, 35(1)5--5, 35(2)7--7, 35(4)13--13,
36(4)11--11, 38(4)14--14, 39(1)3--3, 40(1)2--2, 41(2)8--8,
41(2)11--11, 42(1)4--4, 45(1)5--5
-
Give-N-Take, 22(5)816--860
-
given, 4(2)258--282, 4(3)323--344, 4(3)402--454, 4(4)650--667,
4(4)668--677, 4(4)687--710, 4(4)733--757, 8(4)524--546,
8(4)577--608, 9(3)367--389, 10(2)189--203, 11(4)633--649,
13(1)99--123, 13(1)150--178, 14(2)173--200, 14(4)471--489,
15(4)575--631, 15(5)771--794, 16(2)205--258, 16(2)259--303,
16(3)305--327, 16(3)456--492, 16(3)524--576, 16(3)607--648,
16(4)1117--1155, 16(4)1215--1247, 16(4)1319--1360, 16(6)1842--1874,
17(1)1--15, 17(2)264--292, 17(3)431--447, 17(3)507--534,
18(3)235--253, 18(5)528--563, 18(5)615--647, 18(6)711--729,
19(1)1--6, 19(1)188--222, 19(3)444--461, 19(4)586--616,
19(6)942--991, 20(1)208--258, 20(3)546--585, 20(6)1171--1194,
21(1)90--137, 21(3)627--676, 21(6)1077--1136, 22(5)773--815,
23(1)73--103, 28(1)175--205, 28(3)389--428, 28(4)747--793,
29(6)33--33, 30(4)24--24, 31(6)20--20, 31(6)21--21, 31(6)23--23,
32(6)22--22, 32(6)24--24, 35(1)4--4, 36(2)5--5, 36(2)7--7, 36(3)9--9,
36(4)14--14, 37(2)5--5, 38(1)1--1, 38(2)6--6, 38(2)7--7, 38(3)11--11,
39(4)18--18, 40(1)2--2, 40(2)8--8, 40(3)11--11, 40(4)14--14,
41(1)3--3, 41(3)17--17, 41(4)21--21, 44(1)3--3
-
giving, 4(2)179--195, 13(1)150--178, 17(1)63--84, 19(5)804--851,
21(2)240--285, 31(3)12--12, 36(1)4--4, 41(1)1--1, 43(1)4--4
-
GJ, 23(3)396--450, 28(5)795--847
-
GL, 37(3)9--9
-
Glanville, Graham-, 22(6)973--1001
-
Glasgow, 39(4)18--18
-
Glenstrup, Arne John, 27(6)1147--1215
-
Glenstrup:2005:TAS, 27(6)1147--1215
-
Glesner, Sabine, 26(3)510--577
-
Glesner:2004:NSS, 26(3)510--577
-
Glew, Neal, 21(3)527--568
-
Glew, Neal, see Morrisett, Greg
-
global, 2(1)18--41, 4(3)323--344, 6(2)192--214, 7(2)299--310,
10(4)635--640, 11(4)666--668, 13(2)181--210, 13(2)291--294,
14(2)173--200, 15(4)735--742, 16(2)175--204, 16(2)205--258,
16(3)305--327, 16(3)387--427, 16(4)1156--1214, 17(1)47--62,
17(1)157--179, 18(2)175--234, 18(4)355--400, 18(5)564--614,
18(5)615--647, 18(6)683--710, 20(1)51--115, 20(1)166--207,
20(1)208--258, 20(2)344--387, 21(2)189--239, 21(4)813--847,
21(5)895--913, 21(5)948--976, 21(6)1251--1297, 22(1)129--161,
22(2)187--223, 22(4)673--700, 22(5)932--972, 26(2)221--262,
28(4)715--746, 34(2)8--8, 36(1)4--4, 36(3)8--8, 36(4)11--11,
39(2)7--7, 39(4)17--17, 40(4)17--17, 41(1)2--2, 42(1)4--4
-
globalization, 17(1)47--62
-
globally, 9(2)235--256, 14(2)173--200, 14(4)589--616, 19(3)525--555,
36(3)8--8, 46(1)3--3
-
Gloy, Nikolas, 21(5)977--1027
-
Gloy:1999:PPU, 21(5)977--1027
-
GLR, 28(4)577--618
-
glr, 5(2)164--189
-
GLR-based, 28(4)577--618
-
Glück, Robert, 26(1)191--220,
see Christensen, Niels H.
-
glue, 31(3)12--12
-
GNU, 30(1)4--4, 42(3)15--15
-
GNU/Linux, 39(2)6--6
-
go, no-, 44(2)7--7
-
GOA, 32(4)11--11
-
goal, 4(1)83--112, 4(4)563--584, 8(4)491--523, 9(2)125--163,
12(2)224--252, 13(2)181--210, 14(1)107--125, 16(1)3--34,
18(1)16--29, 18(2)175--234, 20(3)483--545, 20(4)869--916,
21(2)240--285, 22(2)296--339, 22(3)431--470, 27(6)1147--1215,
28(4)747--793, 28(5)908--941, 30(3)17--17, 30(6)30--30, 32(4)13--13,
32(5)19--19, 34(1)1--1, 42(1)2--2, 44(1)4--4, 44(2)9--9
-
Goal-Directed, 14(1)107--125
-
goal-directed, 14(1)107--125, 29(6)39--39
-
Goal-Oriented, 12(2)224--252
-
goal-solving, 20(4)768--844
-
Godefroid, 37(3)8--8
-
Godefroid, Patrice, 26(4)702--734, 27(4)786--818
-
Godefroid, Patrice, see Alur, Rajeev,
see Sistla, A. Prasad
-
Goft, Irit, 27(6)1097--1146
-
Goft, Irit, see Barabash, Katherine
-
Goh, Eak-Khoon, 17(2)217--227
-
Goh, Eak-Khoon, see Chin, Wei-Ngan
-
Goharshady, Amir Kafshdar, 40(3)9--9, 41(4)20--20, 41(4)23--23
-
Goharshady, Amir Kafshdar, see Chatterjee, Krishnendu
-
going, 16(6)1842--1874, 41(2)10--10
-
Gold, Nicolas, 32(1)1--1, 35(2)7--7
-
Gold, Nicolas, see Binkley, David,
see Harman, Mark
-
Goldberg, Allen, 17(1)180--180
-
Goldberg, Allen, see Qian, Xiaolei
-
golden, 36(3)10--10
-
Gomard, 18(6)730--751
-
Gomard, Carsten K., 14(2)147--172
-
Gomard:1992:SAP, 14(2)147--172
-
González, Antonio, 26(2)263--300, 27(5)946--987,
see Vera, Xavier
-
Gonzalez, R. C., 2(4)580--595
-
Gonzalez, R. C., see Moret, B. M. E.
-
good, 7(1)62--79, 9(2)235--256, 14(2)173--200, 14(4)574--588,
16(3)328--369, 17(2)181--196, 18(4)401--423, 20(4)869--916,
20(6)1195--1222, 21(1)138--173, 21(2)370--416, 21(3)677--701,
21(4)703--746, 22(1)129--161, 22(2)224--264, 22(5)932--972,
27(6)1097--1146, 30(5)29--29, 31(6)20--20, 32(6)23--23, 40(1)3--3,
40(2)8--8, 40(4)14--14, 41(2)13--13, 41(3)14--14
-
Goodman, 17(5)740--776
-
Gopalakrishnan, Ganesh, 41(1)2--2
-
Gopalakrishnan, Ganesh, see Solovyev, Alexey
-
Gordon, Andrew D., 25(3)360--399, 29(5)25--25, 30(6)30--30, 31(1)5--5,
33(2)8--8, 44(1)4--4
-
Gordon, Andrew D., see Bengtson, Jesper,
see Bhargavan, Karthikeyan,
see Fournet, Cedric,
see Fournet, Cédric,
see Gorinova, Maria I.
-
Gordon, Colin S., 39(3)11--11, 43(1)4--4
-
Gordon:2017:VIL, 39(3)11--11
-
Gordon:2021:PIS, 43(1)4--4
-
Gorinova, Maria I., 44(1)4--4
-
Gorinova:2022:CIT, 44(1)4--4
-
Gorlatch, Sergei, 26(1)47--56
-
Gorlatch:2004:SRC, 26(1)47--56
-
Gospel, 19(6)1053--1084
-
goto, 6(4)527--545, 16(4)1097--1113, 21(6)1251--1297
-
Gottlieb, Allan, 5(2)164--189
-
Gottlieb:1983:BTE, 5(2)164--189
-
Gouda, Mohamed G., 8(1)154--182
-
Gouda:1986:PLN, 8(1)154--182
-
govern, 40(3)10--10
-
governed, 31(4)16--16
-
Goyal, Prateesh, 41(4)23--23
-
Goyal, Prateesh, see Chatterjee, Krishnendu
-
GPU, 35(4)13--13, 37(3)10--10
-
GPUVerify, 37(3)10--10
-
gracefully, 28(4)577--618
-
gradual, 18(2)139--174, 36(4)12--12, 40(4)16--16, 42(1)2--2, 42(2)11--11,
44(2)7--7
-
Gradual, language-, 36(4)12--12
-
graduality, 44(2)7--7
-
Gradualizing, 44(2)7--7
-
gradually, 36(4)12--12, 40(2)8--8, 42(1)2--2
-
gradually-typed, 40(4)16--16
-
Graham, S. L., 15(5)743--744
-
Graham, S. L., see Appel, A. W.
-
Graham, Susan L., 2(3)415--462, 20(5)980--1013
-
Graham, Susan L., see Wagner, Tim A.
-
Graham-Glanville, 22(6)973--1001
-
Graham:1980:ICF, 2(3)415--462
-
grained, coarse-, 8(4)524--546, 34(1)3--3, 38(3)12--12,
41(3)19--19
-
Grained, Fine-, 37(1)4--4, 44(3)14--14
-
grained, Fine-, 43(4)16--16
-
grained, fine-, 11(4)598--632, 21(1)138--173, 22(3)540--582,
28(2)331--388, 35(1)2--2, 35(2)8--8, 36(3)10--10, 37(1)4--4,
37(4)12--12, 39(3)11--11, 40(3)12--12, 41(3)19--19, 43(4)16--16
-
grained., 13(1)99--123
-
Grammar-Based, 6(1)20--54
-
grammar-based, attribute-, 9(3)408--440
-
grammars:, 16(3)1024--1050
-
Grammatic, 16(3)1024--1050
-
grammatical, 21(1)1--10
-
grammers, 6(4)546--572, 16(5)1572--1612, 16(5)1613--1647
-
GRAMPS, 16(5)1572--1612
-
Grand, Arthur, 1(1)27--49
-
Grand, Arthur, see Dewar, Robert B. K.
-
Grant, Brian, 22(5)932--972
-
Grant:2000:BCD, 22(5)932--972
-
granted, 15(4)706--734
-
granularity, 10(2)248--266, 13(1)99--123, 14(1)28--53, 16(3)577--604,
17(4)600--634, 19(6)942--991, 20(6)1195--1222, 28(2)331--388,
28(3)476--516, 36(1)3--3, 41(3)19--19
-
granularity, task-, 41(3)19--19
-
granulated, 28(3)476--516
-
graph, combinator-, 14(2)265--297
-
graph, CSS-, 41(2)12--12
-
graph, decision-, 16(1)3--34
-
graph-based, 20(2)344--387, 29(6)35--35
-
Graph-coloring, 18(3)300--324
-
graph-marking, 4(3)362--381
-
graph-oriented, 9(4)473--490
-
graph-PDG-, 9(3)319--349
-
graph-reachability, 22(1)162--186, 44(2)11--11
-
graph-theoretic, 22(1)162--186
-
graphic, 4(4)687--710, 35(4)13--13
-
graphical, 8(4)524--546, 23(6)776--796, 27(6)1344--1395, 28(3)517--575
-
GRAPHICS, 10(2)215--247, 12(2)143--177
-
graphs, DJ-, 24(4)299--333
-
Graphs, Type-, 14(4)574--588
-
graphs, type-, 14(4)574--588
-
graphs,'', ``CSS-, 41(2)12--12
-
great, 10(2)248--266, 16(3)456--492
-
greater, 15(1)182--205, 17(5)740--776, 31(1)2--2, 42(3)15--15, 43(1)2--2
-
greatest, 31(4)15--15
-
greatly, 5(2)236--264, 16(4)1319--1360, 21(3)677--701, 31(6)21--21,
36(3)10--10
-
greedy, 15(4)632--658, 16(3)1010--1023, 36(4)11--11, 41(2)13--13
-
Green, Rickard, 39(4)17--17
-
Green, Rickard, see Trinder, Phil
-
Greenberg, 39(1)3--3
-
Greenberg, Albert G., 10(2)313--337
-
Greenberg, Michael, 39(1)3--3
-
Greenberg, Michael, see Sekiyama, Taro
-
Greenberg:1988:SEA, 10(2)313--337
-
Greenman, Ben, 45(1)4--4
-
Greenman:2023:TUI, 45(1)4--4
-
Greenwald, Michael B., 29(3)17--17
-
Greenwald, Michael B., see Foster, J. Nathan
-
Gregg, David, 29(6)37--37
-
Gregg, David, see Casey, Kevin
-
Grégoire, Benjamin, 31(5)18--18, see Barthe, Gilles
-
Gregory, Steve, 8(1)1--49
-
Gregory, Steve, see Clark, Keith
-
Greif, Irene, 3(4)484--507
-
Greif:1981:SSW, 3(4)484--507
-
Greiner, John, 21(2)240--285
-
Greiner:1999:PTE, 21(2)240--285
-
Grellois, Charles, 41(2)10--10
-
Grellois, Charles, see Dal Lago, Ugo
-
Gretz, Friedrich, 40(1)4--4
-
Gretz, Friedrich, see Olmedo, Federico
-
grid, 17(1)123--156, 32(3)9--9
-
grid., 32(3)9--9
-
Gries, David, 1(2)258--265, 2(4)564--579, 14(3)396--416, 15(1)208--208
-
Gries, David, see Widom, Jennifer
-
Gries:1979:SEB, 1(2)258--265
-
Gries:1980:APC, 2(4)564--579
-
grim, 40(4)14--14
-
Grimmer, 40(4)18--18
-
Grimmer, Matthias, 40(2)8--8
-
Grimmer:2018:CLI, 40(2)8--8
-
Grisenthwaite, Richard, 43(2)8--8
-
Grisenthwaite, Richard, see Alglave, Jade
-
Griswold, Ralph E., 2(2)153--172, 3(2)144--161, 4(4)563--584
-
Griswold:1980:AUP, 2(2)153--172
-
Griswold:1981:GI, 3(2)144--161
-
Griswold:1982:EEI, 4(4)563--584
-
Grit, Dale H., 3(1)49--59
-
Grit:1981:DIT, 3(1)49--59
-
Gronski, 39(1)3--3
-
Gross, Thomas, 5(3)422--448, 22(3)431--470
-
Gross, Thomas, see Hennessy, John L.,
see Lueh, Guei-Yuan
-
Gross, Thomas R., 16(4)1156--1214
-
Gross, Thomas R., see Freudenberger, Stefan
-
Grosser, Tobias, 37(4)12--12
-
Grosser:2015:PAG, 37(4)12--12
-
grossly, 34(3)14--14
-
Grossman, Dan, 22(6)1037--1080, 28(3)429--475, 39(3)11--11
-
Grossman, Dan, see Gordon, Colin S.
-
Grossman:2000:STA, 22(6)1037--1080
-
Grossman:2006:QTI, 28(3)429--475
-
Grosu, Radu, 26(2)339--369
-
Grosu, Radu, see Alur, Rajeev
-
Grothoff, Christian, 29(6)32--32
-
Grothoff:2007:EOC, 29(6)32--32
-
ground, 16(3)607--648, 43(1)4--4
-
ground-dependence, 15(1)133--181
-
groundless, 21(5)948--976
-
groundness, 16(3)607--648, 21(5)948--976
-
group, 4(2)239--257, 4(3)382--401, 4(4)585--600, 9(2)198--234,
19(3)492--524, 19(4)617--638, 31(6)20--20, 34(1)4--4, 36(1)2--2,
37(3)10--10
-
group, intra-, 37(3)10--10
-
grouped, 14(2)201--264
-
grouping, 19(5)751--803, 42(3)12--12
-
Grove, 20(6)1251--1264
-
Grove, David, 23(6)685--746, 41(3)15--15
-
Grove:2001:FCG, 23(6)685--746
-
Grove:2019:FRR, 41(3)15--15
-
Grover, 21(3)417--429
-
grow, 9(2)277--295, 19(3)462--491, 44(4)22--22
-
growing, 19(6)992--1030, 20(2)274--301, 28(3)476--516, 35(4)13--13
-
growth, 4(2)179--195, 19(6)1031--1052, 20(1)51--115, 20(3)635--678,
28(5)908--941
-
Gruetter, Samuel, 45(1)5--5
-
Gruetter, Samuel, see Charguéraud, Arthur
-
Grumberg, O., 19(5)726--750
-
Grumberg, O., see Clarke, E. M.
-
Grumberg, Orna, 16(3)843--871, 16(5)1512--1542, 19(2)253--291
-
Grumberg, Orna, see Clarke, Edmund M.,
see Dams, Dennis
-
Grumberg:1994:MCM, 16(3)843--871
-
Grunwald, Dirk, 19(1)188--222
-
Grunwald, Dirk, see Calder, Brad
-
Gruszecki, Aleksander, Boruch-, 45(4)21--21
-
GSA, 30(6)32--32
-
GSL, 40(4)16--16
-
GTSs, 9(4)473--490
-
GTSs-are, schemes-, 9(4)473--490
-
guarantee, 6(2)215--238, 6(4)632--646, 8(4)547--576, 11(4)633--649,
13(1)124--149, 15(5)745--770, 15(5)771--794, 16(2)205--258,
16(3)1024--1050, 16(5)1613--1647, 18(2)175--234, 20(1)116--165,
20(2)436--482, 20(6)1297--1322, 21(5)914--947, 22(1)87--128,
22(5)816--860, 27(6)1147--1215, 31(6)21--21, 32(5)16--16,
33(4)13--13, 35(3)9--9, 35(4)12--12, 36(3)8--8, 36(4)12--12,
37(1)4--4, 38(4)16--16, 39(3)10--10, 40(2)8--8, 40(4)16--16,
42(1)1--53, 42(1)2--2, 43(2)6--6, 43(3)10--10, 43(4)15--15
-
guarantee, assume-, 22(1)87--128, 24(1)51--64
-
Guarantee, Rely-, 39(3)11--11, 43(1)2--2
-
guarantee, Rely-, 39(3)11--11
-
guarantee, rely-, 39(3)11--11, 43(1)2--2
-
Guarantee-Based, Rely-, 36(1)3--3
-
guarantee-based, rely-, 43(1)2--2
-
Guarantee-based, Rely-, 36(1)3--3
-
guarantee-style, assume-, 16(3)843--871
-
guaranteed, 13(1)52--98, 17(1)63--84, 18(2)175--234, 21(4)747--789,
22(1)87--128, 22(3)540--582, 28(5)942--965, 31(1)1--1, 31(6)20--20,
31(6)21--21, 38(2)5--5, 39(4)16--16, 40(3)11--11
-
guaranteeing, 16(5)1399--1410, 18(1)30--72, 19(5)639--684,
20(1)208--258, 27(6)1147--1215, 39(2)7--7, 43(2)6--6
-
guard, 2(2)234--238, 5(2)223--235, 10(2)204--214, 13(1)99--123,
16(3)954--985, 18(1)73--108, 29(5)29--29, 29(6)30--30, 31(2)7--7,
34(4)16--16
-
guard-scheduling, 6(2)215--238, 16(3)954--985
-
guarded, 16(2)259--303, 16(3)924--938, 29(1)1--1, 30(4)20--20,
31(6)22--22, 32(6)22--22, 38(2)7--7, 40(1)4--4, 40(3)11--11
-
guarded, write-, 30(4)20--20
-
guardians, 5(3)381--404
-
guards., 16(3)954--985
-
guardscheduling, \refsec-, 6(2)215--238
-
Gudeman, David A., 14(1)107--125
-
Gudeman:1992:DSG, 14(1)107--125
-
Gudjónsson, Gudjón, 21(3)430--501
-
Gudjonsson:1999:CTM, 21(3)430--501
-
guesses, 36(4)14--14
-
Guest, 5(3)355--355, 8(4)417--418, 12(4)641--642, 14(2)145--146,
24(2)111--111, 26(5)767--768
-
GUI, 32(6)23--23
-
guidance, 43(1)4--4
-
guide, 16(1)151--174, 16(3)607--648, 16(6)1699--1718, 20(1)208--258,
20(3)483--545, 28(4)715--746, 30(4)23--23, 35(2)8--8, 35(4)13--13,
38(4)15--15, 40(2)6--6, 45(4)20--20
-
guided, 18(2)175--234, 19(3)492--524, 22(3)490--505, 28(4)747--793,
38(2)6--6, 40(2)6--6
-
guided, pre-analysis-, 38(2)6--6
-
guideline, 28(5)908--941, 42(1)2--2
-
guiding, 9(2)125--163, 18(2)175--234, 27(5)946--987
-
Guimarães, Breno C. F., 42(3)15--15,
see Melo, Leandro T. C.
-
guises, 9(2)277--295
-
Gulavani, Bhargav S., 33(5)17--17
-
Gulavani:2011:BSA, 33(5)17--17
-
Guo, 38(2)7--7
-
Gupta, Gopal, 15(4)659--680, 23(4)472--602
-
Gupta, Manish, 22(2)265--295, 25(6)876--910
-
Gupta, Manish, see Choi, Jong-Deok,
see Moreira, José E.
-
Gupta, Neelam, 32(5)17--17
-
Gupta, Neelam, see Jeffrey, Dennis
-
Gupta, Rajiv, 16(3)370--386, 19(6)992--1030, 27(4)631--661, 32(5)17--17
-
Gupta, Rajiv, see Duesterwald, Evelyn,
see Jeffrey, Dennis, \see{Zhang, Xiangyu
-
Gupta:1993:APE, 15(4)659--680
-
Gupta:1994:ERA, 16(3)370--386
-
Gupta:2001:PEP, 23(4)472--602