morphisms-of-computational-structures icon indicating copy to clipboard operation
morphisms-of-computational-structures copied to clipboard

Published 20 hours ago • verified publisher icon prathyvsh

Investigate Abstract Interpretation

Open prathyvsh opened this issue 4 years ago • 0 comments

Field of inquiry initiated by Patrick Cousot and Radhia Cousot.

What were the precedents that lead to initiating the field?

prathyvsh avatar Sep 17 '20 19:09 prathyvsh