Building Composable Aspect-Specific Languages with Logic Metaprogramming
No abstract available.
Related papers
- The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier ICFP 2013
- Modular logic metaprogramming OOPSLA 2010
- Prototyping and Composing Aspect Languages ECOOP 2008
- The Concurrent Language, Shared Prolog TOPLAS 1991
- Fluid quotes: metaprogramming across abstraction boundaries with dependent types GPCE 2020
- Safely Composable Type-Specific Languages ECOOP 2014
- Toward foundations for type-reflective metaprogramming GPCE 2009
- Awesome: an aspect co-weaving system for composing multiple aspect-oriented extensions OOPSLA 2007