The British Nationality Act as a Prolog Program (1986) [pdf](doc.ic.ac.uk)30 points by Tomte 1 year ago | 8 comments
Compiler Fuzzing in Continuous Integration: A Case Study on Dafny [pdf](doc.ic.ac.uk)32 points by matt_d 1 year ago | 2 comments
![Screenshot of doc.ic.ac.uk: The British Nationality Act as a Prolog Program (1986) [pdf]](https://hn.urlbox.com/shots/renders/2025/3/16/4818780f-2733-48b6-88a0-5e10a566081b.jpg)
![Screenshot of doc.ic.ac.uk: Compiler Fuzzing in Continuous Integration: A Case Study on Dafny [pdf]](https://hn.urlbox.com/shots/renders/2025/1/24/04ae7dc5-a7d9-4302-bc2e-26f51e5c79b7.jpg)
![Screenshot of doc.ic.ac.uk: Algorithm = Logic and Control [pdf]](https://hn.urlbox.com/shots/renders/2024/11/6/114143b5-377f-418a-bb44-f2afa77d8213.jpg)