Mumbo: a rule-based implementation of a run-time program generation language

MaRDI QIDQ2863869zbMATH OpenFDO

Authors Barış Aktemur, Sam Kamin

Publication date 4 December 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106000338?np=y

zbMATH Keywords

rule-based programmingrun-time program generation

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of compilers and interpreters (68N20)

Recommendations

• Maude: specification and programming in rewriting logic
• Program logics for homogeneous generative run-time meta-programming
• MGS: a rule-based programming language for complex objects and collections
• scientific article; zbMATH DE number 4178747
• K-Maude: a rewriting based tool for semantics of programming languages
• Language-independent generation of logic representations for programs
• scientific article; zbMATH DE number 4115923
• scientific article; zbMATH DE number 1304718
• A rewriting framework for rule-based programming dynamic applications

Cited in

(2)

• Mumbo
• MGS: a rule-based programming language for complex objects and collections

Describes a project that uses

Uses Software

• Maude

This page was built for publication: Mumbo: a rule-based implementation of a run-time program generation language

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