Programming with sequence and context variables

MaRDI QIDQ3174559zbMATH OpenFDO

Authors B. Dundua

Publication date 15 October 2011

zbMATH Keywords

rewritinglogic programmingrule based programmingcontext sequence matching

Mathematics Subject Classification ID

Logic programming (68N17) Grammars and rewriting systems (68Q42)

Recommendations

• Matching with Regular Constraints
• Foundations of the rule-based system \(\rho\,\text{Log}\)
• Towards Structured Contexts and Modules
• Matching with membership constraints for hedge and context variables
• Regular languages with variables on graphs

Cited in

(2)

• Variadic equational matching in associative and commutative theories
• SequenceL provides a different way to view programming

This page was built for publication: Programming with sequence and context variables

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