Alpuente M.
13
Coauthors
4
Documentos
Volumen de publicaciones por año
Cargando gráfico
| Año de publicación | Num. Publicaciones |
|---|---|
| 2017 | 1 |
| 2019 | 1 |
| 2020 | 2 |
Publicaciones por áreas de conocimiento
Cargando gráfico
| Área de conocimiento | Num. Publicaciones |
|---|---|
| Ciencias de la computación | 2 |
| Ingeniería de software | 1 |
| Software | 1 |
| Optimización matemática | 1 |
Publicaciones por áreas temáticas
Cargando gráfico
| Área temática | Num. Publicaciones |
|---|---|
| Funcionamiento de bibliotecas y archivos | 2 |
| Ciencias de la computación | 2 |
| Programación informática, programas, datos, seguridad | 1 |
| Métodos informáticos especiales | 1 |
| Matemáticas | 1 |
| Principios generales de matemáticas | 1 |
Principales fuentes de datos
| Origen | Num. Publicaciones |
|---|---|
| Scopus | 4 |
| Google Scholar | 4 |
| RRAAE | 0 |
Cargando gráfico
Coautores destacados por número de publicaciones
| Coautor | Num. Publicaciones |
|---|---|
| Escobar S. | 4 |
| Angel Cuenca-Ortega | 4 |
| Meseguer J. | 3 |
| Ballis D. | 1 |
| Sapiña J. | 1 |
Cargando gráfico
Top Keywords
Cargando gráfico
Publicaciones del autor
A partial evaluation framework for order-sorted equational programs modulo axioms
ArticleAbstract: Partial evaluation is a powerful and general program optimization technique with many successful appPalabras claves:Autores:Alpuente M., Angel Cuenca-Ortega, Escobar S., Meseguer J.Fuentes:googlescopusOrder-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms
ArticleAbstract: The Homeomorphic Embedding relation has been amply used for defining termination criteria of symboliPalabras claves:homeomorphic embedding, Maude, Rewriting LogicAutores:Alpuente M., Angel Cuenca-Ortega, Escobar S., Meseguer J.Fuentes:googlescopusInspecting Maude variants with GLINTS
Conference ObjectAbstract: This paper introduces GLINTS, a graphical tool for exploring variant narrowing computations in MaudePalabras claves:embedding, Finite Variant Property, Maude, Narrowing, Rewriting Logic, VariantAutores:Alpuente M., Angel Cuenca-Ortega, Escobar S., Sapiña J.Fuentes:googlescopus$${\textsf {ACUOS}}^\mathbf {2}$$ : A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance
Conference ObjectAbstract: Generalization in order-sorted theories with any combination of associativity (A), commutativity (C)Palabras claves:Autores:Alpuente M., Angel Cuenca-Ortega, Ballis D., Escobar S., Meseguer J.Fuentes:googlescopus