Eric C. R. Hehner

Available identifiers

zbMath Open hehner.eric-c-rMaRDI QIDQ640291

List of research outcomes

Publication	Date of Publication	Type
A probability perspective	2011-10-18	Paper
Quantum Predicative Programming	2009-04-02	Paper
Retrospective and Prospective for Unifying Theories of Programming	2007-09-14	Paper
Mathematics of Program Construction	2005-08-26	Paper
From Boolean algebra to unified algebra	2004-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q4472170	2004-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q4493907	2001-01-29	Paper
Specifications, programs, and total correctness	1999-11-01	Paper
Formalization of time and space	1999-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q4281675	1994-03-10	Paper
A practical theory of programming	1990-01-01	Paper
Real-time programming	1989-01-01	Paper
Termination conventions and comparative semantics	1988-01-01	Paper
Erratum to: ``Predicative methodology	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3028321	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3028322	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3028323	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3797149	1987-01-01	Paper
Predicative methodology	1986-01-01	Paper
Predicative programming Part I	1984-01-01	Paper
Predicative programming Part II	1984-01-01	Paper
Programming with Grammars: An Exercise in Methodology-Directed Language Design	1983-01-01	Paper
A methodology for programming with concurrency: An informal presentation	1982-01-01	Paper
Bunch theory: A simple set theory for computer science	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3893272	1980-01-01	Paper
A contribution to the programming calculus	1979-01-01	Paper
On removing the machine from the language	1978-01-01	Paper
Information Content of Programs and Operation Encoding	1977-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Eric C. R. Hehner