Cargando…
Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages
In interactive theorem provers (ITPs), extensible syntax is not only crucial to lower the cognitive burden of manipulating complex mathematical objects, but plays a critical role in developing reusable abstractions in libraries. Most ITPs support such extensions in the form of restrictive “syntax su...
Autores principales: | Ullrich, Sebastian, de Moura, Leonardo |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
2020
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7324063/ http://dx.doi.org/10.1007/978-3-030-51054-1_10 |
Ejemplares similares
-
Automation in language translation and theorem proving: some applications of mathematical logic
por: Van Scheepen, Francs, et al.
Publicado: (1968) -
Symbolic logic and mechanical theorem proving
por: Chang, Chin-Liang, et al.
Publicado: (1969) -
Automated theorem proving: theory and practice
por: Newborn, Monty
Publicado: (2001) -
Symbolic logic and mechanical theorem proving
por: Chang Chin Liang, et al.
Publicado: (1973) -
Subsumption Demodulation in First-Order Theorem Proving
por: Gleiss, Bernhard, et al.
Publicado: (2020)