Deriving Abstract Interpreters from Skeletal Semantics

Thomas Jensen, Vincent Rébiscoul, Alan Schmitt

This paper describes a methodology for defining an executable abstract interpreter from a formal description of the semantics of a programming language. Our approach is based on Sk…