Automatic inductive equational reasoning
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/120914
Tipus de documentProjecte Final de Màster Oficial
Data2018-06
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
We present Phileas, an automatic theorem prover focused on structural induction. Phileas is capable of automatically proving properties about inductively defined data types in Haskell anb reporting a proof in a human readable format.
MatèriesFunctional programming (Computer science), Automatic theorem proving, Programació funcional (Informàtica), Teoremes -- Demostració automàtica
TitulacióMÀSTER UNIVERSITARI EN INNOVACIÓ I RECERCA EN INFORMÀTICA (Pla 2012)
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
134218.pdf | 1,137Mb | Visualitza/Obre |