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
Erratum to: ``Predicative methodology	1988-01-01	Paper
Termination conventions and comparative semantics	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3028321	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3028323	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3028322	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

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