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. :blobfoxcofe_w_:

What’s Decidable About Program Verification Modulo Axioms?

Decidable Synthesis of Programs with Uninterpreted Functions

Decidable Verification of Uninterpreted Programs

That's a lot of trust in you. You should be proud. 😉

Read the first page, think about it very hard and find the thing to improve on and discard the other 132

Sign in to participate in the conversation
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.