Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis

Article Properties
Journal Category
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Refrences
Title Journal Journal Categories Citations Publication Date
Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption 2018
Closed-Form Upper Bounds in Static Cost Analysis Journal of Automated Reasoning
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 47 2011
Z3: An Efficient SMT Solver 2008
User-Definable Resource Bounds Analysis for Logic Programs 2007
A Complete Method for the Synthesis of Linear Ranking Functions 2004