Institutions for logic programming

Constraint logic programming

Joxan Jaffar, J.-L. Lassez · 1987 · 1.6K citations

Computing, Computer Science, Combinatorics +10

Institutions: abstract model theory for specification and programming

Joseph A. Goguen, R. M. Burstall · Journal of the ACM · 1992 · 988 citations · Full text

Computing, Computer Science, Formal Methods +13

A logical analysis of modules in logic programming

Dale Miller · The Journal of Logic Programming · 1989 · 235 citations

Computing, Computer Science, Formal Methods +10

Declarative modeling of the operational behavior of logic languages

Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi et al. · Theoretical Computer Science · 1989 · 199 citations

Computing, Computer Science, Formal Methods +15

Constructive Negation Based on the Completed Database.

David W. Chan · International Conference on Lightning Protection · 1988 · 166 citations

Computing, Computer Science, Databases +9