default search action
BibTeX record conf/ppdp/AmbalLSN22
@inproceedings{DBLP:conf/ppdp/AmbalLSN22, author = {Guillaume Ambal and Sergue{\"{\i}} Lenglet and Alan Schmitt and Camille No{\^{u}}s}, title = {Certified Derivation of Small-Step From Big-Step Skeletal Semantics}, booktitle = {{PPDP} 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20 - 22, 2022}, pages = {11:1--11:48}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3551357.3551384}, doi = {10.1145/3551357.3551384}, timestamp = {Wed, 12 Oct 2022 17:45:09 +0200}, biburl = {https://dblp.org/rec/conf/ppdp/AmbalLSN22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.