The MetaCoq Project

The MetaCoq project aims to provide a certified meta-programming environment in Coq . It builds on Template-Coq , a plugin for Coq originally implemented by Malecha (Extensible proof engineering in intensional type theory, Harvard University, http://gmalecha.github.io/publication/2015/02/01/extensib...

Celý popis

Podrobná bibliografie

Vydáno v:	Journal of automated reasoning Ročník 64; číslo 5; s. 947 - 999
Hlavní autoři:	Sozeau, Matthieu, Anand, Abhishek, Boulier, Simon, Cohen, Cyril, Forster, Yannick, Kunze, Fabian, Malecha, Gregory, Tabareau, Nicolas, Winterhalter, Théo
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Dordrecht Springer Netherlands 01.06.2020 Springer Nature B.V Springer Verlag
Témata:	Artificial Intelligence Compilers Computer Science Extensibility Formal specifications Kernels Mathematical Logic and Formal Languages Mathematical Logic and Foundations Programming environments Programming Languages Semantics Symbolic and Algebraic Manipulation Meta-Programming Proof assistants Program certification
ISSN:	0168-7433, 1573-0670
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!