Metaprogram Implementation by Second Order Source Transformation

C program syntax, optionally annotated with meta-annotations. The syntax of meta-annotations is the same across all target languages. In each case, the syntax of the basi c metalanguage is the syntax of the language itself, and the syntax of the meta-annotations is the syntax of *. The target language can be any programming or specification language with a formal syntax. 2. By-example Metaprogramming In *, every program written in a target language is a metaprogram unconditionally generating itself. Thus every C program is automatically a C program, and every Prolog program is a Prolog program. Syntactically contained program fragments (for example, declarations, statements, and so on) are also in general metaprograms for themselves. The addition of meta-annotations to a metaprogram attaches the metaprogram to the design database and makes generation of the annotated parts conditional on the facts in the database. The range of affected code dependent on a design condition is denot