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

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	IEEE transactions on software engineering Ročník 21; číslo 12; s. 959 - 968
Hlavní autor:	Han, Jia Liang
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York, NY IEEE 01.12.1995 Institute of Electrical and Electronics Engineers IEEE Computer Society
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!