Meta programming can be facilitated by the ability to represent program fragments in concrete syntax instead of abstract syntax. The resulting meta programs are more self-documenting. One caveat in concrete meta programming is the syntactic separation between the meta language and the object language. To solve this problem, many meta programming systems use quoting and anti-quoting to indicate precisely where level switches occur. These syntactic hedges" can obfuscate the concrete program fragments. This paper describes an algorithm for inferring quotes, such that the meta programmer no longer needs to explicitly indicate transitions between the meta and object languages. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Vinju, J. J. (2006). Type-driven automatic quotation of concrete object code in meta programs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3943 LNCS, pp. 97–112). Springer Verlag. https://doi.org/10.1007/11751113_8
Mendeley helps you to discover research relevant for your work.