Reflection in Rewriting Logic
Metalogical Foundations and Metaprogramming Applications
Manuel Clavel(Author)
Cambridge University Press
Published on 1. June 2000
Book
Hardback
214 pages
978-1-57586-237-8 (ISBN)
Description
Proposes a general theory of reflective logics and reflective declarative programming languages.
More details
Language
English
Place of publication
New York
United States
Target group
Professional and scholarly
Product notice
sewn/stitched
Cloth over boards
Dimensions
Height: 236 mm
Width: 159 mm
Thickness: 17 mm
Weight
408 gr
ISBN-13
978-1-57586-237-8 (9781575862378)
Schweitzer Classification
Content
Introduction; 1. General logics and rewriting logic; 2. Reflection in general logics and in rewriting logic; 3. Reflection and strategies in Maude; 4. Applications of reflective Maude; 5. Conclusion; Appendix; Bibliography; Index.