My boss gave me 133 or so pages of math to read before Friday morning. I need to find something in this kind of logic to improve upon before then. Sleep should be happening now.
What’s Decidable About Program Verification Modulo Axioms?
Decidable Synthesis of Programs with Uninterpreted Functions
Decidable Verification of Uninterpreted Programs
Read the first page, think about it very hard and find the thing to improve on and discard the other 132
QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.