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

zbMATH Open1276.68048MaRDI QIDQ2863869FDOQ2863869

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

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
• Publication:3201747
• K-Maude: a rewriting based tool for semantics of programming languages
• Language-independent generation of logic representations for programs
• Publication:4730751
• scientific article; zbMATH DE number 1304718
• A rewriting framework for rule-based programming dynamic applications

zbMATH Keywords

rule-based programmingrun-time program generation

Mathematics Subject Classification ID

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

Cited In (2)

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

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)