Introspective Metatheoretic Reasoning (1994)
by
Fausto Giunchiglia
,
Alessandro Cimatti
| Venue: | IN PROC. OF META-94, WORKSHOP ON METAPROGRAMMING IN LOGIC |
| Citations: | 15 - 6 self |
BibTeX
@INPROCEEDINGS{Giunchiglia94introspectivemetatheoretic,
author = {Fausto Giunchiglia and Alessandro Cimatti},
title = {Introspective Metatheoretic Reasoning},
booktitle = {IN PROC. OF META-94, WORKSHOP ON METAPROGRAMMING IN LOGIC},
year = {1994},
pages = {425--439},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper describes a reasoning system, called GETFOL, able to introspect (the code implementing) its own deductive machinery, to reason deductively about it in a declarative metatheory and to produce new executable code which can then be pushed back into the underlying implementation. In this paper we discuss the general architecture of GETFOL and the problems related to its implementation.
