- -

Narrowing-based Optimization of Rewrite Theories

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Narrowing-based Optimization of Rewrite Theories

Show full item record

Alpuente Frasnedo, M.; Ballis, D.; Escobar Román, S.; Sapiña Sanchis, J. (2020). Narrowing-based Optimization of Rewrite Theories. http://hdl.handle.net/10251/145579

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/145579

Files in this item

Item Metadata

Title: Narrowing-based Optimization of Rewrite Theories
Author: Alpuente Frasnedo, María Ballis, Demis Escobar Román, Santiago Sapiña Sanchis, Julia
UPV Unit: Instituto Valenciano de Investigación en Inteligencia Artificial (VRAIN)
Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Issued date:
Abstract:
Partial evaluation has been never investigated in the context of rewrite theories that allow concurrent systems to be specified by means of rules, with an underlying equational theory being used to model system states as ...[+]
Copyrigths: Reserva de todos los derechos
Publisher:
Universitat Politècnica de València
Project ID:
RTI2018- 094403-B-C32
PROMETEO/2019/098
APOSTD/2019/127
Thanks:
This work has been partially supported by the EU (FEDER) and the Spanish MCIU under grant RTI2018094403-B-C32,andbyGeneralitatValencianaundergrantPROMETEO/2019/098. JuliaSapiñahasbeensupported by the Generalitat Valenciana ...[+]
Type: Working Paper

This item appears in the following Collection(s)

Show full item record