Reflection in rewriting logic : metalogical foundations and metaprogramming applications /
Clavel, Manuel,1969-
Stanford, Calif. : CSLI Publications,
2000.
Includes bibliographical references and index.
Computer logic.
Rewriting systems (Computer science)
Human information processing.