omelkonian/hoare-ledgers

Melkonian, Orestis

doi:10.4230/artifacts.23004

Artifact

omelkonian/hoare-ledgers Software

Author Orestis Melkonian

Part of: Collection: Supplementary Materials
License: MIT License
Publication Date: 2025-05-16

Document Identifiers

DOI: 10.4230/artifacts.23004
URN: urn:nbn:de:0030-drops-230046

Author Details

Orestis Melkonian

Input Output (IOG/IOHK)

Content

Software (Source Code): https://github.com/omelkonian/hoare-ledgers
archived version

Version/Status

Content created at: 2020-10-04

Cite As Get BibTex

Orestis Melkonian. omelkonian/hoare-ledgers (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/artifacts.23004

Description

Separation logic for UTXO-based blockchain ledgers

Subject Classification

Programming Languages

Agda
TeX

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail