Index file section V for sigplan1980.bib

Last update: Fri Aug 9 02:18:06 MDT 2024               

Return to index directory

V

• V, 24(5)47--56, 24(7)285--297
• v, 0(0)vii--291, 0(0)viii--196, 0(0)viii--208, 0(0)160, 0(0)x--303, 18(5)57--62, 20(12)13--17, 21(5)39--44, 21(5)45--49, 22(9)12--13, 22(10)136--145, 23(7)67--78, 23(12)38--44, 24(4)142--144, 24(4)165--167
• V2, 20(8)78--81
• V6, 18(11)45--53
• V7, 18(10)12--15, 19(10)12--21
• Vaglini, G., 18(8)98--106
• Vaglini, G., see Baiardi, F.
• valid, 16(1)112--114, 16(5)22--31
• validated, 16(1)189--191, 23(7)318--328, 24(6)20--22, 24(6)23--31
• validation, 15(11)1--8, 16(3)18--47, 18(8)53--59, 18(8)63--66, 18(8)81--90, 20(5)36--44, 24(6)23--31
• validity, 18(11)34--44
• valuable, 23(7)241--249
• valuate, 18(8)98--106
• value, 0(0)12--27, 0(0)238--245, 15(9)61--63, 15(11)91--100, 16(1)118--120, 16(1)124--125, 16(11)30--34, 17(2)41--48, 17(4)96--99, 17(4)167--176, 17(7)62--71, 17(12)70--79, 18(2)62--64, 18(4)66--68, 18(7)60--61, 18(8)145--148, 18(8)173--179, 20(6)26--32, 20(7)93--106, 20(7)131--139, 20(7)161--170, 20(7)199--207, 20(10)23--35, 21(7)39--50, 21(11)159--166, 21(11)167--176, 21(12)87--98, 22(7)86--91, 22(7)102--112, 22(7)165--176, 22(7)205--213, 22(7)274--282, 23(4)22--26, 23(7)35--46, 23(7)250--259, 23(12)63--68, 24(3)55--56, 24(3)57--66, 24(3)79--84, 24(7)207--217, 24(7)298--312, 24(7)344--355, 24(9)133--141
• value, call-by-, 22(7)64--73
• value-oriented, 17(12)70--79, 20(7)171--178, 20(7)199--207, 23(7)250--259
• value-result, call-by-, 17(2)24--27
• value-returning, 24(3)55--56
• value-yielding, 22(8)105--110
• valued, 21(12)87--98
• valued, many-, 17(1)9--17
• values, 1-, 22(7)165--176
• Vamp, 24(10)185--188
• van de Riet, 16(5)59--80
• van de Riet, see Wasserman, A. I.
• van Delft, A. J. E., 24(3)23--30
• Van Den Bos, J., 24(10)95--102
• van der Stok, P. D. V., 21(9)27--31
• van der Stok, P. D. V., see Christiansen, H. P.
• Van Deusen, Mary, 16(12)27--38
• van Gestel, Eric, 23(1)120--126
• Van Gulik, Mark, 23(11)105--122
• Van Gulik, Mark, see LaLonde, Wilf R.
• van Horebeek, Ivo, 23(1)120--126
• van Horebeek, Ivo, see van Gestel, Eric
• van Katwijk, J., 19(1)78--92, 19(9)37--48
• van Lamsweerde, A., 22(1)208--217
• Van Oost, E. M. J. C., 18(2)69--75
• Van Rosendale, John, 24(4)40--42
• Van Rosendale, John, see Mehrotra, Piyush
• Van Roy, P., 24(11)132--134
• van Someren, J., 19(1)78--92
• van Someren, J., see van Katwijk, J.
• Van Tuyl, Robert R., 19(11)52--55
• van Wezenbeek, Anton M., 24(9)86--91
• van Wezenbeek, Anton M., see Klaassen, Arno J.
• Van Wyde, C. T., 16(6)97--107
• Van Wyk, Christopher J., 16(6)99--107
• Van Zandt, John, 15(5)78--80
• vanDelft:1989:CO, 24(3)23--30
• vandenBos:1980:CAP, 15(6)77--81
• vandenBos:1987:PPC, 22(9)14--19
• vandenBos:1989:PPC, 24(4)149--151
• VanDenBos:1989:PPO, 24(10)95--102
• vandenBosch:1982:TPL, 17(3)83--92
• vanderLinden:1981:MFA, 16(8)67--68
• vanderLinden:1982:AOA, 17(3)93--94
• vanderMeulen:1987:IIS, 22(12)366--376
• Vanderwarn, B. D., 22(10)199--204
• Vanderwarn, B. D., see Smith, J. E.
• VanDeusen:1981:TR, 16(12)27--38
• VanDeusen:1984:CCP, 19(0)318
• vanEijk:1986:UAF, 21(9)77--78
• vanGestel:1988:RMS, 23(1)120--126
• vanilla, 21(1)58--63, 24(5)47--56
• vanKatwijk:1983:PYP, 18(10)12--15
• vanKatwijk:1984:DMR, 19(1)78--92
• vanKatwijk:1984:PEA, 19(9)37--48
• vanLamsweerde:1987:KGS, 22(1)208--217
• Vanneschi, M., 19(6)290--299
• Vanneschi, M., see Baiardi, F.
• Vannorman, R., 0(0)109--112
• Vannorman:1989:CMR, 0(0)109--112
• VanOost:1983:DDO, 18(2)69--75
• VanRoy:1989:UEP, 24(11)132--134
• Vansteenkiste, Geert, 19(1)36--45
• Vansteenkiste, Geert, see Craeynest, Dirk
• Vanthienen, J., 20(5)45--47
• Vanthienen:1985:NED, 17(7)88--88, 20(5)45--47
• VanTuyl:1984:EF, 19(11)52--55
• VanWyde:1981:GTL, 16(6)97--107
• VanWyk:1981:GTL, 16(6)99--107
• VanZandt:1980:VTS, 15(5)78--80
• Vardi, M. Y., 0(0)250--259
• Vardi:1988:TFC, 0(0)250--259
• variability, 16(1)189--191
• variable, 0(0)1--11, 0(0)191--203, 15(7)88--89, 15(9)61--63, 15(11)82--90, 15(12)85--91, 16(1)124--125, 16(11)22--29, 17(4)167--176, 17(5)60--79, 17(8)57--66, 17(11)39--41, 18(9)26--30, 19(2)85--91, 19(4)44--46, 19(6)179--189, 19(8)77--84, 19(9)30--33, 19(11)56--58, 19(12)12--26, 20(3)32--36, 20(4)80--87, 20(7)43--59, 20(7)131--139, 20(7)161--170, 20(8)78--81, 20(11)69--77, 21(11)140--150, 21(11)159--166, 21(11)341--346, 21(11)347--349, 22(7)64--73, 22(7)86--91, 22(7)92--101, 22(7)205--213, 23(7)35--46, 23(7)67--78, 23(7)164--174, 23(7)297--307, 23(8)19--22, 23(9)212--221, 24(3)46--54, 24(3)79--84, 24(4)91--93, 24(5)102--111, 24(6)49--54, 24(6)91--96, 24(7)28--40, 24(7)54--68, 24(7)285--297, 24(9)126--132
• variable-sized, 23(7)67--78
• variance, 24(7)298--312
• variant, 0(0)77--88, 15(10)57--62, 19(3)46--50, 19(6)171--178, 21(11)242--257, 22(7)241--252, 22(7)264--273, 23(7)185--198
• varied, 17(4)177--184, 22(7)64--73
• variety, 16(1)43--52, 16(1)135--137, 16(1)201--202, 17(4)66--76, 17(4)87--91, 17(4)167--176, 20(4)24--32, 20(7)1--11, 20(7)148--160, 20(7)245--251, 21(11)167--176, 21(11)258--268, 21(11)322--330, 22(7)165--176, 23(12)79--85, 23(12)95--97, 23(12)115--124, 24(3)79--84, 24(4)25--27, 24(6)69--76
• various, 16(1)43--52, 16(1)72--76, 16(1)77--82, 16(1)104--106, 16(1)107--109, 16(1)128--130, 16(1)131--132, 16(1)138--140, 16(1)193--195, 17(4)1--1, 18(7)60--61, 18(8)98--106, 18(11)54--63, 19(2)75--79, 19(6)179--189, 20(4)80--87, 20(7)131--139, 20(11)30--38, 21(11)269--276, 21(11)277--283, 22(7)153--164, 23(7)154--163, 23(10)72--74, 23(12)63--68, 24(4)165--167, 24(4)197--199, 24(6)77--80, 24(6)81--89, 24(7)13--27, 24(9)142--151
• varisized, 22(7)253--263
• vary, 24(5)76--82
• varying, 17(2)41--48, 24(6)20--22
• Vasak, T., 21(6)61--62
• Vasak:1986:UCO, 21(6)61--62
• Vast, 16(1)110--111
• Vaughan, M., 24(10)211--214
• Vaughan, M., see Dixon, R.
• Vaughan, Richard A., 22(10)60--64
• Vaughan, Richard A., see Davidson, Jack W.
• VAX, 15(3)21--27, 15(11)91--100, 17(1)42--51, 17(4)87--91, 17(6)32--43, 17(6)276--283, 17(10)13--22, 18(8)173--179, 20(8)64--70, 20(11)64--68, 21(11)368--376, 22(1)49--58, 22(7)64--73, 22(10)173--177, 23(7)329--338, 24(7)238--245
• Vax, 19(9)16--20, 22(7)241--252
• VAX-11, 17(4)177--184, 18(8)173--179
• VAX-II, 19(6)266--275
• VAX-Unix, 20(9)52--76
• Vax11/780, 19(9)16--20
• VAXELN, 19(6)266--275
• Vaxen, 22(7)283--291
• VAXes, 22(7)45--55
• VAX/VMS, 17(4)177--184, 22(1)49--58
• VBASE, 22(12)430--440
• vector, 0(0)1--11, 0(0)49--58, 16(4)36--50, 17(6)1--14, 17(6)261--275, 19(6)37--47, 19(6)132--143, 19(6)233--246, 21(1)49--57, 21(7)1--10, 21(9)32--41, 22(8)57--78, 23(9)42--56, 23(9)57--65, 23(12)63--68, 24(9)152--157
• vectorial, 22(7)241--252
• vectorization, 0(0)1--11, 23(7)241--249
• vectorizing, 21(7)152--161, 22(8)57--78, 23(7)241--249
• vector/parallel, 23(7)241--249
• Vegdahl, Steven R., 21(11)294--302, 21(11)466--471
• Vegdahl, Steven R., see Miller, Michael S.
• Vegdahl:1986:MSB, 21(11)466--471
• vehicle, 17(11)39--41, 21(11)242--257, 22(7)102--112, 22(7)283--291
• Veilhti, J., 22(9)23--32
• Veilhti, J., see Nuutila, E.
• Velázquez Iturbide, J. Ángel, 24(3)46--54
• VelazquezIturbide:1989:FCS, 24(3)46--54
• Veloso, P. A. S., 16(3)53--62, 16(5)39--42
• Veloso, P. A. S., see Furtado, A. L., see Remy, J. L.
• Veloso, Paulo A. S., 23(12)86--94
• Veloso, Paulo A. S., see Furtado, Antonio L.
• vendor, 21(11)368--376
• Venkatesh, G. A., 24(7)1--12
• Venkatesh:1989:FCE, 24(7)1--12
• Ventouris, K. P., 24(5)93--101
• Ventouris, K. P., see Pintelas, P. E.
• Ventre, Giorgio, 24(6)59--68
• Ventre, Giorgio, see Iannello, Giulio
• verifiability, 16(2)113--119
• verifiable, 16(3)102--113, 24(4)149--151
• verify, 16(1)201--202, 24(4)142--144, 24(7)146--160
• verifying, 0(0)1--2, 0(0)13--26, 0(0)27--38, 0(0)89--104, 0(0)111--119, 0(0)134--142, 0(0)156--167, 0(0)166--178, 0(0)179--190, 0(0)189--198, 0(0)191--201, 0(0)246--252, 0(0)250--259, 0(0)260--266, 0(0)260--273, 0(0)267--280, 0(0)284--295, 15(11)113--122, 20(7)69--73, 22(12)295--306, 24(10)363--370
• Vermaak, Desiré, 18(3)46--47
• Vermaak:1983:PPE, 18(3)46--47
• versa, 23(7)185--198
• versatile, 18(8)60--62, 20(9)43--51
• versatility, 15(12)15--16, 23(7)268--277
• version, 0(0)20, 0(0)36--48, 0(0)133--145, 16(4)81--88, 17(4)77--80, 17(4)100--106, 17(4)107--116, 17(9)72--75, 18(8)34--44, 18(8)91--95, 19(9)5--11, 20(2)54--57, 20(7)171--178, 20(7)230--244, 21(10)19--28, 21(10)29--38, 21(10)120--127, 21(11)444--452, 21(11)483--495, 22(7)14--25, 22(7)64--73, 22(7)86--91, 22(7)177--188, 22(7)241--252, 22(7)253--263, 23(7)11--20, 23(8)49--62, 23(12)45--50, 24(2)201--215, 24(3)93--161, 24(4)76--78, 24(4)81--83, 24(4)84--86, 24(6)49--54, 24(7)81--90, 24(7)192--206, 24(7)313--321, 24(9)112--115
• versus, 15(10)85--87, 17(12)65--69, 21(11)391--405, 22(2)62--67, 23(2)9--18, 23(12)63--68
• VERTEX, 20(1)11--19
• vertex, 24(7)258--263
• vertical, 17(4)185--194
• very, 0(0)29--33, 0(0)284--295, 0(0)314--314, 0(0)319--329, 16(1)36--39, 16(1)62--71, 16(1)88--90, 16(1)144--146, 16(1)201--202, 16(6)34--43, 16(11)22--29, 17(4)48--56, 17(4)77--80, 17(4)117--131, 17(4)132--139, 17(6)301--307, 17(7)39--46, 17(9)34--43, 18_6S_166_169, 18_6S_170_177, 18_6S_187_191, 18_6S_192_201, 18_6S_41_52, 18_6S_65_72, 18_6S_83_93, 18_6S_94_99, 18(8)71--80, 18(8)81--90, 20(1)9--10, 20(7)43--59, 20(8)38--40, 20(9)11--20, 20(11)54--63, 20(12)39--46, 21(7)145--151, 21(11)277--283, 22(7)74--85, 22(7)86--91, 22(7)113--124, 22(7)153--164, 22(7)229--240, 22(8)57--78, 22(12)366--376, 23(12)115--124, 24(4)95--98, 24(4)191--193, 24(5)76--82, 24(6)20--22, 24(6)35--36, 24(6)97--105, 24(7)192--206, 24(7)227--237, 24(7)330--343, 24(11)125--131
• very-high, 15(11)194--201
• very-high-level, 17(10)43--49
• vessel, 18(9)70--78
• VHDL, 23(1)92--108, 24(7)120--130
• viable, 22(3)102--110, 23(7)125--134, 23(7)318--328
• vice, 23(7)185--198
• video, 16(6)123--129, 16(6)130--136
• Vienna, 19(6)202--212
• view, 0(0)307--313, 16(1)40--42, 16(1)72--76, 16(1)98--100, 16(1)101--103, 16(1)104--106, 16(1)128--130, 16(1)131--132, 16(1)141--143, 16(1)150--152, 16(1)164--166, 16(1)177--179, 16(1)198--200, 17(4)117--131, 17(4)140--148, 17(4)195--204, 18(8)60--62, 18(9)70--78, 19(5)132--140, 19(6)179--189, 20(2)17--20, 20(7)28--33, 20(7)93--106, 20(10)23--35, 20(12)13--17, 21(5)45--49, 21(7)131--135, 21(11)277--283, 21(11)303--314, 21(11)322--330, 21(11)361--367, 21(11)368--376, 22(3)123--125, 22(7)264--273, 22(11)95--110, 23(7)185--198, 23(11)191--205, 24(1)206--215, 24(3)67--78, 24(4)95--98, 24(4)126--128, 24(4)142--144, 24(10)353--361
• view-controller, model-, 24(10)347--352
• viewed, 17(4)96--99, 17(7)39--46, 18(8)67--70, 18(8)123--129, 18(9)70--78, 21(11)17--29, 21(11)87--106, 21(11)417--423, 24(5)112--120
• viewers, 23(7)105--114
• viewing, 17(11)45--49, 19(5)49--56, 21(11)277--283
• viewpoint, 16(1)13--18, 16(1)29--35, 16(1)36--39, 16(1)126--127, 16(1)164--166, 17(4)140--148, 17(11)45--49, 18(10)25--32, 20(7)245--251, 20(8)88--92, 20(12)39--46, 24(3)55--56, 24(4)87--90
• VII, 19(12)48--53
• virtual, 0(0)113--122, 15(6)19--27, 15(7)52--57, 15(11)223--234, 17(2)28--36, 17(4)81--86, 17(5)80--89, 19(2)92--110, 19(3)24--31, 19(5)157--167, 21(11)87--106, 21(11)107--118, 21(11)131--139, 21(11)140--150, 21(11)159--166, 21(11)232--241, 21(11)303--314, 21(11)361--367, 22(7)26--37, 22(7)138--149, 22(7)150--152, 22(7)189--198, 22(7)241--252, 22(7)264--273, 22(7)274--282, 22(10)31--39, 22(10)72--81, 22(12)26--34, 23(7)11--20, 24(4)81--83, 24(4)87--90, 24(7)69--80, 24(7)120--130, 24(9)80--85, 24(10)267--278, 24(10)397--406
• Virtual, Digital-, 24(5)87--92
• virtual-memory, 23(7)11--20
• visibility, 17(4)117--131, 18_6S_187_191, 19(6)259--265
• visible, 21(4)32--41, 21(11)38--45, 22(7)165--176, 23(5)113--118, 23(7)24--31, 23(12)115--124
• VISION, 21(7)17--26, 24(4)181--183
• vision, 24(7)330--343
• Visionaries, 21(6)41--54
• Visiprog, 22(7)38--44
• visit-sequences, 24(7)131--145
• visiting, 20(1)11--19
• visual, 15(5)78--80, 18_6S_14_21, 20(7)148--160, 22(1)102--110, 22(8)24--26, 23(4)43--50, 23(5)113--118, 23(11)176--190, 24(5)121--123
• visualisation, 19(11)59--62
• visualization, 21(11)202--213, 24(0)0--0, 24(4)129--131, 24(4)181--183, 24(4)184--186, 24(4)187--189, 24(7)330--343
• visualize, 18(12)60--68, 24(4)181--183
• vital, 23(7)250--259
• Vitter, Jeffrey Scott, 19(5)168--176
• Vitter:1984:UNF, 19(5)168--176
• VLIW, 22(10)180--192, 23(7)318--328
• VLSI, 17(4)92--95, 18_6S_166_169, 21(4)58--66, 21(11)294--302, 22(10)10--20, 22(12)366--376
• VMS, 18(8)173--179, 20(6)20--25, 20(11)64--68, 21(11)368--376
• Vogt, H. H., 24(7)131--145
• Vogt:1989:HOA, 24(7)131--145
• Vokolos, Filippos I., 22(1)111--120
• Vokolos, Filippos I., see Childs, Carolyn
• vol, 0(0)vii--355, 0(0)viii--219, 0(0)ix--246, 0(0)160, 0(0)282, 0(0)528, 20(0)vi--251, 20(5)45--47
• Volition, 19(11)23--32, 19(11)33--41
• Völler, Reinhard, 19(6)202--212, see Schmidt, Uwe
• volumes, 24(4)126--128
• Volz, R. A., 21(12)99--110
• Volz, R. A., see Clapp, R. M.
• von Bochmann, G., 18(8)53--59
• von Bochmann, G., see Jard, C.
• Von-Neuman, 20(9)86--93
• von-Neuman, 17(4)81--86
• Von-Neumann, 20(9)86--93
• von-Neumann, 22(7)64--73
• von-Neumann, non-, 17(11)50--58
• Vouk, Mladen A., 19(12)54--60
• Vouk:1984:CML, 19(12)54--60
• Voyeur, 24(1)206--215
• VP, 22(8)57--78
• vpl, 16(4)36--50
• Vries, Fer-Jan, de, 23(1)67--74
• vu, 22(6)39--48
• Vulcan, 21(10)29--38, 21(11)242--242, 21(11)242--257
• VWG, 18(7)25--44