Events

IC Colloquium: Abstract Interpretation on irregular programming environments

Par : Pavle Subotic – Formal Labs Video of his talk Abstract Computational notebooks and spreadsheets are informal, "irregular" programming environments that bridge the gap between full-scale software development and…