3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.PL2013★ 3 cited
Indexed Labels for Loop Iteration Dependent Costs
Paolo Tranquilli
We present an extension to the labelling approach, a technique for lifting resource consumption information from compiled to source code. This approach, which is at the core of the…
cs.LO2012
Standardization in resource lambda-calculus
Maurizio Dominici, Simona Ronchi Della Rocca, Paolo Tranquilli
The resource calculus is an extension of the lambda-calculus allowing to model resource consumption. It is intrinsically non-deterministic and has two general notions of reduction…