| Presentation | 1994/7/7 A Rewriting Model for Reflectiv Computation Takuo Watanabe, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | The goal of this work is to provide a clear and general description framework forcomputational reflection and its related concepts(such as introspection,reflective tower,partial computation,and so on).This paper presents our first attempt to construct sucna framework based on the notion of implementation on abstract rewriting systems. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Reflection / Computational Reflection / Abstract Rewriting |
| Paper # | SS94-12 |
| Date of Issue |
| Conference Information | |
| Committee | SS |
|---|---|
| Conference Date | 1994/7/7(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Software Science (SS) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | A Rewriting Model for Reflectiv Computation |
| Sub Title (in English) | |
| Keyword(1) | Reflection |
| Keyword(2) | Computational Reflection |
| Keyword(3) | Abstract Rewriting |
| 1st Author's Name | Takuo Watanabe |
| 1st Author's Affiliation | Japan Advanced Institute of Science and Technology,Hokuriku() |
| Date | 1994/7/7 |
| Paper # | SS94-12 |
| Volume (vol) | vol.94 |
| Number (no) | 134 |
| Page | pp.pp.- |
| #Pages | 7 |
| Date of Issue | |