A Domain-specific Language for High-reliability Software used in the JUICE SWI Instrument - The hO Language Manual · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/1709.03404/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTA Domain-specific Language for High-reliability Software used in the JUICE SWI Instrument - The hO Language Manual — mentioned by goatsneezhttps://news.ycombinator.com/item?id=32606269urn:hackerpapers:mention:1709.03404:32606269Fri, 26 Aug 2022 12:05:19 GMT<p>FYI, a flavor of Oberon will also fly to space soon it turns out... https://arxiv.org/abs/1709.03404v1</p><p><a href="https://hackerpaper.kaipfister.de/p/1709.03404/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.DC