Order-Sorted Generalization

DOI10.1016/j.entcs.2009.07.013zbMath1347.68193OpenAlexW1994644428WikidataQ57978185 ScholiaQ57978185MaRDI QIDQ4982625

José Meseguer, Santiago Escobar, Pedro Ojeda, María Alpuente

Publication date: 9 April 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.07.013

zbMATH Keywords

partial evaluationleast general generalizationorder-sorted reasoning

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (13)

Order-sorted equational generalization algorithm revisited ⋮ ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance ⋮ An integrated framework for the diagnosis and correction of rule-based programs ⋮ Optimization of rewrite theories by equational partial evaluation ⋮ Twenty years of rewriting logic ⋮ Symbolic Specialization of Rewriting Logic Theories with Presto ⋮ A modular order-sorted equational generalization algorithm ⋮ Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach ⋮ A Modular Equational Generalization Algorithm ⋮ A partial evaluation framework for order-sorted equational programs modulo axioms ⋮ Debugging Maude programs via runtime assertion checking and trace slicing ⋮ Speeding up operations on feature terms using constraint programming and variable symmetry ⋮ Anti-unification for unranked terms and hedges

Uses Software

• OBJ3
• CafeOBJ
• Maude
• ITP

Cites Work

• Order-sorted unification
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Unification theory
• Conditional rewriting logic as a unified model of concurrency
• ELAN from a rewriting logic point of view
• A structural approach to operational semantics
• Inductive Logic Programming: Issues, results and the challenge of Learning Language in Logic
• Specialization of functional logic programs based on needed narrowing
• A Modular Equational Generalization Algorithm
• An Efficient Unification Algorithm
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Order-Sorted Generalization