MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Elvira Albert – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

27 documents found, showing 1 through 10. Next 10 →

ATOM

A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages
by Elvira Albert, Michael Hanus — 2002 — Journal of Functional and Logic Programming
… Elvira Albert x Michael Hanus - Germ'an Vidal x Abstract We present a practical partial evaluation…
Cited by 27 (18 self) – Add To MetaCart

Symbolic Profiling for Multi-Paradigm Declarative Languages
by Elvira Albert, German Vidal — 2002
…Symbolic Proling for Multi-Paradigm Declarative Languages ? Elvira Albert and German Vidal DSIC…
Cited by 9 (7 self) – Add To MetaCart

The Narrowing-Driven Approach to Functional Logic Program Specialization
by Elvira Albert, German Vidal — 2002 — New Generation Computing
…-Driven Approach to Functional Logic Program Specialization Elvira ALBERT and Germán VIDAL DSIC, Universidad…
Cited by 29 (14 self) – Add To MetaCart

INDY User's Manual (v1.8)
by Elvira Albert, María Alpuente, Germán Vidal, Moreno Falaschi
…INDY User's Manual (v1.8) Elvira Albert Mar'ia Alpuente Germ'an Vidal Departamento de Sistemas…
Add To MetaCart

A Difference-List Transformation for Functional Logic Languages
by Elvira Albert, César Ferri, Frank Steiner, Germán Vidal — 2000
…A Dierence-List Transformation for Functional Logic Languages ? Elvira Albert 1 , Cesar Ferri 1…
Add To MetaCart

Abstract Interpretation with Specialized Definitions
by Germán Puebla, Elvira Albert, Manuel Hermenegildo — 2006 — In Proc. of SAS’06, LNCS
…Abstract Interpretation with Specialized Definitions Germán Puebla 1 , Elvira Albert 2…
Cited by 5 (5 self) – Add To MetaCart

Reduced Certificates for Abstraction-Carrying Code
by Elvira Albert, Puri Arenas, Germán Puebla, Manuel Hermenegildo — 2005 — In Proc. of ICLP 2006
…Reduced Certificates for Abstraction-Carrying Code ⋆ Elvira Albert 1 , Puri Arenas 1 , Germán…
Cited by 4 (2 self) – Add To MetaCart

A Generic Framework for the Analysis and Specialization of Logic Programs
by Germán Puebla, Elvira Albert, Manuel Hermenegildo — 2005 — Proceedings of the 15th Workshop on Logic-based methods in Programming Environments
…A Generic Framework for the Analysis and Specialization of Logic Programs Germán Puebla 1 , Elvira…
Cited by 2 (0 self) – Add To MetaCart

An Incremental Approach to AbstractionCarrying Code
by Elvira Albert, Puri Arenas, Germán Puebla — 2006 — In Proceedings of the 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR’06), Lecture Notes in Computer Science
…An Incremental Approach to Abstraction-Carrying Code Elvira Albert 1 , Puri Arenas 1 , and Germán…
Cited by 1 (0 self) – Add To MetaCart

Incremental Certificates and Checkers for Abstraction-Carrying Code
by Elvira Albert, Puri Arenas, Germán Puebla — 2006 — In Sixth Workshop on Issues in the Theory of Security
…Incremental Certificates and Checkers for Abstraction-Carrying Code Elvira Albert 1 , Puri Arenas…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB