Puri Arenas

Puri Arenas-Sánchez

2009
23	EE	Puri Arenas, Damiano Zanardini: 18th Workshop on Logic-based methods in Programming Environments (WLPE 2008) CoRR abs/0903.1598: (2009)
2008
22	EE	Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini: Termination Analysis of Java Bytecode. FMOODS 2008: 2-18
21	EE	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini: Removing useless variables in cost analysis of Java bytecode. SAC 2008: 368-375
20	EE	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla: Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. SAS 2008: 221-237
2007
19	EE	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini: Cost Analysis of Java Bytecode. ESOP 2007: 157-172
18	EE	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
17	EE	Elvira Albert, Puri Arenas, Germán Puebla: Some Issues on Incremental Abstraction-Carrying Code CoRR abs/cs/0701111: (2007)
16	EE	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)
2006
15	EE	Elvira Albert, Puri Arenas-Sánchez, Germán Puebla, Manuel V. Hermenegildo: Reduced Certificates for Abstraction-Carrying Code. ICLP 2006: 163-178
14	EE	Elvira Albert, Puri Arenas, Germán Puebla: An Incremental Approach to Abstraction-Carrying Code. LPAR 2006: 377-391
2004
13	EE	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)
2001
12		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)
1999
11		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
1998
10	EE	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
1997
9		Puri Arenas-Sánchez, Mario Rodríguez-Artalejo: A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types. ILPS 1997: 53-67
8		Puri Arenas-Sánchez, Mario Rodríguez-Artalejo: A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types. TAPSOFT 1997: 453-464
7		Puri Arenas-Sánchez, Agostino Dovier: A Minimality Study for Set Unification. Journal of Functional and Logic Programming 1997(7): (1997)
1996
6		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
1995
5		Puri Arenas-Sánchez, Agostino Dovier: Minimal Set Unification. GULP-PRODE 1995: 447-458
4		Puri Arenas-Sánchez, Agostino Dovier: Minimal Set Unification PLILP 1995: 397-414
3		Puri Arenas-Sánchez, Ana Gil-Luezas: A Debugging Model for Lazy Narrowing PLILP 1995: 453-454
1994
2		Puri Arenas-Sánchez, Ana Gil-Luezas: A Debugging Model for Lazy Functional Logic Languages. GULP-PRODE (2) 1994: 117-131
1		Puri Arenas-Sánchez, Ana Gil-Luezas, Francisco Javier López-Fraguas: Combining Lazy Narrowing with Disequality Constraints. PLILP 1994: 385-399

Coauthor Index

1	Elvira Albert	[14] [15] [16] [17] [18] [19] [20] [21] [22]
2	Michael Codish	[22]
3	Agostino Dovier	[4] [5] [7]
4	Samir Genaim	[16] [18] [19] [20] [21] [22]
5	Ana Gil-Luezas	[1] [2] [3]
6	Manuel V. Hermenegildo	[15]
7	Maria Teresa Hortalá-González	[6]
8	Francisco Javier López-Fraguas	[1] [6] [10] [11]
9	Germán Puebla (German Puebla)	[14] [15] [16] [17] [18] [19] [20] [21] [22]
10	Mario Rodríguez-Artalejo	[8] [9] [12] [13]
11	Mario Rodrúguez-Arteljo	[10] [11]
12	Eva Ullán	[6]
13	Damiano Zanardini	[16] [18] [19] [21] [22] [23]

Colors in the list of coauthors