Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions

This publication has 8 references indexed in Scilit:

• Bialgebraic Methods in Structural Operational Semantics: Invited Talk
  Electronic Notes in Theoretical Computer Science, 2007
• Coinductive Big-Step Operational Semantics
  Published by Springer Nature ,2006
• The origins of structural operational semantics
  The Journal of Logic and Algebraic Programming, 2004
• Adding recursive constructs to bialgebraic semantics
  The Journal of Logic and Algebraic Programming, 2004
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
  Theoretical Computer Science, 2002
• An introduction to metric semantics: operational and denotational models for programming and specification languages
  Theoretical Computer Science, 2001
• Selective thunkification
  Published by Springer Nature ,1994
• Systematic design of program analysis frameworks
  Published by Association for Computing Machinery (ACM) ,1979