KIT | KIT-Bibliothek | Impressum | Datenschutz

Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages

Ullrich, Sebastian; Moura, Leonardo de



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2020
Sprache Englisch
Identifikator KITopen-ID: 1000120867
Erschienen in 10th IJCAR (International Joint Conference on Automated Reasoning) and 5th FSCD Colocated, Paris, France, June 29 - July 6, 2020
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page