Reflection in rewriting logic: Metalogical foundations and metaprogramming applications
By: Clavel, M.
Material type: BookPublisher: Stanford CSLI Publications 2000Description: xiv, 200p.ISBN: 1-57586-237-9.Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
005.131 CLA (Browse shelf) | Available | 505191 |
There are no comments for this item.