A generic reification technique for object-oriented reflective languages

DOI10.1023/A:1011549115358zbMath0967.68094OpenAlexW1521311146MaRDI QIDQ5936650

Mario Südholt, Rémi Douence

Publication date: 3 July 2001

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1011549115358

zbMATH Keywords

reflectionlanguage implementationOO languagesprogram transformation

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (1)

Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic

This page was built for publication: A generic reification technique for object-oriented reflective languages