Last update: Sat Oct 21 02:07:46 MDT 2023
Return to index directory
V
-
Vafeiadis, Viktor, 17(4)547--612, 25(z)z
-
Vafeiadis, Viktor, see Sewell, Peter,
see Ziliani, Beta
-
validation, 30(z)z
-
validity, 15(4)543--572
-
value, 6(2)355--364, 27(z)z
-
value-dependent, 23(4)402--451
-
van, 16(2)249--250, 19(2)254--256, 24(2)419--421, 24(4)524--527
-
Van Den Berg, Klaas, 3(1)49--65
-
Van Den Berg, Klaas, see Joosten, Stef
-
Van Der Hoeven, Gerrit, 3(1)49--65
-
Van Der Hoeven, Gerrit, see Joosten, Stef
-
Van Eekelen, Marko, 23(2)185--224
-
Van Eekelen, Marko, see Achten, Peter
-
Van Groningen, John H. G., 6(4)621--655
-
Van Groningen, John H. G., see Hartel, Pieter H.
-
Van Horn, David, 18(2)179--249, 22(4)705--746, 24(2)218--283, 27(z)z,
29(z)z
-
Van Horn, David, see Darais, David,
see Johnson, J. Ian,
see Nguyên, Phúc C.,
see Skalka, Christian
-
Van Noort, Thomas, 20(3)375--413, 23(3)229--248
-
Van Noort, Thomas, see Swierstra, Wouter
-
Van Roy, Peter, 0(0)xxvii--900
-
Van Straaten, Anton, 19(z)1--301
-
Van Straaten, Anton, see Sperber, Michael
-
Van Strydonck, Thomas, 31(z)z
-
Vanderhallen, Stien, 30(z)z
-
Vanderhallen, Stien, see Karachalias, Georgios
-
VanHorn:2012:SAA, 22(4)705--746
-
VanNoort:2010:LAD, 20(3)375--413
-
VanRoy:2004:CTM, 0(0)xxvii--900
-
variable, 14(5)489--502
-
variable-size, 30(z)z
-
variant, 30(z)z
-
various, 0(0)xviii--471, 0(0)xxvi--586
-
Vasconcelos, Vasco T., 20(1)19--50
-
Vasconcelos, Vasco T., see Gay, Simon J.
-
Vasconcelos, Vasco Thudichum, 15(1)101--127
-
Vasconcelos:2005:LPC, 15(1)101--127
-
vector, 32(z)z
-
Veltri, Niccolò, 27(z)z, see Uustalu, Tarmo
-
Verbruggen, Wendy, 20(3)213--270
-
Verbruggen:2010:FPP, 20(3)213--270
-
verification, 0(0)xiv--600, 0(0)xxvi--586, 9(2)225--245, 13(4)709--745,
17(6)813--814, 23(4)452--514, 27(z)z, 30(z)z
-
verified, 25(z)z, 29(z)z, 31(z)z
-
verified, separation-logic-, 31(z)z
-
verifiers, 18(5)599--647
-
Verify, 31(z)z
-
Verifying, 21(6)573--583
-
Verlag, 16(2)247--249
-
Verlag, Springer-, 2(2)227--231, 8(5)537--542, 9(1)105--111,
9(3)347--354, 10(5)501--508, 11(4)433--436, 11(5)589--589,
14(2)249--251, 14(5)589--592, 14(5)597--598, 17(3)428--429,
17(6)813--814, 30(z)z
-
version, 11(6)591--627, 16(6)663--670, 30(z)z
-
versus, 6(1)47--74, 7(5)541--547, 26(z)z, 28(z)z
-
vertex-centric, 32(z)z
-
very, 0(0)ix--194, 23(3)352--354
-
Vezzosi, Andrea, 31(z)z
-
Vezzosi:2021:CAD, 31(z)z
-
video, 28(z)z
-
Video-on-Demand, 15(3)403--430
-
view, 14(1)69--111
-
vii, 0(0)xxiii--657
-
Villanueva, Alicia, 17(6)813--814
-
Villanueva:2007:BRV, 17(6)813--814
-
Virding, 5(4)653--660
-
Viroli, Mirko, 18(3)285--331
-
Viroli, Mirko, see Saito, Chieri
-
Virtual, 9(6)579--603, 26(z)z
-
virtues, 5(2)135--154
-
vision, 5(3)345--382
-
visual, 0(0)xvi--395, 11(2)155--206
-
visualisation, 10(1)57--75
-
visualizations, 31(z)z
-
Vitek, Jan, 16(1)83--128, 29(z)z
-
Vitek, Jan, see Greenman, Ben, \see{Zhao, Tian
-
VoDKA, 15(3)403--430
-
Voigtländer, Janis, 14(3)317--363, 23(5)515--551
-
Voigtlander:2004:CFA, 14(3)317--363
-
Voigtlander:2013:ESB, 23(5)515--551
-
Vol, 2(3)365--365
-
Von Oheimb, David, 9(2)191--223
-
Von Oheimb, David, see Müller, Olaf
-
vonSydow:2000:BRH, 10(5)501--508
-
Vree, Willem G., 5(4)549--581
-
Vree:1995:CLF, 5(4)549--581
-
Vries, Edsko, De, 20(3)213--270
-
Vroon, Daron, 18(1)15--46
-
Vroon, Daron, see Greve, David A.
-
vs, 16(4)415--449
-
Vytiniotis, Dimitrios, 17(1)1--82, 20(2)175--210, 21(4)333--412,
22(4)529--573, 26(z)z, 27(z)z
-
Vytiniotis, Dimitrios, see Hritcu, Catalin,
see Kennedy, Andrew J.,
see Peyton Jones, Simon,
see Sergey, Ilya
-
Vytiniotis:2010:PTE, 20(2)175--210
-
Vytiniotis:2011:OXM, 21(4)333--412