About: Marlowe: Financial Contracts on Blockchain

Not logged in : Login

(Sponging disallowed)

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

About: Marlowe: 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 #69846 Marlowe: Financial Contracts on Blockchain
sameAs	Marlowe: Financial Contracts on Blockchain
http://eprints.org/ontology/hasAccepted	Marlowe: Financial Contracts on Blockchain (PDF)
http://eprints.org/ontology/hasDocument	Marlowe: Financial Contracts on Blockchain (PDF) Marlowe: Financial Contracts on Blockchain (PDF) Marlowe: Financial Contracts on Blockchain (Other) Marlowe: Financial Contracts on Blockchain (Other) Marlowe: Financial Contracts on Blockchain (Other) Marlowe: Financial Contracts on Blockchain (Other) Marlowe: Financial Contracts on Blockchain (Other) Marlowe: Financial Contracts on Blockchain (Other) Marlowe: Financial Contracts on Blockchain (Other) Marlowe: Financial Contracts on Blockchain (Other) Marlowe: Financial Contracts on Blockchain (Other) Marlowe: Financial Contracts on Blockchain (Other)
http://eprints.org/ontology/hasPublished	Marlowe: Financial Contracts on Blockchain (PDF)
dc:hasVersion	Marlowe: Financial Contracts on Blockchain (PDF) Marlowe: Financial Contracts on Blockchain (PDF)
Title	Marlowe: 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	2018-10-30
Creator	Pablo Lamela Seijas Simon Thompson
status	peer reviewed published
Publisher	Springer-Verlag Berlin
abstract	Blockchains allow the specification of contracts in the form of programs that guarantee their fulfilment. Nevertheless, errors in those programs can cause important, and often irretrievable, monetary loss. General-purpose languages provide a platform on which contracts can be built, but by their very generality they have the potential to exhibit behaviours of an unpredictable kind, and are also not easy to read or comprehend for general users. An alternative solution is provided by domain-specific languages (DSLs), which are designed to express programs in a particular field. This paper explores the design of one DSL, Marlowe, targeted at the execution of financial contracts in the style of Peyton Jones et al. on blockchains. We present an executable semantics of Marlowe in Haskell, an example of Marlowe in practice, and describe the Meadow tool that allows users to interact in-browser with simulations of Marlowe contracts.
Is Part Of	Financial Cryptography and Data Security https://kar.kent.ac.uk/id/repository
Subject	QA 76 Software, computer programming, QA76.76 Computer software
list of authors	https://kar.kent.ac.uk/id/eprint/69846#authors
presented at	ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
is topic of	https://raw.githubusercontent.com/annajordanous/CO644Files/main/export_kar_RDFN3.n3
is primary topic of	HTML Summary of #69846 Marlowe: Financial Contracts on Blockchain

Faceted Search & Find service v1.17_git144 as of Jul 26 2024

Alternative Linked Data Documents: iSPARQL | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3331 as of Aug 25 2024, on Linux (x86_64-ubuntu_noble-linux-glibc2.38-64), Single-Server Edition (378 GB total memory, 37 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software