Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications

Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications
Powered by Amazon.com