|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
|
|
Results
Found 39 publication records. Showing 39 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini |
Cost analysis of object-oriented bytecode programs.  |
Theor. Comput. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa |
Symbolic Execution of Concurrent Objects in CLP. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla |
Automatic Inference of Resource Consumption Bounds. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla |
COSTABS: a cost and termination analyzer for ABS. |
PEPM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Alonso, Puri Arenas, Samir Genaim |
Handling Non-linear Operations in the Value Analysis of COSTA. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla |
Closed-Form Upper Bounds in Static Cost Analysis. |
J. Autom. Reasoning |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla |
Cost Analysis of Concurrent OO Programs. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Damiano Zanardini |
Task-level analysis for a language with async/finish parallelism. |
LCTES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo |
Certificate size reduction in Abstraction-Carrying Code |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Puri Arenas, Damiano Zanardini |
18th Workshop on Logic-based methods in Programming Environments (WLPE 2008) |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini |
Resource Usage Analysis and Its Application to Resource Certification. |
FOSAD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla |
Field-Sensitive Value Analysis by Field-Insensitive Analysis. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Diego Alonso, Puri Arenas, Samir Genaim, German Puebla |
Asymptotic Resource Usage Bounds. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Israel Herraiz, German Puebla |
Comparing Cost Functions in Resource Analysis. |
FOPARA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini |
Termination Analysis of Java Bytecode. |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini |
Removing useless variables in cost analysis of Java bytecode. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
cost equations systems, complexity, information flow, program slicing, cost analysis, java bytecode |
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla |
Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini |
Experiments in Cost Analysis of Java Bytecode. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Germán Puebla |
Some Issues on Incremental Abstraction-Carrying Code |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini |
Cost Analysis of Java Bytecode. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Germán Puebla |
An Incremental Approach to Abstraction-Carrying Code. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas-Sánchez, Germán Puebla, Manuel V. Hermenegildo |
Reduced Certificates for Abstraction-Carrying Code. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Puri Arenas-Sánchez, Mario Rodríguez-Artalejo |
A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Puri Arenas-Sánchez, Mario Rodríguez-Artalejo |
A General Framework for Lazy Functional Logic, Programming with Algebraic Polymorphic Types. |
TPLP |
2001 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Puri Arenas-Sánchez, Agostino Dovier |
A Minimality Study for Set Unification. |
Journal of Functional and Logic Programming |
1997 |
DBLP BibTeX RDF |
|
| 1 | Puri Arenas-Sánchez, Mario Rodríguez-Artalejo |
A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types. |
TAPSOFT |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Puri Arenas-Sánchez, Mario Rodríguez-Artalejo |
A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Puri Arenas-Sánchez, Agostino Dovier |
Minimal Set Unification. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Puri Arenas-Sánchez, Ana Gil-Luezas |
A Debugging Model for Lazy Narrowing |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Puri Arenas-Sánchez, Agostino Dovier |
Minimal Set Unification |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
Logic Programming with Sets, Unification, CLP |
| 1 | Puri Arenas-Sánchez, Ana Gil-Luezas |
A Debugging Model for Lazy Functional Logic Languages. |
GULP-PRODE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Puri Arenas-Sánchez, Ana Gil-Luezas, Francisco Javier López-Fraguas |
Combining Lazy Narrowing with Disequality Constraints. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #39 of 39 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")