Compiling Higher-Order Specifications to SMT Solvers: How to Deal with Rejection Constructively

Autor:	Matthew L. Daggitt, Robert Atkey, Wen Kokke, Ekaterina Komendantskaya, Luca Arnaboldi
Rok vydání:	2023
Zdroj:	Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::f644e533e8e3260cf056f3e9301f68a2 https://doi.org/10.1145/3573105.3575674 Zobrazit plný text záznamu