Reflection In Rewriting Logic

Metalogical Foundations And Metaprogramming Applications

by Manuel Clavel
language: english
Publisher: CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION, June of 2000 ‧
OUT OF STOCK OR NOT AVAILABLE
Sell ​​your book
Proposes a general theory of reflective logics and reflective declarative programming languages.

Reflection In Rewriting Logic

Metalogical Foundations And Metaprogramming Applications

by Manuel Clavel

Property Description
ISBN: 9781575862378
Publisher: CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION
Release Date: June of 2000
Language: English
Dimensions: 158 x 236 x 16 mm
Cover: Hardcover
Pages: 214
Format: Book
Collection: Stanford Monographs In Linguistics
Categories: Books in English > Science > Mathematics
EAN: 9781575862378

BOOKS FROM THE SAME COLLECTION