- -

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:
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
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