Introspective Metatheoretic Reasoning (1994)

Cached

Download Links

by Fausto Giunchiglia , Alessandro Cimatti
Venue:IN PROC. OF META-94, WORKSHOP ON METAPROGRAMMING IN LOGIC
Citations:16 - 6 self

Active Bibliography

3 Computational Reflection Via Mechanized Logical Deduction – A. Cimatti, P. Traverso - 1993
22 A Metatheory of a Mechanized Object Theory – Fausto Giunchiglia, Paolo Traverso - 1994
19 Program Tactics and Logic Tactics – Fausto Giunchiglia, Paolo Traverso - 1994
Building and Executing Proof Strategies in a Formal Metatheory – Istituto Trentino Di Cultura, Alessandro Armando, Alessandro Armando, Alessandro Cimatti, Alessandro Cimatti - 1993
180 Multilanguage Hierarchical Logics (or: How We Can Do Without Modal Logics) – Fausto Giunchiglia, Luciano Serafini - 1994
8 A Multi-context Architecture for Formalizing Complex Reasoning – Enrico Giunchiglia, Paolo Traverso - 1995
1 Towards Provably Correct System Synthesis And Extension – F. Giunchiglia, P. Pecchiari, A. Armando - 1996
507 GOLOG: A Logic Programming Language for Dynamic Domains – Hector J. Levesque, Raymond Reiter, Yves LespĂ©rance, Fangzhen Lin, Richard B. Scherl - 1994
1113 An Overview of AspectJ – Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, William G. Griswold - 2001