Keyword : fixpoint theory


Sequence Domains and Fixpoint Semantics for Logic Programs
Susumu YAMASAKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1996/06/25
Vol. E79-D  No. 6 ; pp. 840-854
Type of Manuscript:  PAPER
Category: Software Theory
Keyword: 
logic programfixpoint theorynarrowingsemanticsdomain theory
 Summary | Full Text:PDF

An Abstraction of Fixpoint Semantics for Normal Logic Programs
Susumu YAMASAKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1996/03/25
Vol. E79-D  No. 3 ; pp. 196-208
Type of Manuscript:  PAPER
Category: Software Theory
Keyword: 
logic programsubstitution manipulationsfixpoint theoryabstract interpretation
 Summary | Full Text:PDF