C*: Unifying Programming and Verification in C
Trending on Hacker News: C*: Unifying Programming and Verification in C (63 points / 38 comments, via arxiv.org)
In one line
Abstract page for arXiv paper 2504.02246: C*: Unifying Programming and Verification in C
Opening excerpt
Focus to learn more arXiv-issued DOI via DataCite Submission history From: Yiyuan Cao [ view email ] [v1] Thu, 3 Apr 2025 03:22:22 UTC (414 KB) Full-text links: Access Paper: View a PDF of the paper titled C*: Unifying Programming and Verification in C, by Yiyuan Cao and 10 other authors View PDF HTML (experimental) TeX Source view license Current browse context: cs.PL < prev | next > new | recent | 2025-04 Change to browse by: cs cs.SE References & Citations NASA ADS Google Scholar Semantic Scholar export BibTeX citation Loading… BibTeX formatted citation × loading…
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv’s community? Learn more about arXivLabs .
(Excerpted from the original; full article via the source link below.)
This story hit the Hacker News front page today (63 points / 38 comments, via arxiv.org). Our Tech Radar aggregates daily signals on AI engineering, backend architecture and DevOps — browse the related services and further reading below, or get in touch with our team.
Source: Hacker News