Difference between revisions of "Video/A²I: Abstract² Interpretation"
Jump to navigation
Jump to search
| Line 19: | Line 19: | ||
{{PagePostfix | {{PagePostfix | ||
|category_csd=Abstract Interpretation,A²I,Data Science | |category_csd=Abstract Interpretation,A²I,Data Science,Universality | ||
|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 05:26, 30 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