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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on software engineering Jg. 21; H. 12; S. 959 - 968
1. Verfasser:	Han, Jia Liang
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York, NY IEEE 01.12.1995 Institute of Electrical and Electronics Engineers IEEE Computer Society
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!