A Polymorphic Vampire: (Short Paper)

We have modified the Vampire theorem prover to support rank-1 polymorphism. In this paper we discuss the changes required to enable this and compare the performance of polymorphic Vampire against other polymorphic provers. We also compare its performance on monomorphic problems against standard Vamp...

Descripción completa

Detalles Bibliográficos
Autores principales: Bhayat, Ahmed, Reger, Giles
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7324017/
http://dx.doi.org/10.1007/978-3-030-51054-1_21
_version_ 1783551865902858240
author Bhayat, Ahmed
Reger, Giles
author_facet Bhayat, Ahmed
Reger, Giles
author_sort Bhayat, Ahmed
collection PubMed
description We have modified the Vampire theorem prover to support rank-1 polymorphism. In this paper we discuss the changes required to enable this and compare the performance of polymorphic Vampire against other polymorphic provers. We also compare its performance on monomorphic problems against standard Vampire. Finally, we discuss how polymorphism can be used to support theory reasoning and present results related to this.
format Online
Article
Text
id pubmed-7324017
institution National Center for Biotechnology Information
language English
publishDate 2020
record_format MEDLINE/PubMed
spelling pubmed-73240172020-06-30 A Polymorphic Vampire: (Short Paper) Bhayat, Ahmed Reger, Giles Automated Reasoning Article We have modified the Vampire theorem prover to support rank-1 polymorphism. In this paper we discuss the changes required to enable this and compare the performance of polymorphic Vampire against other polymorphic provers. We also compare its performance on monomorphic problems against standard Vampire. Finally, we discuss how polymorphism can be used to support theory reasoning and present results related to this. 2020-06-06 /pmc/articles/PMC7324017/ http://dx.doi.org/10.1007/978-3-030-51054-1_21 Text en © Springer Nature Switzerland AG 2020 This article is made available via the PMC Open Access Subset for unrestricted research re-use and secondary analysis in any form or by any means with acknowledgement of the original source. These permissions are granted for the duration of the World Health Organization (WHO) declaration of COVID-19 as a global pandemic.
spellingShingle Article
Bhayat, Ahmed
Reger, Giles
A Polymorphic Vampire: (Short Paper)
title A Polymorphic Vampire: (Short Paper)
title_full A Polymorphic Vampire: (Short Paper)
title_fullStr A Polymorphic Vampire: (Short Paper)
title_full_unstemmed A Polymorphic Vampire: (Short Paper)
title_short A Polymorphic Vampire: (Short Paper)
title_sort polymorphic vampire: (short paper)
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7324017/
http://dx.doi.org/10.1007/978-3-030-51054-1_21
work_keys_str_mv AT bhayatahmed apolymorphicvampireshortpaper
AT regergiles apolymorphicvampireshortpaper
AT bhayatahmed polymorphicvampireshortpaper
AT regergiles polymorphicvampireshortpaper

Ejemplares similares