A modular order-sorted equational generalization algorithm-Reference-Cited by-同舟云学术

A modular order-sorted equational generalization algorithm

Author:

Alpuente María,Escobar Santiago,Espert Javier,Meseguer José

Funder

EU (FEDER)

Spanish MEC/MICINN

Generalitat Valenciana

NSF

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science

Reference54 articles.

1. Outline of a calculus of type subsumption;Aït-Kaci,1983

2. Data models as constraint systems: A key to the semantic web;Aït-Kaci;Constraint Program. Lett.,2007

3. An axiomatic approach to feature term generalization;Aït-Kaci,2001

4. A partial evaluation framework for curry programs;Albert,1999

5. A modular equational generalization algorithm;Alpuente,2009

Cited by 27 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

3. Optimizing Maude Programs via Program Specialization;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023

5. Variant-Based Equational Anti-unification;Logic-Based Program Synthesis and Transformation;2022