Puri Arenas
Puri Arenas
Associate Professor
Verified email at sip.ucm.es
Title
Cited by
Cited by
Year
Cost analysis of java bytecode
E Albert, P Arenas, S Genaim, G Puebla, D Zanardini
European symposium on programming, 157-172, 2007
2082007
Closed-form upper bounds in static cost analysis
E Albert, P Arenas, S Genaim, G Puebla
Journal of automated reasoning 46 (2), 161-203, 2011
1712011
Cost analysis of object-oriented bytecode programs
E Albert, P Arenas, S Genaim, G Puebla, D Zanardini
Theoretical Computer Science 413 (1), 142-159, 2012
1272012
COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode
E Albert, P Arenas, S Genaim, G Puebla, D Zanardini
International Symposium on Formal Methods for Components and Objects, 113-132, 2007
1042007
COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode
E Albert, P Arenas, S Genaim, G Puebla, D Zanardini
International Symposium on Formal Methods for Components and Objects, 113-132, 2007
1042007
Automatic inference of upper bounds for recurrence relations in cost analysis
E Albert, P Arenas, S Genaim, G Puebla
International Static Analysis Symposium, 221-237, 2008
1032008
Termination analysis of Java bytecode
E Albert, P Arenas, M Codish, S Genaim, G Puebla, D Zanardini
International Conference on Formal Methods for Open Object-Based Distributed …, 2008
782008
SACO: static analyzer for concurrent objects
E Albert, P Arenas, A Flores-Montoya, S Genaim, M Gómez-Zamalloa, ...
International Conference on Tools and Algorithms for the Construction and …, 2014
752014
Cost analysis of concurrent OO programs
E Albert, P Arenas, S Genaim, M Gómez-Zamalloa, G Puebla
Asian Symposium on Programming Languages and Systems, 238-254, 2011
432011
Combining lazy narrowing with disequality constraints
P Arenas-Sánchez, A Gil-Luezas, FJ López-Fraguas
International Symposium on Programming Language Implementation and Logic …, 1994
431994
COSTABS: a cost and termination analyzer for ABS
E Albert, P Arenas, S Genaim, M Gómez-Zamalloa, G Puebla
Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and …, 2012
382012
Object‐sensitive cost analysis for concurrent objects
E Albert, P Arenas, J Correas, S Genaim, M Gómez‐Zamalloa, G Puebla, ...
Software Testing, Verification and Reliability 25 (3), 218-271, 2015
362015
Termination and cost analysis with COSTA and its user interfaces
E Albert, P Arenas, S Genaim, M Gómez-Zamalloa, G Puebla, D Ramírez, ...
Electronic Notes in Theoretical Computer Science 258 (1), 109-121, 2009
302009
Removing useless variables in cost analysis of Java bytecode
E Albert, P Arenas, S Genaim, G Puebla, D Zanardini
Proceedings of the 2008 ACM symposium on Applied computing, 368-375, 2008
242008
A general framework for lazy functional logic programming with algebraic polymorphic types
P Arenas-Sánchez, M Rodríguez-Artalejo
arXiv preprint cs/0404050, 2004
242004
Context-sensitive dynamic partial order reduction
E Albert, P Arenas, MG De La Banda, M Gómez-Zamalloa, PJ Stuckey
International Conference on Computer Aided Verification, 526-543, 2017
222017
Comparing cost functions in resource analysis
E Albert, P Arenas, S Genaim, I Herraiz, G Puebla
International Workshop on Foundational and Practical Aspects of Resource …, 2009
222009
A semantic framework for functional logic programming with algebraic polymorphic types
P Arenas-Sánchez, M Rodríguez-Artalejo
Colloquium on Trees in Algebra and Programming, 453-464, 1997
221997
A minimality study for set unification
P Arenas-Sánchez, A Dovier
221997
Reduced certificates for abstraction-carrying code
E Albert, P Arenas, G Puebla, M Hermenegildo
International Conference on Logic Programming, 163-178, 2006
212006
The system can't perform the operation now. Try again later.
Articles 1–20