2 papers
cs.PL2019
A Transformational Approach to Resource Analysis with Typed-norms Inference
Elvira Albert, Samir Genaim, Raúl Gutiérrez +1
In order to automatically infer the resource consumption of programs, analyzers track how data sizes change along program's execution. Typically, analyzers measure the sizes of dat…
cs.PL2017
Variant-Based Decidable Satisfiability in Initial Algebras with Predicates
Raúl Gutiérrez, José Meseguer
Decision procedures can be either theory-specific, e.g., Presburger arithmetic, or theory-generic, applying to an infinite number of user-definable theories. Variant satisfiability…