Properties of unfolding-based meta-level systems

• Authors:

• Torben Amtoft Hansen

• Affiliations:

• Computer Science Department, Aarhus University, Ny Munkegade, building 540, DK-8000 Ârhus C, Denmark

• Venue:
• PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
• Year:
• 1991