|
Abstract : |
Two-level #-calculi have been heavily utilised for applications such as partial evaluation, abstract interpretation and code generation. Each of these applications pose di#erent demands on the exact details of the two-level structure and the corresponding inference rules. We therefore formulate a number of existing systems in a common framework so as to conceal those di#erences between the systems that are not essential for the multi-level ideas, and so as to reveal the deeper similarities and di#erences. The multi-level #-calculi defined here allow multi-level structures that are not restricted to the (possibly finite) linear orders found in most of the literature. Finally, we generalise our approach so as to be applicable to a much wider class of programming languages. 1, |
