Puri Arenas

Puri Arenas, Víctor M. Gulías: Preface. Electr. Notes Theor. Comput. Sci. 282: 1-2 (2012)

Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini: Cost analysis of object-oriented bytecode programs. Theor. Comput. Sci. 413(1): 142-159 (2012)

Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo: Certificate size reduction in abstraction-carrying code. TPLP 12(3): 283-318 (2012)

Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa: Towards Testing Concurrent Objects in CLP. ICLP (Technical Communications) 2012: 98-108

Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla: Automatic Inference of Resource Consumption Bounds. LPAR 2012: 1-11

Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa: Symbolic Execution of Concurrent Objects in CLP. PADL 2012: 123-137

Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla: COSTABS: a cost and termination analyzer for ABS. PEPM 2012: 151-154

Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim: Handling Non-linear Operations in the Value Analysis of COSTA. Electr. Notes Theor. Comput. Sci. 279(1): 3-17 (2011)

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla: Closed-Form Upper Bounds in Static Cost Analysis. J. Autom. Reasoning 46(2): 161-203 (2011)

Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla: Cost Analysis of Concurrent OO Programs. APLAS 2011: 238-254

Elvira Albert, Puri Arenas, Samir Genaim, Damiano Zanardini: Task-level analysis for a language with async/finish parallelism. LCTES 2011: 21-30

Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Diana V. Ramírez-Deantes: From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis. SAS 2010: 100-116

Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo: Certificate size reduction in Abstraction-Carrying Code. CoRR abs/1010.4533 (2010)

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla: Cost Relation Systems: A Language-Independent Target Language for Cost Analysis. Electr. Notes Theor. Comput. Sci. 248: 31-46 (2009)

Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla, Diana V. Ramírez-Deantes, Guillermo Román-Díez, Damiano Zanardini: Termination and Cost Analysis with COSTA and its User Interfaces. Electr. Notes Theor. Comput. Sci. 258(1): 109-121 (2009)

Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim, German Puebla: Asymptotic Resource Usage Bounds. APLAS 2009: 294-310

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla: Field-Sensitive Value Analysis by Field-Insensitive Analysis. FM 2009: 370-386

Elvira Albert, Puri Arenas, Samir Genaim, Israel Herraiz, German Puebla: Comparing Cost Functions in Resource Analysis. FOPARA 2009: 1-17

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini: Resource Usage Analysis and Its Application to Resource Certification. FOSAD 2009: 258-288

Puri Arenas, Damiano Zanardini: 18th Workshop on Logic-based methods in Programming Environments (WLPE 2008). CoRR abs/0903.1598 (2009)

Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini: Termination Analysis of Java Bytecode. FMOODS 2008: 2-18

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini: Removing useless variables in cost analysis of Java bytecode. SAC 2008: 368-375

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla: Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. SAS 2008: 221-237

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini: Experiments in Cost Analysis of Java Bytecode. Electr. Notes Theor. Comput. Sci. 190(1): 67-83 (2007)

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini: Cost Analysis of Java Bytecode. ESOP 2007: 157-172

Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini: COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode. FMCO 2007: 113-132

Elvira Albert, Puri Arenas, Germán Puebla: Some Issues on Incremental Abstraction-Carrying Code. CoRR abs/cs/0701111 (2007)

Elvira Albert, Puri Arenas-Sánchez, Germán Puebla, Manuel V. Hermenegildo: Reduced Certificates for Abstraction-Carrying Code. ICLP 2006: 163-178

Elvira Albert, Puri Arenas, Germán Puebla: An Incremental Approach to Abstraction-Carrying Code. LPAR 2006: 377-391

Puri Arenas-Sánchez, Mario Rodríguez-Artalejo: A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types. CoRR cs.PL/0404050 (2004)

Puri Arenas-Sánchez, Mario Rodríguez-Artalejo: A General Framework for Lazy Functional Logic, Programming with Algebraic Polymorphic Types. TPLP 1(2): 185-245 (2001)

Puri Arenas-Sánchez, Francisco Javier López-Fraguas, Mario Rodrúguez-Arteljo: Functional Plus Logic Programming with Built-In and Symbolic Constraints. PPDP 1999: 152-169

Puri Arenas-Sánchez, Francisco Javier López-Fraguas, Mario Rodrúguez-Arteljo: Embedding Multiset Constraints into a Lazy Functional Logic Language. PLILP/ALP 1998: 429-444

Puri Arenas-Sánchez, Agostino Dovier: A Minimality Study for Set Unification. Journal of Functional and Logic Programming 1997(7) (1997)

Puri Arenas-Sánchez, Mario Rodríguez-Artalejo: A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types. ILPS 1997: 53-67

Puri Arenas-Sánchez, Mario Rodríguez-Artalejo: A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types. TAPSOFT 1997: 453-464

Puri Arenas-Sánchez, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Eva Ullán: Real Constraints within a Functional Logic Language. APPIA-GULP-PRODE 1996: 451-464

Puri Arenas-Sánchez, Agostino Dovier: Minimal Set Unification. GULP-PRODE 1995: 447-458

Puri Arenas-Sánchez, Agostino Dovier: Minimal Set Unification. PLILP 1995: 397-414

Puri Arenas-Sánchez, Ana Gil-Luezas: A Debugging Model for Lazy Narrowing. PLILP 1995: 453-454

Puri Arenas-Sánchez, Ana Gil-Luezas: A Debugging Model for Lazy Functional Logic Languages. GULP-PRODE (2) 1994: 117-131

Puri Arenas-Sánchez, Ana Gil-Luezas, Francisco Javier López-Fraguas: Combining Lazy Narrowing with Disequality Constraints. PLILP 1994: 385-399