[PDF][PDF] Higher-Order Complexity Analysis With First-Order Tools
M Avanzini, U Dal Lago12… - Joint Proceedings of …, 2019 - cl-informatik.uibk.ac.at
Automatically checking programs for correctness has attracted the attention of the computer
science research community since the birth of the discipline. Properties of interest are not …
science research community since the birth of the discipline. Properties of interest are not …
[PDF][PDF] Higher-Order Complexity Analysis With First-Order Tools
M Avanzini, U Dal Lago12… - Joint Proceedings of HOR …, 2019 - iwc2019.cic.unb.br
Automatically checking programs for correctness has attracted the attention of the computer
science research community since the birth of the discipline. Properties of interest are not …
science research community since the birth of the discipline. Properties of interest are not …
[PDF][PDF] Higher-Order Complexity Analysis With First-Order Tools
M Avanzini, U Dal Lago12… - Joint Proceedings of HOR …, 2019 - hor2019.github.io
Automatically checking programs for correctness has attracted the attention of the computer
science research community since the birth of the discipline. Properties of interest are not …
science research community since the birth of the discipline. Properties of interest are not …