Programming with sequence and context variables

zbMATH Open1222.68058MaRDI QIDQ3174559FDOQ3174559

Authors: B. Dundua 

Publication date: 15 October 2011

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

zbMATH Keywords

rewritinglogic programmingrule based programmingcontext sequence matching

Mathematics Subject Classification ID

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

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)