Difference between revisions of "Video/A²I: Abstract² Interpretation"

From PKC
Jump to navigation Jump to search
Line 19: Line 19:


{{PagePostfix
{{PagePostfix
|category_csd=3D,Blender,Tutorial
|category_csd=Abstract Interpretation,A²I,Data Science
|semantic_lables=Organized by:[[Organized by::POPL 2019]] Presented by:[[Presented by::Patrick Cousot]]
|semantic_lables=Organized by:[[Organized by::POPL 2019]] Presented by:[[Presented by::Patrick Cousot]]
}}
}}
</noinclude>
</noinclude>

Revision as of 14:08, 15 January 2023

Cousot, Patrick (Mar 4, 2019). A²I: Abstract² Interpretation. local page: POPL 2019. 



A transcript of this is available here:Assembly AI, see a local copy of the text:Transcript/A²I: Abstract² Interpretation

References


Related Pages