Eric Hehner

Q: What Schools Are Affiliated With Eric Hehner

Eric Hehner is affiliated with the following schools: Carleton University, University of Toronto

Eric Hehner's AcademicInfluence.com Rankings

Eric Hehner

Computer Science

#1079

World Rank

#1118

Historical Rank

Database

#4675

World Rank

#4857

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Why Is Eric Hehner Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Eric "Rick" C. R. Hehner is a Canadian computer scientist. He was born in Ottawa. He studied mathematics and physics at Carleton University, graduating with a Bachelor of Science in 1969. He studied computer science at the University of Toronto, graduating with a Master of Science in 1970, and a Doctor of Philosophy in 1974. He then joined the faculty there, becoming a full professor in 1983. He became the Bell University Chair in software engineering in 2001, and retired in 2012.

(See a Problem?)

Eric Hehner's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

A Practical Theory of Programming (1993) (277)
Predicative programming Part I (1984) (155)
Roadmap for enhanced languages and methods to aid verification (2006) (90)
Function Theory (2020) (69)
A Methodology for Programming with Concurrency: An Informal Presentation (1982) (42)
Termination is Timing (1989) (32)
A New Representation of the Rational Numbers for Fast Easy Arithmetic (1979) (31)
Real-Time Programming (1989) (30)
do considered od: A contribution to the programming calculus (1979) (28)
Probabilistic Predicative Programming (2004) (27)
A probability perspective (2011) (27)
Bunch Theory: A Simple Set Theory for Computer Science (1981) (23)
Formalization of Time and Space (1998) (22)
Retrospective and Prospective for Unifying Theories of Programming (2006) (22)
Logical Specifications for Functional Programs (1992) (21)
Structuring (1977) (20)
Theory Design and Implementation (1993) (18)
Predicative programming Part II (1984) (18)
Specifications, Programs, and Total Correctness (1999) (15)
Refinement Semantics and Loop Rules (1999) (15)
Special Feature: Computer Design to Minimize Memory Requirements (1976) (14)
Specified Blocks (2005) (14)
Termination conventions and comparative semantics (1987) (13)
ABSTRACTIONS IN TIME (1994) (13)
From boolean algebra to unified algebra (2000) (11)
An Implementation of P and V (1981) (11)
Matching program and data representations to a computing environment. (1974) (10)
A methodolgy for programming with concurrency (1981) (10)
Predicative methodology (1986) (9)
Programming with Grammars: An Exercise in Methodology-Directed Language Design (1983) (9)
Quantum Predicative Programming (2006) (9)
Information Content of Programs and Operation Encoding (1977) (8)
the Meaning of Mathematics (2016) (7)
Programming with Quantum Communication (2009) (6)
Bunches for Object-Oriented, Concurrent, and Real-Time Specification (1999) (6)
Programming from specifications : Carroll Morgan, (Prentice-Hall International, London, 1990), Price £16.95 (paperback), ISBN 0-13-726233-7. (1991) (5)
Exact arithmetic using a variable-length P-ADIC representation (1978) (5)
Boolean Formalism and Explanations (1996) (5)
Logic Programming (2014) (5)
Automated reasoning about hardware data types using bit-vectors of symbolic lengths (2003) (5)
the Size of a Set (2013) (3)
Logical Speci cations for Functional Programs (1993) (3)
THE END OF EVOLUTION (2008) (3)
Beautifying Gödel (1990) (3)
Programming Telepathy: Implementing Quantum Non-Locality Games (2007) (3)
Termination conventions and comparative semantics (1988) (3)
Theories, Implementations, and Transformations (2002) (2)
Netty: A Prover’s Assistant (2011) (2)
Teaching formal methods for program development and verification (Panel Session) (1983) (2)
Variables and scopes considered formally (2001) (1)
On The Design Of Concurrent Programs (1980) (1)
Comments on "A Method for Representing Data Items of Unlimites Length in a Computer Memory" (1982) (1)
The Public Servant and the Legalistic Mentality (1970) (1)
Epimenides, Gödel, Turing: An Eternal Gölden Twist (2020) (1)
What's Wrong With Formal Programming Methods? (1991) (1)
High-level circuit design (2003) (1)
How to Compute Halting (2016) (0)
On removing the machine from the language (1978) (0)
Observations on the Halting Problem (2016) (0)
Bunches of Objects (2007) (0)
Basic Data Structures (1993) (0)
Predicative communications (1987) (0)
From Boo ean A 9 ebra to Unified (2008) (0)
Epimenides, Gödel, Turing: an Eternal Gölden Tangle (2016) (0)
Epimenides, G\"odel, Turing: an Eternal G\"olden Tangle (2016) (0)
Logic based on programming (1987) (0)
A Theory of Lazy Imperative Timing (2018) (0)
Concurrency (2021) (0)
A Tale of Two Turing Machines (2016) (0)
Erratum: Predicative Methodology (1988) (0)
Acknowledgement to Referees (2001) (0)
What Is a Procedure? (2017) (0)
The Halting Game (2022) (0)
program 2 circuit (0)
Reconstructing the Halting Problem (2013) (0)
Corrigendum: A New Representation of the Rational Numbers for Fast Easy Arithmetic (1980) (0)
Erratum to: What Is a Procedure? (2018) (0)

This paper list is powered by the following services:

Other Resources About Eric Hehner

What Schools Are Affiliated With Eric Hehner?

Eric Hehner is affiliated with the following schools: