Finite Failures and Partial Computations in Concurrent Logic Languages
暂无分享,去创建一个
[1] Vijay A. Saraswat,et al. GHC: Operational Semantics, Problems, and Relationships with CP(|, |) , 1987, SLP.
[2] Giorgio Levi,et al. The Declarative Semantics of Logical Read-Only Variables , 1985, SLP.
[3] Kazunori Ueda,et al. Guarded Horn Clauses , 1986, LP.
[4] J. Lloyd. Foundations of Logic Programming , 1984, Symbolic Computation.
[5] Ehud Shapiro,et al. The family of concurrent logic programming languages , 1989, CSUR.
[6] C. Palamidessi. A fixpoint semantics for guarded Horn clauses , 1988 .
[7] Giorgio Levi,et al. A New Declarative Semantics for Logic Languages , 1988, ICLP/SLP.
[8] K. Ueds,et al. Guarded horn clauses: A parallel logic programming language with the concept of a guard , 1988 .
[9] Keith L. Clark,et al. A relational language for parallel programming , 1981, FPCA '81.
[10] Keith L. Clark,et al. Negation as Failure , 1987, Logic and Data Bases.
[11] Krzysztof R. Apt,et al. Contributions to the Theory of Logic Programming , 1982, JACM.
[12] Kazunori Ueda,et al. Parallelism in Logic Programming , 1989, IFIP Congress.
[13] Keith L. Clark,et al. PARLOG: parallel programming in logic , 1986, ACM Trans. Program. Lang. Syst..
[14] Masaki Murakami. Nested Guarded horn Clauses : A Language Provided with a Complete Set of Unfolding Rules , 1990 .
[15] Steve Gregory,et al. Parallel logic programming in PARLOG - the language and its implementation , 1987 .
[16] Vijay Saraswat,et al. Problems with concurrent prolog , 1986 .
[17] Joseph E. Stoy,et al. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory , 1981 .
[18] Ehud Shapiro,et al. A subset of Concurrent Prolog and its interpreter , 1988 .
[19] Michael J. Maher. Logic Semantics for a Class of Committed-Choice Programs , 1987, ICLP.
[20] Ehud Shapiro. Concurrent Prolog: A Progress Report , 1986, Computer.
[21] Giorgio Levi,et al. Semantic Models for a Version of PARLOG , 1989, ICLP.