Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications

by

Write The First Customer Review

Proposes a general theory of reflective logics and reflective declarative programming languages.

Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications 2000, Center for the Study of Language and Information Publica Tion, New York

ISBN-13: 9781575862385

Trade paperback

Select
Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications 2000, Center for the Study of Language and Information Publica Tion, Stanford, CA

ISBN-13: 9781575862378

Hardcover

Select