NATIONAL UNIVERSITY OF SINGAPORE School of Computing PH . D DEFENCE-PUBLIC SEMINAR Title : Reasoning over Strings and Other Unbounded Data Structure

  • Published 2017

Abstract

Data structures play a central role in software development. While developing proper data structures is not easy, reasoning about them is even harder. The difficulty comes from their typical characteristic: the unboundedness of the data structures and/or the loops manipulating them. This makes two following fundamental issues more severe: interdependence… (More)

Topics

  • Presentations referencing similar topics