The application of deductive databases to inter-module code analysis

Suzanne W. Dietrich, Frank W. Calliss

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

3 Scopus citations

Abstract

Inter-module code analysis is a process by which a programmer can analyse a program consisting of a collection of interconnected modules. A deductive database is presented that records the information needed for inter-module code analysis. The application of a deductive database to this domain utilises the rule capability for data structuring and facilitates the declarative specification of recursive operations. This deductive database was derived from a conceptual schema, which describes the dependencies that exist in a program. A method for mapping a conceptual schema to a deductive database framework is outlined. An example query is used to show how this database can be used for inter-module code analysis.

Original languageEnglish (US)
Title of host publicationProceedings - Conference on Software Maintenance 1991
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages120-128
Number of pages9
ISBN (Electronic)081862325X, 9780818623257
DOIs
StatePublished - Jan 1 1991
Event1991 Conference on Software Maintenance, ICSM 1991 - Sorrento, Italy
Duration: Oct 15 1991Oct 17 1991

Publication series

NameProceedings - Conference on Software Maintenance 1991

Conference

Conference1991 Conference on Software Maintenance, ICSM 1991
CountryItaly
CitySorrento
Period10/15/9110/17/91

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality

Fingerprint Dive into the research topics of 'The application of deductive databases to inter-module code analysis'. Together they form a unique fingerprint.

Cite this