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.