Sfoglia per Autore
Symbolic Analysis of Maude Theories with Narval
2019-01-01 Alpuente, M.; Escobar, S.; Sapina, J.; Ballis, D.
Static correction of Maude programs with assertions
2019-01-01 Alpuente, M.; Ballis, D.; Sapiña, 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 Alpuente, María; Ballis, Demis; Escobara, Santiago; Galán Pascuala, Daniel; Sapiña, Julia
Variant-Based Equational Anti-unification
2022-01-01 Alpuente, M.; Ballis, D.; Escobar, S.; Sapina, J.
Symbolic Specialization of Rewriting Logic Theories with Presto
2022-01-01 Alpuente, M.; Escobar, S.; Sapina, J.; Ballis, D.
Optimization of rewrite theories by equational partial evaluation
2022-01-01 Alpuente, M.; Ballis, D.; Escobar, S.; Sapina, J.
Optimizing Maude Programs via Program Specialization
2023-01-01 Alpuente, M.; Ballis, D.; Escobar, S.; Meseguer, J.; Sapina, J.
Safety enforcement via programmable strategies in Maude
2023-01-01 Alpuente, M.; Ballis, D.; Escobar, S.; Galan, D.; Sapina, J.
Modeling and Analyzing Reaction Systems in Maude
2024-01-01 Ballis, D.; Brodo, L.; Falaschi, M.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Symbolic Analysis of Maude Theories with Narval | 1-gen-2019 | Alpuente, M.; Escobar, S.; Sapina, J.; Ballis, D. | |
| Static correction of Maude programs with assertions | 1-gen-2019 | Alpuente, M.; Ballis, D.; Sapiña, 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 | Alpuente, María; Ballis, Demis; Escobara, Santiago; Galán Pascuala, Daniel; Sapiña, Julia | |
| Variant-Based Equational Anti-unification | 1-gen-2022 | Alpuente, M.; Ballis, D.; Escobar, S.; Sapina, J. | |
| Symbolic Specialization of Rewriting Logic Theories with Presto | 1-gen-2022 | Alpuente, M.; Escobar, S.; Sapina, J.; Ballis, D. | |
| Optimization of rewrite theories by equational partial evaluation | 1-gen-2022 | Alpuente, M.; Ballis, D.; Escobar, S.; Sapina, J. | |
| Optimizing Maude Programs via Program Specialization | 1-gen-2023 | Alpuente, M.; Ballis, D.; Escobar, S.; Meseguer, J.; Sapina, J. | |
| Safety enforcement via programmable strategies in Maude | 1-gen-2023 | Alpuente, M.; Ballis, D.; Escobar, S.; Galan, D.; Sapina, J. | |
| Modeling and Analyzing Reaction Systems in Maude | 1-gen-2024 | Ballis, D.; Brodo, L.; Falaschi, M. |
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