Toccata

Publications 2024

[1]	Allan Blanchard, Claude Marché, and Virgile Prevosto. Guide to Software Verification with Frama-C --- Core Components, Usages, and Applications, chapter Formally Expressing what a Program Should Do: the ACSL Language. Springer-Verlag, 2024. [ bib \| full text on HAL ]

[3]	Claude Marché and Denis Cousineau. De l'avantage de nuancer les décisions binaires. In 35es Journées Francophones des Langages Applicatifs, 2024. [ bib \| full text on HAL ]
[2]	Amin Timany, Armaël Guéneau, and Lars Birkedal. The logical essence of well-bracketed control flow. In POPL 2024 - 51st ACM SIGPLAN Symposium on Principles of Programming Languages. SIGPLAN, ACM, 2024. [ bib \| full text on HAL ]
[1]	François Pottier, Armaël Guéneau, Jacques-Henri Jourdan, and Glen Mével. Thunks and debits in separation logic with time credits. In POPL 2024 - 51st ACM SIGPLAN Symposium on Principles of Programming Languages, volume 8. SIGPLAN, ACM, 2024. [ bib \| full text on HAL ]

This page was generated by bibtex2html.