M. Sagiv, N. Francez, M. Rodeh, and R. Wilhelm. A logic-based approach to program flow analysis. Acta Informatica, 35(6):457--504, June 1998. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
A Framework for Developing Embeddable Customized Logics - Ferré, Ridoux (Correct)
....beyond our Logical Information System. Several information processing domains have logicbased components in which logic plays a crucial role: e.g. logic based information retrieval [SM83,vRCL98] logic based diagnosis [Poo88] logic based programming [Llo87,MS98] logic based program analysis [SFRW98,AMSS98,CSS99] These components model an information processing domain in logic, and also they bring to the front solutions in which logic is the main engine. This can be illustrated by the difference between using a logic of programs and programming in logic. The logic in use in these system is ....
M. Sagiv, N. Francez, M. Rodeh, and R. Wilhelm. A logic-based approach to program flow analysis. Acta Informatica, 35(6):457--504, June 1998.
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