RTA
2015
Springer
8 years 8 days ago
2015
Springer
In this work, we introduce a scheme for modelling actor systems within sequential term rewriting. In our proposal, a TRS consists of the union of three components: the functional ...
RTA
2015
Springer
8 years 8 days ago
2015
Springer
We present the first approach to deduce lower bounds for innermost runtime complexity of term rewrite systems (TRSs) automatically. Inferring lower runtime bounds is useful to de...