Michael Leuschel. Towards Constraint-Solving over Higher-Order Unbounded Datatypes using Formal Methods Tools. In Alexei Lisitsa, Andrei P. Nemytykh, editors, VPT 2014. Second International Workshop on Verification and Program Transformation, July 17-18, 2014, Vienna, Austria, The workshop is an event of the Vienna Summer of Logic 2014 and it is co-located with the 26th International Conference on Computer Aided Verification CAV 2014. Volume 28 of EPiC Series, pages 1, EasyChair, 2014. [doi]
Abstract is missing.