- -

A Modular Order-sorted Equational Generalization Algorithm

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

  • Estadisticas de Uso

A Modular Order-sorted Equational Generalization Algorithm

Show full item record

Alpuente Frasnedo, M.; Escobar Román, S.; Espert Real, J.; Meseguer, J. (2014). A Modular Order-sorted Equational Generalization Algorithm. Information and Computation. 235:98-136. https://doi.org/10.1016/j.ic.2014.01.006

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

Files in this item

Item Metadata

Title: A Modular Order-sorted Equational Generalization Algorithm
Author: Alpuente Frasnedo, María Escobar Román, Santiago Espert Real, Javier Meseguer, José
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Issued date:
Abstract:
Generalization, also called anti-unification, is the dual of unification. Given terms t and t , a generalizer is a term t of which t and t are substitution instances. The dual of a most general unifier (mgu) is that of ...[+]
Subjects: Unification , Logic , Inheritance , Semantics , Programs , Algebra , Terms
Copyrigths: Reserva de todos los derechos
Source:
Information and Computation. (issn: 0890-5401 )
DOI: 10.1016/j.ic.2014.01.006
Publisher:
Elsevier
Publisher version: http://dx.doi.org/10.1016/j.ic.2014.01.006
Project ID:
info:eu-repo/grantAgreement/MICINN//TIN2010-21062-C02-02/ES/SWEETLOGICS-UPV/
info:eu-repo/grantAgreement/NSF//0905584/US/TC: Medium: Collaborative Research: Rewriting Logic Foundations for Verification and Programming of Next-Generation Trustworthy Web-Based Systems/
info:eu-repo/grantAgreement/NSF//0904749/US/TC: Medium: Collaborative Research: Unification Laboratory: Increasing the Power of Cryptographic Protocol Analysis Tools/
info:eu-repo/grantAgreement/GVA//PROMETEO%2F2011%2F052/ES/LOGICEXTREME: TECNOLOGIA LOGICA Y SOFTWARE SEGURO/
Thanks:
M. Alpuente, S. Escobar, and J. Espert have been partially supported by the EU (FEDER) and the Spanish MEC/MICINN under grant TIN 2010-21062-C02-02, and by Generalitat Valenciana PROMETEO2011/052. J. Meseguer has been ...[+]
Type: Artículo

recommendations

 

This item appears in the following Collection(s)

Show full item record