FLOW ANALYSIS OF A SIMPLE CLASS OF DYNAMIC LOGIC PROGRAMS.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations

Abstract

Research on flow analysis and optimization of logic programs has typically concentrated on programs that are static, i. e. which do not change at runtime through the use of constructs like Prolog's 'assert'. It is often the case, however, that a program may use assert in a way that has only local effects on parts of the program, leaving the rest of the program unaffected. In such cases, it would be desirable to be able to identify such unaffected portions of the program and carry out analysis and optimization on these portions as before. An outline is presented of how this might be done for a simple class of dynamic programs, using a type analysis scheme to estimate the effects of runtime modifications to the program. The author's approach allows static analysis and optimization techniques that have been developed for static programs to be extended to a reasonably large class of 'well-behaved' dynamic programs.

Original languageEnglish (US)
Title of host publicationUnknown Host Publication Title
PublisherIEEE
Pages307-316
Number of pages10
ISBN (Print)0818607998
StatePublished - Dec 1 1987

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'FLOW ANALYSIS OF A SIMPLE CLASS OF DYNAMIC LOGIC PROGRAMS.'. Together they form a unique fingerprint.

  • Cite this

    Debray, S. K. (1987). FLOW ANALYSIS OF A SIMPLE CLASS OF DYNAMIC LOGIC PROGRAMS. In Unknown Host Publication Title (pp. 307-316). IEEE.