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...
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 |
Ejemplares similares
-
Practical Machine-Checked Formalization of Change Impact Analysis
por: Palmskog, Karl, et al.
Publicado: (2020) -
QED at large: a survey of engineering of formally verified software
por: Ringer, Talia, et al.
Publicado: (2019) -
The Borel-Cantelli Lemma
por: Chandra, Tapas Kumar
Publicado: (2012) -
The statin D-lemma
por: Holick, Michael F.
Publicado: (2012) -
Pauli Manuscript Collection: Lemma
por: Schafroth, Max Robert
Publicado: (2002)