> > > What you need is a prover that understands the facts holding up the > callers' stack and can statically detect tautologies in the calees > checks. Not trivial, but I believe it would be a ton of fun to write > ;-)
Indeed, that is what I want to achieve. Are there any of these tools already? Maybe for other languages (that I can draw inspiration from) ? -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nuts+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/golang-nuts/b9e2e539-f99e-4d44-9157-723cd11a0c2cn%40googlegroups.com.
