Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. P. Cousot and R. Cousot. Systematic Design of Program Analysis Frameworks. In Proc. Sixth ACM Symp. Principles of Programming Languages, pages 269–282, 1979.
2. P. Cousot and R. Cousot. Abstract Interpretation Frameworks. Journal of Logic and Computation, 2(4):511–549, 1992.
3. F. S. de Boer and C. Palamidessi. A Fully Abstract Model of Concurrent Logic Languages. Technical report, Dipartimento di Informatica, Università di Pisa, 1990.
4. R. Gerth, M. Codish, Y. Lichtenstein, and E. Shapiro. Fully abstract denotational semantics for Concurrent Prolog. In Proc. Third IEEE Symp. on Logic In Computer Science, pages 320–335. IEEE Computer Society Press, 1988.
5. L. Henkin, J. D. Monk, and A. Tarski. Cylindric Algebras. Part I and II. North-Holland, Amsterdam, 1971.