The application of deductive databases to inter-module code analysis

Suzanne W. Dietrich; Frank W. Calliss

doi:10.1109/ICSM.1991.160318

The application of deductive databases to inter-module code analysis

Suzanne W. Dietrich, Frank W. Calliss

Computer Science and Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

4 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 language	English (US)
Title of host publication	Proceedings - Conference on Software Maintenance 1991
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	120-128
Number of pages	9
ISBN (Electronic)	081862325X, 9780818623257
DOIs	https://doi.org/10.1109/ICSM.1991.160318
State	Published - 1991
Event	1991 Conference on Software Maintenance, ICSM 1991 - Sorrento, Italy Duration: Oct 15 1991 → Oct 17 1991

Publication series

Name	Proceedings - Conference on Software Maintenance 1991

Conference

Conference	1991 Conference on Software Maintenance, ICSM 1991
Country/Territory	Italy
City	Sorrento
Period	10/15/91 → 10/17/91

ASJC Scopus subject areas

Software
Safety, Risk, Reliability and Quality

Access to Document

10.1109/ICSM.1991.160318

Cite this

The application of deductive databases to inter-module code analysis. / Dietrich, Suzanne W.; Calliss, Frank W.
Proceedings - Conference on Software Maintenance 1991. Institute of Electrical and Electronics Engineers Inc., 1991. p. 120-128 160318 (Proceedings - Conference on Software Maintenance 1991).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Dietrich, SW & Calliss, FW 1991, The application of deductive databases to inter-module code analysis. in Proceedings - Conference on Software Maintenance 1991., 160318, Proceedings - Conference on Software Maintenance 1991, Institute of Electrical and Electronics Engineers Inc., pp. 120-128, 1991 Conference on Software Maintenance, ICSM 1991, Sorrento, Italy, 10/15/91. https://doi.org/10.1109/ICSM.1991.160318

@inproceedings{aa5dc9325ae94b12a2ceab0c0886127f,

title = "The application of deductive databases to inter-module code analysis",

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.",

author = "Dietrich, {Suzanne W.} and Calliss, {Frank W.}",

note = "Publisher Copyright: {\textcopyright} 1991 IEEE.; 1991 Conference on Software Maintenance, ICSM 1991 ; Conference date: 15-10-1991 Through 17-10-1991",

year = "1991",

doi = "10.1109/ICSM.1991.160318",

language = "English (US)",

series = "Proceedings - Conference on Software Maintenance 1991",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "120--128",

booktitle = "Proceedings - Conference on Software Maintenance 1991",

}

TY - GEN

T1 - The application of deductive databases to inter-module code analysis

AU - Dietrich, Suzanne W.

AU - Calliss, Frank W.

PY - 1991

Y1 - 1991

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85064429123&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85064429123&partnerID=8YFLogxK

U2 - 10.1109/ICSM.1991.160318

DO - 10.1109/ICSM.1991.160318

M3 - Conference contribution

AN - SCOPUS:85064429123

T3 - Proceedings - Conference on Software Maintenance 1991

SP - 120

EP - 128

BT - Proceedings - Conference on Software Maintenance 1991

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 1991 Conference on Software Maintenance, ICSM 1991

Y2 - 15 October 1991 through 17 October 1991

ER -

The application of deductive databases to inter-module code analysis

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this