Difference between revisions of "Video/A²I: Abstract² Interpretation"
Jump to navigation
Jump to search
| Line 16: | Line 16: | ||
A transcript of this is available here:[https://www.assemblyai.com/playground/transcript/r3qn8qld6s-f258-4d08-b381-51d1919ff4ae Assembly AI] | 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 | ||
Revision as of 14:06, 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