Published March 20, 2021
| Version 1.1.0/Isabelle2020
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_Isabelle2020.pdf
Files
(5.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:e9d7e51d8e8a98006e4ba42e4c410c7b
|
1.5 MB | Preview Download |
|
md5:5dda57d1a4633c29e0a8655b587c6b8f
|
4.4 MB | Download |
|
md5:08dfa40f4a91d1ea6914a0ede60616e9
|
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)