GUBS Upper Bound Solver (Extended Abstract)

GUBS Upper Bound Solver (Extended Abstract)

Blog Article

In this extended abstract we present the GUBS Upper Bound Solver.GUBS is a dedicated constraint solver Relaxation over the naturals for inequalities formed over uninterpreted function symbols and standard arithmetic operations.GUBS now forms the backbone of HoSA, Hayward SP0714T Parts a tool for analysing space and time complexity of higher-order functional programs automatically.We give insights about the implemen- tation and report different case studies.