Parameterized horn clause specifications: Proof theory and correctness

This publication has 12 references indexed in Scilit:

• Passing Compatibility is Almost Persistency
  Published by Springer Nature ,1985
• Equality, types, modules, and (why not?) generics for logic programming
  The Journal of Logic Programming, 1984
• Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
  ACM Transactions on Programming Languages and Systems, 1983
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
  Journal of the ACM, 1982
• Universal realization, persistent interconnection and implementation of abstract modules
  Published by Springer Nature ,1982
• Completeness of many-sorted equational logic
  ACM SIGPLAN Notices, 1981
• Algebraic theory of parameterized specifications with requirements
  Published by Springer Nature ,1981
• The semantics of clear, a specification language
  Published by Springer Nature ,1980
• Data type specification
  Published by Association for Computing Machinery (ACM) ,1978
• Completeness of calculii for axiomatically defined classes of algebras
  Algebra universalis, 1972