Cargando…

Deep Generation of Coq Lemma Names Using Elaborated Terms

Coding conventions for naming, spacing, and other essentially stylistic properties are necessary for developers to effectively understand, review, and modify source code in large software projects. Consistent conventions in verification projects based on proof assistants, such as Coq, increase in im...

Descripción completa

Detalles Bibliográficos
Autores principales: Nie, Pengyu, Palmskog, Karl, Li, Junyi Jessy, Gligoric, Milos
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7324046/
http://dx.doi.org/10.1007/978-3-030-51054-1_6