Term-graph anti-unification

DOI10.4230/LIPICS.FSCD.2018.9MaRDI QIDQ4993335zbMATH OpenOpenAlexFDO

Authors Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret

Publication date 15 June 2021

Full work available at URL https://doi.org/10.4230/LIPIcs.FSCD.2018.9

zbMATH Keywords

anti-unificationcyclic term-grapsleast general generalization

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• Anti-unification algorithms and their applications in program analysis
• On complexity of the anti-unification problem
• Anti-unification for unranked terms and hedges
• Anti-unification for unranked terms and hedges
• A library of anti-unification algorithms

Cites work

• A modular order-sorted equational generalization algorithm
• A note on the derivation of maximal common subgraphs of two directed or undirected graphs
• ACUOS: a system for modular ACU generalization with subtyping and inheritance
• An algebraic presentation of term graphs, via gs-monoidal categories
• Anti-unification for unranked terms and hedges
• Backtrack search algorithms and the maximal common subgraph problem
• Higher-order pattern anti-unification in linear time
• scientific article; zbMATH DE number 919844 (Why is no real title available?)
• scientific article; zbMATH DE number 3349329 (Why is no real title available?)
• Lambda calculus with explicit recursion
• Term graph rewriting
• Unranked second-order anti-unification

Cited in

(5)

• Order-sorted equational generalization algorithm revisited
• Anti-unification and the theory of semirings
• Anti-unification algorithms and their applications in program analysis
• One or nothing: anti-unification over the simply-typed lambda calculus
• Equational anti-unification over absorption theories

Describes a project that uses

Uses Software

• ACUOS2

This page was built for publication: Term-graph anti-unification

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