Abstract interpretation of non-monotone bi-inductive semantic definitions

Natural Semantics

Proceedings of the first Franco-Japanese Symposium on Programming of future generation computers

Denotational semantics

Handbook of theoretical computer science (vol. B)

Inductive definitions, semantics and abstract interpretations

POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Types as abstract interpretations

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

An introduction to metric semantics: operational and denotational models for programming and specification languages

Theoretical Computer Science

Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Constructive design of a hierarchy of semantics of a transition system by abstract interpretation

Theoretical Computer Science

Systematic design of program analysis frameworks

POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

The Theory and Practice of Transforming Call-by-need into Call-by-value

Proceedings of the Fourth 'Colloque International sur la Programmation' on International Symposium on Programming

Towards a Mathematical Operational Semantics

LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science

Bialgebraic Methods in Structural Operational Semantics

Electronic Notes in Theoretical Computer Science (ENTCS)

Coinductive big-step operational semantics

ESOP'06 Proceedings of the 15th European conference on Programming Languages and Systems