Reflection in rewriting logic : metalogical foundations and metaprogramming applications

Manuel Clavel
Bok · Engelsk · 2000

Utgitt	Stanford, Calif. : CSLI Publications , c2000
Omfang	xiv, 200 s.
Emner	Computer logic Human information processing Rewriting systems (Computer science) Omskrivning
ISBN	1575862379. - 1575862387