Keyword : domain 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