MicroRogue
swMATH ID:  13590 
Software Authors:  Stump, Aaron; Besand, Ryan; Brodman, James C.; Hseu, Jonathan; Kinnersley, Bill 
Description:  From Rogue to MicroRogue. The rewriting calculus has been proposed as a foundational system combining the central ideas of \(lambda\)calculus and term rewriting. The rewriting is explicit, in the sense that rules must be applied explicitly to terms to transform them. This paper begins with an imperative version of the rewriting calculus called Rogue. It then shows how Rogue can itself be conveniently implemented by an even more foundational system called MicroRogue. MicroRogue rewrites terms using a global set of firstorder rules. Rules can be enabled, disabled, and dynamically added in scopes, which can be pushed and popped. MicroRogue also provides mechanisms for specifying evaluation order. Using these primitives, a Rogue interpreter can be implemented in less than 40 lines of MicroRogue code. 
Homepage:  http://www.sciencedirect.com/science/article/pii/S1571066104052958 
Related Software:  Cayenne; CVC; ALF; Twelf 
Referenced in:  2 Publications 
Standard Articles
1 Publication describing the Software, including 1 Publication in zbMATH  Year 

From Rogue to MicroRogue. Zbl 1272.68198 Stump, Aaron; Besand, Ryan; Brodman, James C.; Hseu, Jonathan; Kinnersley, Bill 
2005

Referenced by 5 Authors
2  Stump, Aaron 
1  Besand, Ryan 
1  Brodman, James C. 
1  Hseu, Jonathan 
1  Kinnersley, Bill 
Referenced in 0 Serials
Referenced in 2 Fields
2  Computer science (68XX) 
1  Mathematical logic and foundations (03XX) 