M. Kaufmann and J Strother Moore, "Should We Begin a Standardization Process for Interface Logics?", Tech. report CLI Technical Report 72, Computational Logic, Inc., 1717 W. Sixth Street, Suite 290, Austin, TX 78703, January 1992.  Home/Search   Document Details and Download   Summary   Related Articles

....Problem . Exchanging Data . Exchanging Code . Interface Logics . User Interfaces and Interaction Styles . Significant System Verification Applications We will speak to each of these issues in turn, all within the context of system verification. In our companion submission to this workshop, [1], we discuss the possible use of interface logics in program verification. However, a general theme running throughout this paper is what we will call the Fundamental Admonition: To reason formally about an idea you must formalize the idea. Put another way, if you wish to study an idea ....

....begin with a dire warning that once a formula generator project has selected a logic they must refrain from modifying it unless they want to write their own theorem prover. An alternative approach is the adoption of an interface logic. We discuss some perils of that approach in more detail in [1]. We do not believe there is much merit in adopting an interface logic. Suppose there is an interface logic and all theorem proving groups undertake to translate from a subset of it to their particular logic. That is, given a problem in the interface logic IL suppose one can mechanically ....

[Article contains additional citation context not shown here]

M. Kaufmann and J Strother Moore, "Should We Begin a Standardization Process for Interface Logics?", Tech. report CLI Technical Report 72, Computational Logic, Inc., 1717 W. Sixth Street, Suite 290, Austin, TX 78703, January 1992.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC