About this page

Program Correctness through Self-Certification – Communications of the ACM

https://cacm.acm.org/research/program-correctness-through-self-certification

“Programming is both an enjoyable and a difficult task. A seemingly small slip can introduce a serious error or create a security vulnerability. The need for, and importance of, program correctness was recognized early in the modern development of computing. Algorithms, on which programs are built...” (from the page’s text)

Topic: Technology
Quality: Quality 84 scored 12 Aug 2025
Language: english
Text on page: 46,544 characters
Page size: 229 kB
Answered: OK (200), HTML
Last read: 7 Jul 2025
In our index since: 7 Jul 2025
Safe search: Not checked yet
Links to it: No other site we've read links here yet

Tools for this page

Other sites that can tell you more. Plain links: we don't track where you go.

About the site

Domain owner ICANN registration lookup
Certificates certificate transparency, subdomains
Safety check Safe Browsing status
Trackers The Markup's Blacklight
Is it down? for everyone, or just you

Discussions

Hacker News stories linking here
Reddit posts from this site
Wikipedia articles mentioning the site

For web makers

PageSpeed Lighthouse report
HTML validator W3C
Accessibility WAVE by WebAIM
Security headers

Who links to it

We haven't seen any links to this page yet. That usually means we haven't crawled the pages that link to it, not that there are none.

“Not rated yet” and similar notes are shown on purpose: we say what we haven't measured, so the page doesn't look emptier or better than it is.