Eric C. R. Hehner

From MaRDI portal
Person:640291

Available identifiers

zbMath Open hehner.eric-c-rMaRDI QIDQ640291

List of research outcomes





PublicationDate of PublicationType
A probability perspective2011-10-18Paper
Quantum Predicative Programming2009-04-02Paper
Retrospective and Prospective for Unifying Theories of Programming2007-09-14Paper
Mathematics of Program Construction2005-08-26Paper
From Boolean algebra to unified algebra2004-12-13Paper
https://portal.mardi4nfdi.de/entity/Q44721702004-08-03Paper
https://portal.mardi4nfdi.de/entity/Q44939072001-01-29Paper
Specifications, programs, and total correctness1999-11-01Paper
Formalization of time and space1999-06-29Paper
https://portal.mardi4nfdi.de/entity/Q42816751994-03-10Paper
A practical theory of programming1990-01-01Paper
Real-time programming1989-01-01Paper
Erratum to: ``Predicative methodology1988-01-01Paper
Termination conventions and comparative semantics1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30283211987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30283231987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30283221987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37971491987-01-01Paper
Predicative methodology1986-01-01Paper
Predicative programming Part I1984-01-01Paper
Predicative programming Part II1984-01-01Paper
Programming with Grammars: An Exercise in Methodology-Directed Language Design1983-01-01Paper
A methodology for programming with concurrency: An informal presentation1982-01-01Paper
Bunch theory: A simple set theory for computer science1981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38932721980-01-01Paper
A contribution to the programming calculus1979-01-01Paper
On removing the machine from the language1978-01-01Paper
Information Content of Programs and Operation Encoding1977-01-01Paper

Research outcomes over time

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