About this publication
dr. heap is an independent publication launched in May 2024 by Hans-Dieter Hiep. The goals of this publication are:
- To widely and effectively communicate scientific ideas concerning the foundations of computer science and computer engineering (including logic, programming language theory, program correctness).
- To provide open access on-line courses that help with understanding the foundations of computer science and computer engineering (including how computers can be designed and programmed to ensure their correctness).
All articles are licensed under Creative Commons Attribution International 4.0 
.
© Copyright remains reserved to the original author(s).
ISSN: 3050-5224
The full-text content of each article is available through the following RSS feed:
Articles may be updated continuously. Some articles are also available in PDF. As always on the web, visitor information can be tracked without cookies. See the most recent traffic report.
How to submit an article?
If you would like to publish your article on dr. heap, please first contact Hans-Dieter Hiep before sending your manuscript. If you already (pre-)published your article elsewhere but would like a review about your work, please also send an e-mail.
Note: there is NO guarantee that your work will be read, reviewed, or published (about).
DISCLAIMER
The content provided by this publication is for informational and educational purposes only. Opinions expressed here do not necessarily reflect those of any organization – including the past, current and future employer(s) of the author(s) or any of their affiliations and/or associations.
This publication, its owners, its host, or its contributing authors (“we”) shall not be held liable for any errors or omissions in the information nor for the availability of this information. We strive to ensure that the information is current and correct but cannot guarantee its completeness, reliability, or timeliness; as such we might make additions, deletions, or modifications to the contents of the publication at any time without prior notice. The information published is not a substitute for professional advice. References to any products, services, or third-party content do not constitute an endorsement or recommendation by this publication.
WE DISCLAIM ALL RESPONSIBILITY AND LIABILITY FOR ANY DAMAGES OR LOSSES ARISING DIRECTLY OR INDIRECTLY FROM THE DISPLAY OR THE USE OF THE PUBLISHED INFORMATION, OR THROUGH LINKS TO THIRD-PARTY WEBSITES OR THIRD-PARTY EMBEDDED SERVICES.