Eric "Rick" C. R. Hehner (born 16 September 1947) is a Canadian computer scientist. He was born in Ottawa. He studied mathematics and physics at Carleton...
6 KB (492 words) - 05:52, 12 January 2024
more recently called a Practical Theory of Programming, invented by Eric Hehner. The central idea is that each specification is a binary (boolean) expression...
4 KB (592 words) - 14:54, 25 April 2024
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John...
3 KB (177 words) - 23:32, 15 April 2024
natural translation theory, community interpreting (Critical Link) Eric Hehner – predicative programming, formal methods, quote notation, ALGOL David...
43 KB (3,725 words) - 08:11, 30 April 2024
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John...
13 KB (1,286 words) - 11:20, 25 April 2024
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John...
34 KB (3,194 words) - 06:31, 6 May 2024
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John...
26 KB (2,158 words) - 19:40, 12 April 2024
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John...
47 KB (5,133 words) - 07:39, 19 May 2024
p-adic representation of rational numbers that was proposed in 1979 by Eric Hehner and Nigel Horspool for implementing on computers the (exact) arithmetic...
43 KB (7,563 words) - 09:22, 9 April 2024
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John...
20 KB (2,131 words) - 09:46, 12 February 2024