Difference between revisions of "Video/A²I: Abstract² Interpretation"
Jump to navigation
Jump to search
(Created page with "{{cite book |first=Patrick |last=Cousot |author-link=Patrick Cousot |date=Mar 4, 2019 |title=A²I: Abstract² Interpretation |url=https://www.youtube.com/watch?v=K5eNdCpoRD4 |location=local page |publisher=POPL 2019 }} <noinclude> {{#widget:YouTube |id=K5eNdCpoRD4 }} {{PagePostfix |category_csd=3D,Blender,Tutorial |semantic_lables=Organized by:Organized by::POPL 2019 Presented by:Presented by::Patrick Cousot }}...") |
|||
| (5 intermediate revisions by the same user not shown) | |||
| Line 5: | Line 5: | ||
|date=Mar 4, 2019 | |date=Mar 4, 2019 | ||
|title=A²I: Abstract² Interpretation | |title=A²I: Abstract² Interpretation | ||
|url=https://www.youtube.com/watch?v= | |url=https://www.youtube.com/watch?v=vHHBptK2RUo&t=252s | ||
|location=[[Video/A²I: Abstract² Interpretation|local page]] | |location=[[Video/A²I: Abstract² Interpretation|local page]] | ||
|publisher=POPL 2019 | |publisher=POPL 2019 | ||
| Line 12: | Line 12: | ||
<noinclude> | <noinclude> | ||
{{#widget:YouTube | {{#widget:YouTube | ||
|id= | |id=vHHBptK2RUo | ||
}} | }} | ||
A transcript of this is available here:[https://www.assemblyai.com/playground/transcript/r3qn8qld6s-f258-4d08-b381-51d1919ff4ae Assembly AI], see a local copy of the text:[[Transcript/A²I: Abstract² Interpretation]] | |||
{{PagePostfix | {{PagePostfix | ||
|category_csd= | |category_csd=Abstract Interpretation,A²I,Data Science,Universality | ||
| | |semantic_labels=Organized by:[[Organized by::POPL 2019]] Presented by:[[Presented by::Patrick Cousot]] | ||
}} | }} | ||
</noinclude> | </noinclude> | ||
Latest revision as of 18:55, 7 May 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
Organized by:POPL 2019 Presented by:Patrick Cousot