@inproceedings{ambal:hal-03768820, TITLE = {{Certified Derivation of Small-Step From Big-Step Skeletal Semantics}}, AUTHOR = {Ambal, Guillaume and Lenglet, Sergue{\"i} and Schmitt, Alan and No{\^u}s, Camille}, URL = {https://inria.hal.science/hal-03768820}, BOOKTITLE = {{PPDP 2022 - 24th International Symposium on Principles and Practice of Declarative Programming}}, ADDRESS = {Tbilisi, Georgia}, PAGES = {1-48}, YEAR = {2022}, MONTH = Sep, DOI = {10.1145/3551357.3551384}, KEYWORDS = {Big-Step ; Small-Step ; Operational Semantics}, PDF = {https://inria.hal.science/hal-03768820/file/ppdp.pdf}, HAL_ID = {hal-03768820}, HAL_VERSION = {v1}, }