Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications

Metalogical Foundations and Metaprogramming Applications
 
 
Centre for the Study of Language & Information (Verlag)
  • erschienen am 1. Juni 2000
 
  • Buch
  • |
  • Softcover
  • |
  • 192 Seiten
978-1-57586-238-5 (ISBN)
 
Proposes a general theory of reflective logics and reflective declarative programming languages.
New
  • Englisch
  • New York
  • |
  • USA
  • Für Beruf und Forschung
  • Broschur/Paperback
  • Höhe: 229 mm
  • |
  • Breite: 152 mm
  • |
  • Dicke: 14 mm
  • 272 gr
978-1-57586-238-5 (9781575862385)
1575862387 (1575862387)
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.

Versand in 10-20 Tagen

27,04 €
inkl. 7% MwSt.
in den Warenkorb

Abholung vor Ort? Sehr gerne!
Unsere Web-Seiten verwenden Cookies. Mit der Nutzung dieser Web-Seiten erklären Sie sich damit einverstanden. Mehr Informationen finden Sie in unserem Datenschutzhinweis. Ok