Program Correctness Computerphile overview
This page collects available information about Program Correctness Computerphile and organizes it in an easy-to-read reference format.
Key information
In day to day life interruptions are annoying, but in computing they're essential. James Fowkes explains using an Arduino. EXTRA ...
What good is knowing you have a problem if you can't fix it? - Professor Brailsford explains Hamming Codes and how errors can ...
Summing up why Hamming's error correcting codes are regarded as 'Perfect' - Professor Brailsford explains. EXTRA BITS: ...
The story of recursion continues as Professor Brailsford explains one of the most difficult
Continuing our look at the Agda programming language, Professor Thorsten Altenkirch shows us how you can work with proofs, ...
The sights and sounds of sorting! - Alex takes inspiration from our BBC microcomputer film and combines BASIC programming ...
Context and analysis
Information related to Program Correctness Computerphile can change over time. Compare new developments with public records and specialist sources.
Frequently asked questions
What information does this page include?
It includes a summary, related details, context, and links to material connected with Program Correctness Computerphile.
Is the information updated?
The page is generated dynamically and can incorporate newer information as its available sources are refreshed.
Consult original sources when you need to confirm an important detail.
