Last update: Sat Jan 6 02:03:49 MST 2018
Top |
Symbols |
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{Gray:1987:PVC,
author = "D. Gray",
title = "A Pedagogical Verification Condition Generator",
journal = j-COMP-J,
volume = "30",
number = "3",
pages = "239--248",
month = jun,
year = "1987",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/30.3.239",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
bibdate = "Tue Dec 4 14:48:23 MST 2012",
bibsource = "Compendex database;
http://comjnl.oxfordjournals.org/content/30/3.toc;
http://www.math.utah.edu/pub/tex/bib/compj1980.bib;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_03/",
URL = "http://comjnl.oxfordjournals.org/content/30/3/239.full.pdf+html;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_03/tiff/239.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_03/tiff/240.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_03/tiff/241.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_03/tiff/242.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_03/tiff/243.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_03/tiff/244.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_03/tiff/245.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_03/tiff/246.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_03/tiff/247.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_30/Issue_03/tiff/248.tif",
acknowledgement = ack-nhfb,
affiliation = "Queen's Univ, Belfast, North Irel",
affiliationaddress = "Queen's Univ, Belfast, North Irel",
classcodes = "C6110 (Systems analysis and programming); C6115
(Programming support)",
classification = "723; 901",
corpsource = "Dept. of Comput. Sci., Queen's Univ., Belfast, UK",
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
keywords = "application generators; axiomatic semantics; computer
programming; computer science education; computer
software; education; languages; program verification;
small imperative language; specification; specification
languages; teaching; undergraduate students;
verification condition generator",
treatment = "P Practical",
}
Related entries
- 26-4-381c-381,
27(3)254,
27(4)348,
27(4)354,
28(1)59,
28(3)216,
28(4)391,
28(5)498,
29(1)76,
29(3)229,
29(4)315,
29(6)486,
30(1)20,
30(1)77,
30(2)97,
30(2)110,
30(5)413,
30(5)420,
30(5)469,
30(6)551,
31(1)9,
31(1)65,
31(1)76,
31(2)175,
31(3)285,
31(4)364,
31(5)409,
31(5)420,
31(5)437,
31(6)550,
32(1)93,
32(2)162,
32(3)202,
32(4)312,
32(4)323,
32(4)333,
32(4)351,
32(4)374,
32(4)377,
32(5)461,
32(6)541
- axiomatic,
27(4)340,
29(4)330,
29(5)404,
31(4)313,
32(5)437
- condition,
29(2)161,
29(3)229,
30(4)328,
31(2)165,
31(4)296
- education,
23(4)377,
25(1)135,
26(1)79,
28(3)270,
29(1)83,
29(1)90,
29(5)477-1,
30(1)52,
30(4)337,
30(5)469,
30(6)551,
31(1)1,
31(2)182,
31(6)531
- generator,
25(1)140,
25(2)242,
25(3)316,
26(1)15,
26(1)72,
27(4)354,
28(5)501,
29(4)315,
29(5)460,
30(1)37,
30(2)97,
30(5)433,
31(3)220,
31(6)517
- imperative,
29(3)246,
31(6)531
- science,
23(2)98,
23(2)114-1,
23(2)146-1,
23(4)377,
24(1)91,
24(3)278,
25(1)2,
25(1)135,
25(2)183,
25(3)307,
26(1)1,
26(1)79,
26(2)142,
26(3)255,
26(3)270,
28(1)82,
28(2)112,
28(3)195,
28(3)200,
28(3)203,
28(3)206,
28(3)211,
28(4)375,
29(1)83,
29(1)90,
29(2)161,
29(2)189,
29(2)189-1,
29(3)212,
29(3)277,
29(5)460,
29(5)467,
29(6)481,
30(1)52,
30(4)343,
30(5)413,
30(5)458,
30(5)469,
30(6)485,
31(1)1,
31(2)182,
31(3)248,
31(5)386,
31(5)391,
31(5)398,
31(5)409,
31(5)420,
31(5)426,
31(5)431,
31(5)437,
31(5)445,
31(5)457,
31(5)465,
31(6)525,
31(6)531,
32(2)108,
32(3)262,
32(6)516
- semantic,
23(2)132,
23(3)212,
23(4)317,
24(1)56,
24(2)125,
25(1)63,
25(2)264,
25(3)331,
26(2)124,
26(2)164,
26(3)228,
27(1)83,
27(3)233,
28(2)112,
28(2)162,
28(3)250,
28(4)357,
28(5)480,
29(1)33,
29(2)151,
29(3)241,
29(5)404,
30(2)128,
30(4)328,
30(6)498,
31(1)9,
31(2)141,
31(3)193,
32(1)90,
32(2)108,
32(2)152,
32(4)290,
32(5)422
- small,
25(3)396,
30(4)295,
30(4)343,
30(5)437,
32(2)122,
32(2)142,
32(6)533
- specification,
23(1)61,
23(3)230,
25(1)34,
25(1)63,
26(4)289,
27(2)121,
27(2)143,
28(1)22,
28(1)59,
28(2)117,
28(2)154,
28(2)162,
28(3)250,
28(4)357,
29(3)261,
29(6)495,
30(2)97,
30(2)134,
30(3)223,
30(4)316,
30(4)337,
30(6)512,
31(3)193,
31(3)229,
31(3)269,
31(4)313,
31(5)426,
31(6)510,
32(1)1,
32(5)399,
32(5)413,
32(5)422,
32(5)432,
32(6)541
- student,
23(4)377,
25(4)492,
30(1)52,
31(1)1
- teaching,
22(2)105,
25(1)135,
26(1)79,
28(3)206,
29(1)83,
29(1)90,
30(1)52,
30(4)337,
30(5)469,
31(2)182
- verification,
24(2)139,
30(1)27,
30(3)223,
30(3)228,
30(3)233,
31(1)17,
31(4)289,
31(6)490,
31(6)503