Einzeltreffer — DigiBib

The Coq Community Survey 2022 was an online public survey of users of the Coq proof assistant conducted during February 2022. Broadly, the survey asked about use of Coq features, user interfaces, libraries, plugins, and tools, views on renaming Coq and Coq improvements, and also demographic data such as education and experience with Coq and other proof assistants and programming languages. The survey received 466 submitted responses, making it the largest survey of users of an interactive theorem prover (ITP) so far. We present the design of the survey, a summary of key results, and analysis of answers relevant to ITP technology development and usage. In particular, we analyze user characteristics associated with adoption of tools and libraries and make comparisons to adjacent software communities. Notably, we find that experience has significant impact on Coq user behavior, including on usage of tools, libraries, and integrated development environments. ... : LIPIcs, Vol. 268, 14th International Conference on Interactive Theorem Proving (ITP 2023), pages 12:1-12:18 ...

Titel:	Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users ...
Autor/in / Beteiligte Person:	de Almeida Borges, Ana ; Casanueva Artís, Annalí ; Falleri, Jean-Rémy ; Gallego Arias, Emilio Jesús ; Martin-Dorel, Érik ; Palmskog, Karl ; Serebrenik, Alexander ; Zimmermann, Théo
Link:	https://coq-workshop.gitlab.io/2022/abstracts/Coq2022-04-01-community-survey.pdf https://coq-workshop.gitlab.io/2022/slides/Coq2022-04-01-community-survey.pdf https://github.com/braibant/coq-survey/blob/master/popl-coq.pdf https://thzimmer.gitlabpages.inria.fr/coq-survey-2022-assets/LimeSurvey/questionnaire_chinese.html https://thzimmer.gitlabpages.inria.fr/coq-survey-2022-assets/LimeSurvey/questionnaire_356388_en.html https://coq.discourse.group/t/coq-community-survey-2022-results-part-i/1730 https://coq.discourse.group/t/coq-community-survey-2022-results-part-ii/1746 https://coq.discourse.group/t/coq-community-survey-2022-results-part-iii/1777 https://taylor.fausak.me/2022/11/18/haskell-survey-results/ https://2022.stateofjs.com/en-US/ http://www.jstor.org/stable/4615733 https://discuss.ocaml.org/t/suggestions-from-the-ocaml-survey-result/6791 https://doi.org/10.5281/zenodo.7930567 https://doi.org/10.4230/LIPIcs.ITP.2023 https://doi.org/10.1145/3497775.3503951 https://doi.org/10.1145/3293880.3294087 https://doi.org/10.1177/1536867X20976314 https://doi.org/10.4230/lipics.itp.2023.1210.5281/zenodo.793056710.4230/LIPIcs.ITP.202310.1145/3497775.350395110.1145/3293880.329408710.1177/1536867X20976314
Veröffentlichung:	Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023
Medientyp:	Konferenz
DOI:	10.4230/lipics.itp.2023.12
Schlagwort:	Coq Community Survey Statistical Analysis Software and its engineering → Formal methods General and reference → Empirical studies
Sonstiges:	Nachgewiesen in: BASE Sprachen: English Collection: DataCite Metadata Store (German National Library of Science and Technology) Document Type: conference object ; article in journal/newspaper File Description: application/pdf Language: English Rights: info:eu-repo/semantics/openAccess ; Creative Commons Attribution 4.0 International license ; https://creativecommons.org/licenses/by/4.0/legalcode ; cc by 4.0

Klicken Sie ein Format an und speichern Sie dann die Daten oder geben Sie eine Empfänger-Adresse ein und lassen Sie sich per Email zusenden.

BibTeX Citavi, JabRef, u.a.
(Literaturverwaltung)

PDF kein Volltext!
(Merkzettel, Notizen)

RIS Endnote, Citavi u.a.
(Literaturverwaltung)

MODS
(XML zur Weiterverarbeitung)

oder

Wählen Sie das für Sie passende Zitationsformat und kopieren Sie es dann in die Zwischenablage, lassen es sich per Mail zusenden oder speichern es als PDF-Datei.

Gewünschter Zitations-Stil:

oder

Bitte prüfen Sie, ob die Zitation formal korrekt ist, bevor Sie sie in einer Arbeit verwenden. Benutzen Sie gegebenenfalls den "Exportieren"-Dialog, wenn Sie ein Literaturverwaltungsprogramm verwenden und die Zitat-Angaben selbst formatieren wollen.

Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users ...