2014 | OriginalPaper | Buchkapitel
Programming and Proving
verfasst von : Tobias Nipkow, Gerwin Klein
Erschienen in: Concrete Semantics
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
This chapter introduces HOL as a functional programming language and shows how to prove properties of functional programs by induction.