A Modular Equational Generalization Algorithm

DOI10.1007/978-3-642-00515-2_3MaRDI QIDQ3617428zbMATH OpenOpenAlexWikidataFDO

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

Publication date 24 March 2009

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-00515-2_3

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• A modular order-sorted equational generalization algorithm
• scientific article; zbMATH DE number 3896335
• E-generalization using grammars
• Higher-order pattern generalization modulo equational theories
• ACUOS: a system for modular ACU generalization with subtyping and inheritance

Cites work

• A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
• Conditional rewriting logic as a unified model of concurrency
• ELAN from a rewriting logic point of view
• scientific article; zbMATH DE number 4164171 (Why is no real title available?)
• scientific article; zbMATH DE number 4053011 (Why is no real title available?)
• scientific article; zbMATH DE number 1189278 (Why is no real title available?)
• scientific article; zbMATH DE number 194509 (Why is no real title available?)
• scientific article; zbMATH DE number 1881074 (Why is no real title available?)
• scientific article; zbMATH DE number 3349328 (Why is no real title available?)
• scientific article; zbMATH DE number 3349329 (Why is no real title available?)
• scientific article; zbMATH DE number 3349330 (Why is no real title available?)
• Inductive Logic Programming: Issues, results and the challenge of Learning Language in Logic
• Narrowing and rewriting logic: from foundations to applications
• Order-sorted generalization
• Specialization of functional logic programs based on needed narrowing
• The origins of structural operational semantics
• Unification theory

Cited in

(13)

• Submodule construction as equation solving in CCS
• Twenty years of rewriting logic
• Order-sorted equational generalization algorithm revisited
• A partial evaluation framework for order-sorted equational programs modulo axioms
• Anti-unification for unranked terms and hedges
• A modular order-sorted equational generalization algorithm
• E-generalization using grammars
• Optimization of rewrite theories by equational partial evaluation
• ACUOS: a system for modular ACU generalization with subtyping and inheritance
• Algebraic reinforcement learning. Hypothesis induction for relational reinforcement learning using term generalization.
• Order-sorted generalization
• Symbolic Specialization of Rewriting Logic Theories with Presto
• Debugging Maude programs via runtime assertion checking and trace slicing

Describes a project that uses

Uses Software

• OBJ3
• CafeOBJ
• Maude
• ITP

This page was built for publication: A Modular Equational Generalization Algorithm

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3617428)