About: Marlowe: Implementing and Analysing Financial Contracts on Blockchain

Not logged in : Login

(Sponging disallowed)

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Marlowe: Implementing and Analysing Financial Contracts on Blockchain Goto Sponge NotDistinct Permalink

An Entity of Type : bibo:BookSection, within Data Space : linkeddata.uriburner.com:28898 associated with source document(s)

Attributes	Values
type	http://eprints.org/ontology/BookSectionEPrint http://eprints.org/ontology/EPrint Article Book Section
seeAlso	HTML Summary of #82483 Marlowe: Implementing and Analysing Financial Contracts on Blockchain
sameAs	Marlowe: Implementing and Analysing Financial Contracts on Blockchain
http://www.loc.gov...erms/relators/EDT	Andrea Bracciali Massimiliano Sala L. Jean Camp Peter B. Rønne Matthew Bernhard Alana Maurushat Shin'ichiro Matsuo
http://eprints.org/ontology/hasDocument	Marlowe: Implementing and Analysing Financial Contracts on Blockchain (PDF) Marlowe: Implementing and Analysing Financial Contracts on Blockchain (PDF) Marlowe: Implementing and Analysing Financial Contracts on Blockchain (Other) Marlowe: Implementing and Analysing Financial Contracts on Blockchain (Other) Marlowe: Implementing and Analysing Financial Contracts on Blockchain (Other) Marlowe: Implementing and Analysing Financial Contracts on Blockchain (Other) Marlowe: Implementing and Analysing Financial Contracts on Blockchain (Other)
http://eprints.org/ontology/hasOther	Marlowe: Implementing and Analysing Financial Contracts on Blockchain (PDF)
http://eprints.org/ontology/hasPublished	Marlowe: Implementing and Analysing Financial Contracts on Blockchain (PDF)
dc:hasVersion	Marlowe: Implementing and Analysing Financial Contracts on Blockchain (PDF)
Title	Marlowe: Implementing and Analysing Financial Contracts on Blockchain
described by	https://demo.openlinksw.com/about/id/entity/https/raw.githubusercontent.com/annajordanous/CO644Files/main/export_kar_RDFN3.n3
Date	2020-08-07
Creator	Pablo Lamela Seijas David Smith Alexander Nemish Simon Thompson
status	peer reviewed published
Publisher	Springer
abstract	Marlowe is a DSL for financial contracts. We describe the implementation of Marlowe on the Cardano blockchain, and the Marlowe Playground web-based development and simulation environment. Contracts in Marlowe can be exhaustively analysed prior to running them, thus providing strong guarantees to participants in the contract. The Marlowe system itself has been formally verified using the Isabelle theorem prover, establishing such properties as the conservation of money.
Is Part Of	Financial Cryptography and Data Security https://kar.kent.ac.uk/id/repository
Subject	QA76.76 Computer software
list of authors	https://kar.kent.ac.uk/id/eprint/82483#authors
list of editors	https://kar.kent.ac.uk/id/eprint/82483#editors
is topic of	https://raw.githubusercontent.com/annajordanous/CO644Files/main/export_kar_RDFN3.n3
is primary topic of	HTML Summary of #82483 Marlowe: Implementing and Analysing Financial Contracts on Blockchain

Faceted Search & Find service v1.17_git149 as of Dec 03 2024

Alternative Linked Data Documents: iSPARQL | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3332 as of Jan 29 2025, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (378 GB total memory, 22 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software