I wonder if there is a rigorous/formal method to identify 'monotonicity' in code... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

linguistbreaker 10 months ago | parent | context | favorite | on: To be a better programmer, write little proofs in ...

I wonder if there is a rigorous/formal method to identify 'monotonicity' in code? Seems like it should be straightforward...

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact