Last update: Sun Mar 31 02:13:37 MDT 2019
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{Hoare:2007:IPC,
author = "Tony Hoare",
title = "The Ideal of Program Correctness: {Third
\booktitle{Computer Journal} Lecture}",
journal = j-COMP-J,
volume = "50",
number = "3",
pages = "254--260",
month = may,
year = "2007",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/bxl078",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
bibdate = "Wed Apr 28 14:33:33 MDT 2010",
bibsource = "http://comjnl.oxfordjournals.org/content/vol50/issue3/index.dtl;
http://www.math.utah.edu/pub/tex/bib/compj2000.bib",
note = "See \cite{Anonymous:2007:DIPa,Anonymous:2007:DIPb}",
URL = "http://comjnl.oxfordjournals.org/cgi/content/full/50/3/254;
http://comjnl.oxfordjournals.org/cgi/reprint/50/3/254",
acknowledgement = ack-nhfb,
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
}
Related entries
- Anonymous:2007:DIPa,
50(3)261,
50(3)269
- Anonymous:2007:DIPb,
50(3)261,
50(3)269
- computer,
0(0)viii--378,
0(0)xi--170,
0(0)xi--420,
0(0)xii--574,
0(0)xiii--483,
0(0)xiii--574,
0(0)xv--387,
0(0)xvi--848,
0(0)xvii--325,
0(0)xviii--240,
0(0)xxi--418,
0(0)xxiii--703,
0(0)xxv--469,
0(0)xxv--672,
0(0)xxvi--590,
0(0)xxx--593,
0(0)xxxii--648,
0(0)xxxvi--412,
0(0)0,
0(0)x--295,
0(0)x--438,
7(0)x--153,
35(0)335,
41(7)445,
43(4)274,
44(4)321,
44(4)324,
44(4)326,
46(1)3,
46(5)487,
47(4)399,
47(6)627,
48(6)650,
48(6)662,
49(1)129,
49(1)130,
49(2)136,
49(2)249,
49(3)376,
49(3)378,
49(4)390,
49(4)501,
49(6)762,
50(1)4,
50(2)151,
50(4)375,
51(1)1,
51(6)688,
51(6)731,
51(6)735,
51(6)741,
51(6)743,
58(0)xvi--358,
z(0)xiv--320,
z(0)xxvi--442
- Correctness,
50(3)261,
50(3)269
- Hoare, Tony,
48(1)49
- Hoare:2007:IPC,
50(3)261,
50(3)269
- ideal,
50(3)261,
50(3)269
- Journal,
49(3)378,
49(4)390,
50(1)4,
50(2)151,
51(1)1,
51(6)731
- Lecture,
43(2)95,
44(2)67,
46(6)598,
47(4)399,
48(2)145,
49(3)376,
49(4)390,
49(4)501,
50(2)151,
50(3)274,
50(5)505,
51(6)731,
51(6)741
- program,
0(0)viii--378,
0(0)xv--387,
0(0)xxv--469,
0(0)xxv--672,
0(0)xxx--593,
48(4)421,
48(5)588,
48(6)737,
49(1)42,
49(1)130,
49(6)744,
50(3)261,
50(3)269,
51(5)571,
52(5)530,
52(5)545
- See,
41(7)445,
44(4)321,
44(4)324,
44(4)326,
49(5)629,
49(5)629,
50(2)151,
50(2)164,
50(2)173,
50(3)261,
50(3)269,
53(7)1131
- Third,
49(1)82,
49(3)376,
3671(0)x--236