Mumbo: a rule-based implementation of a run-time program generation language
From MaRDI portal
Publication:2863869
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
Theory of compilers and interpreters (68N20) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)
Cited In (2)
Uses Software
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)