Abstract Semantics eo 2019/01/01 Abstract semantics are computable approximations to the concrete semantics of instructions. References [0] Cousot, Patrick, and Radhia Cousot. “Abstract interpretation frameworks.” Journal of logic and computation 2.4 (1992): 511-547. [1] Van Horn, David, and Matthew Might. “Abstracting abstract machines.” ACM Sigplan Notices. Vol. 45. No. 9. ACM, 2010.