@inproceedings{ambal:hal-03466807, TITLE = {{Certified Abstract Machines for Skeletal Semantics}}, AUTHOR = {Ambal, Guillaume and Lenglet, Sergue{\"i} and Schmitt, Alan}, URL = {https://inria.hal.science/hal-03466807}, BOOKTITLE = {{CPP 2022 - 11th ACM SIGPLAN International Conference on Certified Programs and Proofs}}, ADDRESS = {Philadelphia, United States}, PAGES = {1-13}, YEAR = {2022}, MONTH = Jan, DOI = {10.1145/3497775.3503676}, KEYWORDS = {Skeletal Semantics ; Operational Semantics ; Abstract Machines ; Certified Interpretation}, PDF = {https://inria.hal.science/hal-03466807/file/cpp.pdf}, HAL_ID = {hal-03466807}, HAL_VERSION = {v1}, }