Published March 20, 2021
| Version 1.1.0/Isabelle2021
Software
Open
Isabelle/DOF
Description
Isabelle/DOF is a Document Ontology Framework (DOF), on top of Isabelle/HOL, allowing to annotate text elements in formal developments with structured, typed meta-information which can be defined by developers according to their purposes (e.g., semantic queries, tool interaction, or document generation).
Files
Isabelle_DOF-1.1.0_Isabelle2021.pdf
Files
(5.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:37f86a26086282b3214cd4cb2be066a2
|
1.5 MB | Preview Download |
|
md5:d7716532d3937eef321884a34d72b49a
|
4.4 MB | Download |
|
md5:94e001a18bcd8fee5f06e8642471a9e5
|
833 Bytes | Download |
Additional details
Related works
- Is documented by
- 10.1007/978-3-319-96812-4_3 (DOI)
- 10.1007/978-3-030-30446-1_15 (DOI)