Equality, types, modules, and (why not?) generics for logic programming-Reference-Cited by-同舟云学术

Equality, types, modules, and (why not?) generics for logic programming

Published:1984-08 Issue:2 Volume:1 Page:179-210
ISSN:0743-1066
Container-title:The Journal of Logic Programming
language:en
Short-container-title:The Journal of Logic Programming

Author:

Goguen Joseph A.,Meseguer José

Publisher

Elsevier BV

Subject

Logic

Reference51 articles.

1. Contributions to the Theory of Logic Programming;Apt;J. ACM,1982

2. The Call by Name Semantics of a Clause Language with Functions;Bellia,1982

3. A Characterization of Computable Data Types by Means of a finite equational specification method;Bergstra,1980

4. Berry, G. and Currien, P. L., The Applicative Language CDS: its Denotational and Operational Semantics, In: (M. Nivat and J. Reynolds, eds.), Algebraic Methods in Semantics, Cambridge University Press, to appear.

5. Putting Theories together to Make Specifications;Burstall;Proceedings, Fifth International Joint Conference on Artificial Intelligence,1977

Cited by 124 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Programming and symbolic computation in Maude;Journal of Logical and Algebraic Methods in Programming;2020-01

2. Symbolic Reasoning Methods in Rewriting Logic and Maude;Logic, Language, Information, and Computation;2018

3. Multi-paradigm Programming in Maude;Rewriting Logic and Its Applications;2018

4. Foundations of logic programming in hybrid logics with user-defined sharing;Theoretical Computer Science;2017-07

5. Strict coherence of conditional rewriting modulo axioms;Theoretical Computer Science;2017-04