@techreport{ambal:hal-02946930, TITLE = {{Automatic Transformation of a Big-Step Skeletal Semantics into Small-Step}}, AUTHOR = {Ambal, Guillaume and Schmitt, Alan and Lenglet, Sergue{\"i}}, URL = {https://inria.hal.science/hal-02946930}, TYPE = {Research Report}, NUMBER = {RR-9363}, INSTITUTION = {{Inria Rennes - Bretagne Atlantique}}, YEAR = {2020}, MONTH = Sep, KEYWORDS = {Big-Step ; Small-Step ; Skeletal Semantics ; Operational Semantic ; Grand-pas ; Petit-pas ; S{\'e}mantique squelettique ; S{\'e}mantique op{\'e}rationelle}, PDF = {https://inria.hal.science/hal-02946930v2/file/RR-9363.pdf}, HAL_ID = {hal-02946930}, HAL_VERSION = {v2}, }