Last update: Wed Sep 26 02:07:32 MDT 2018
Top |
Symbols |
Numbers |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Whaley:1991:FPV,
author = "Tom Whaley",
title = "A framework for program verification in the context of
linked structures and pointer variables",
journal = j-SIGCSE,
volume = "23",
number = "1",
pages = "119--123",
month = mar,
year = "1991",
CODEN = "SIGSD3",
DOI = "https://doi.org/10.1145/107005.107027",
ISSN = "0097-8418 (print), 2331-3927 (electronic)",
ISSN-L = "0097-8418",
bibdate = "Sat Nov 17 18:57:15 MST 2012",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/sigcse1990.bib",
acknowledgement = ack-nhfb,
fjournal = "SIGCSE Bulletin (ACM Special Interest Group on
Computer Science Education)",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J688",
}
Related entries
- context,
23(2)21,
23(2)45,
23(3)20,
23(3)36,
24(1)63,
24(1)207,
24(2)7,
26(1)41,
26(1)92,
26(1)290,
26(1)300,
26(3)51,
26(4)5,
26(4)41,
26(4)59,
27(1)1,
27(1)39,
27(1)76,
27(1)126,
27(3)50,
29(1)131,
29(3)14,
29(3)74,
29(3)111,
29(4)38,
30(1)6,
30(1)77,
30(1)87,
30(1)198,
30(1)257,
30(3)74,
30(3)86,
30(3)275,
30(4)13,
31(1)227,
31(1)232,
31(2)55,
31(3)33,
31(3)147,
31(4)87
- framework,
24(2)2,
26(1)16,
26(1)36,
26(1)41,
26(1)198,
27(1)253,
28(1)290,
28(1)358,
28(z)116,
29(1)1,
29(1)39,
29(1)53,
29(1)360,
29(4)54,
30(1)6,
30(1)48,
30(1)87,
30(1)153,
30(3)5,
30(3)64,
30(3)105,
30(3)122,
30(3)232,
30(3)295,
31(1)95,
31(1)217,
31(1)271,
31(2)73,
31(2)86,
31(3)17,
31(3)171,
31(4)66
- linked,
22(1)129,
22(3)7,
23(4)7,
26(1)198,
28(3)26,
28(z)232,
29(1)315,
29(3)136
- pointer,
27(1)1,
27(1)6,
30(1)131,
30(1)282,
31(1)271
- variable,
24(1)202,
26(1)92,
26(1)300,
27(1)102,
27(2)7,
27(2)18,
29(3)21,
30(3)243,
30(4)51,
31(2)65,
31(3)131
- verification,
22(1)254,
25(1)198,
25(4)13,
28(3)51,
31(3)123
- Whaley, Tom,
26(1)369