Sfoglia per Autore
$$ extsf ACUOS^mathbf 2$$ : A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance
2019-01-01 Alpuente, M.; Ballis, D.; Cuenca-Ortega, A.; Escobar, S.; Meseguer, J.
Imposing assertions in Maude via program transformation
2019-01-01 Alpuente, M.; Ballis, D.; Sapina, J.
Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME System
2020-01-01 Alpuente, M.; Ballis, D.; Sapina, J.
A partial evaluation methodology for optimizing rewrite theories incrementally
2022-01-01 Alp, María; Ente, ; Ballis, Demis; Escobara, Santiago; Galán Pascuala, Daniel; Sapiña, Julia
Symbolic Specialization of Rewriting Logic Theories with Presto
2022-01-01 Alpuente, M.; Escobar, S.; Sapina, J.; Ballis, D.
Variant-Based Equational Anti-unification
2022-01-01 Alpuente, M.; Ballis, D.; Escobar, S.; Sapina, J.
Optimization of rewrite theories by equational partial evaluation
2022-01-01 Alpuente, M.; Ballis, D.; Escobar, S.; Sapina, J.
Safety enforcement via programmable strategies in Maude
2023-01-01 Alpuente, M.; Ballis, D.; Escobar, S.; Galan, D.; Sapina, J.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| $$ extsf ACUOS^mathbf 2$$ : A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance | 1-gen-2019 | Alpuente, M.; Ballis, D.; Cuenca-Ortega, A.; Escobar, S.; Meseguer, J. | |
| Imposing assertions in Maude via program transformation | 1-gen-2019 | Alpuente, M.; Ballis, D.; Sapina, J. | |
| Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME System | 1-gen-2020 | Alpuente, M.; Ballis, D.; Sapina, J. | |
| A partial evaluation methodology for optimizing rewrite theories incrementally | 1-gen-2022 | Alp, María; Ente, ; Ballis, Demis; Escobara, Santiago; Galán Pascuala, Daniel; Sapiña, Julia | |
| Symbolic Specialization of Rewriting Logic Theories with Presto | 1-gen-2022 | Alpuente, M.; Escobar, S.; Sapina, J.; Ballis, D. | |
| Variant-Based Equational Anti-unification | 1-gen-2022 | Alpuente, M.; Ballis, D.; Escobar, S.; Sapina, J. | |
| Optimization of rewrite theories by equational partial evaluation | 1-gen-2022 | Alpuente, M.; Ballis, D.; Escobar, S.; Sapina, J. | |
| Safety enforcement via programmable strategies in Maude | 1-gen-2023 | Alpuente, M.; Ballis, D.; Escobar, S.; Galan, D.; Sapina, J. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile