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á bibliografia

Vydané v:	Journal of automated reasoning Ročník 64; číslo 5; s. 947 - 999
Hlavní autori:	Sozeau, Matthieu, Anand, Abhishek, Boulier, Simon, Cohen, Cyril, Forster, Yannick, Kunze, Fabian, Malecha, Gregory, Tabareau, Nicolas, Winterhalter, Théo
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Dordrecht Springer Netherlands 01.06.2020 Springer Nature B.V Springer Verlag
Predmet:	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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!