Program partition and logic program analysis

A program partition scheme for stratified programs introduced by Apt et al. (1988) is used to study efficient computation of logic programs. We consider three types of program partitions and their corresponding graph representations: 1) the natural partition, 2) stratified partitions, and 3) the red...

Full description

Saved in:

Bibliographic Details
Published in:	IEEE transactions on software engineering Vol. 21; no. 12; pp. 959 - 968
Main Author:	Han, Jia Liang
Format:	Journal Article
Language:	English
Published:	New York, NY IEEE 01.12.1995 Institute of Electrical and Electronics Engineers IEEE Computer Society
Subjects:	Algorithms Applied sciences Automatic programming Automation Computational efficiency Computer science; control theory; systems Costs Exact sciences and technology Graph representations Graphs Information systems. Data bases Logic programming Memory organisation. Data processing Optimization techniques Partitioning algorithms Programming languages Query processing Relational data bases Relational databases Semantics Software Software engineering Software maintenance Studies Systems analysis Writing Program graph Query formulation Computer programming Logic programming Deductive database Semantic analysis Task scheduling Computer programming languages Decomposition Graph theory Optimization Program verification Algorithms Acyclic graph Directed graph
ISSN:	0098-5589, 1939-3520
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!