scientific article

zbMATH Open1276.68048MaRDI QIDQ2863869

Sam Kamin, Barış Aktemur

Publication date: 4 December 2013

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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)

Related Items (2)

MGS ⋮ Mumbo

Uses Software

• Maude

Recommendations

• Maude: specification and programming in rewriting logic 👍 👎
• MGS 👍 👎
• K-Maude: A Rewriting Based Tool for Semantics of Programming Languages 👍 👎
• Program Logics for Homogeneous Generative Run-Time Meta-Programming 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎

This page was built for publication: