A Short Isabelle/HOL Tutorial for the Functional Programmer - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport (Rapport De Recherche) Année : 2015

A Short Isabelle/HOL Tutorial for the Functional Programmer

Thomas Genet
Software certification with semantic analysis

Résumé

The objective of this (very) short tutorial is to help any functional programmer to quickly put its hand on Isabelle/HOL and catch a glimpse of its power. Then, if you want some more, you should refer to the extensive Isabelle/HOL tutorial and documentation available in the tool.

Domaines

Génie logiciel [cs.SE] Informatique et langage [cs.CL] Langage de programmation [cs.PL]
Fichier principal
Vignette du fichier
main.pdf (186.5 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Thomas Genet  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01208577

Soumis le : jeudi 15 octobre 2015-10:15:55

Dernière modification le : mercredi 6 novembre 2024-11:12:03

Archivage à long terme le : jeudi 27 avril 2017-04:21:44

Télécharger pour visualiser

Dates et versions

hal-01208577 , version 1 (02-10-2015)
hal-01208577 , version 2 (15-10-2015)
hal-01208577 , version 3 (06-11-2015)
hal-01208577 , version 4 (15-06-2016)
hal-01208577 , version 5 (15-05-2017)
hal-01208577 , version 6 (28-08-2018)
hal-01208577 , version 7 (26-08-2020)
hal-01208577 , version 8 (20-09-2021)
hal-01208577 , version 9 (04-01-2023)

Identifiants

  • HAL Id : hal-01208577 , version 2

Citer

Thomas Genet. A Short Isabelle/HOL Tutorial for the Functional Programmer. [Research Report] IRISA. 2015. ⟨hal-01208577v2⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite
1118 Consultations
7103 Téléchargements

Partager

More