This HTML5 document contains 38 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n10doi:10.1007/
dctermshttp://purl.org/dc/terms/
n2https://kar.kent.ac.uk/id/eprint/
n14https://kar.kent.ac.uk/69846/
wdrshttp://www.w3.org/2007/05/powder-s#
n20http://purl.org/ontology/bibo/status/
dchttp://purl.org/dc/elements/1.1/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n4https://kar.kent.ac.uk/id/subject/
n8https://demo.openlinksw.com/about/id/entity/https/raw.githubusercontent.com/annajordanous/CO644Files/main/
n11http://eprints.org/ontology/
n15https://kar.kent.ac.uk/id/event/
bibohttp://purl.org/ontology/bibo/
n19https://kar.kent.ac.uk/id/publication/
n21https://kar.kent.ac.uk/id/org/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n17https://kar.kent.ac.uk/id/eprint/69846#
owlhttp://www.w3.org/2002/07/owl#
n6https://kar.kent.ac.uk/id/document/
n18https://kar.kent.ac.uk/id/
xsdhhttp://www.w3.org/2001/XMLSchema#
n22https://demo.openlinksw.com/about/id/entity/https/www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/
n16https://kar.kent.ac.uk/id/person/

Statements

Subject Item
n2:69846
rdf:type
bibo:Article bibo:BookSection n11:EPrint n11:BookSectionEPrint
rdfs:seeAlso
n14:
owl:sameAs
n10:978-3-030-03427-6_27
n11:hasAccepted
n6:3140575
n11:hasDocument
n6:3165533 n6:3165530 n6:3140586 n6:3165531 n6:3165532 n6:3140582 n6:3140583 n6:3140584 n6:3140585 n6:3140575 n6:3140576 n6:3140581
n11:hasPublished
n6:3140576
dc:hasVersion
n6:3140575 n6:3140576
dcterms:title
Marlowe: Financial Contracts on Blockchain
wdrs:describedby
n8:export_kar_RDFN3.n3 n22:export_kar_RDFN3.n3
dcterms:date
2018-10-30
dcterms:creator
n16:ext-p.lamela-seijas@kent.ac.uk n16:ext-s.j.thompson@kent.ac.uk
bibo:status
n20:peerReviewed n20:published
dcterms:publisher
n21:ext-a8d007d112f8b9261f4628b79e6a776e
bibo: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.
dcterms:isPartOf
n18:repository n19:ext-03029743
dcterms:subject
n4:QA76.76 n4:QA76
bibo:authorList
n17:authors
bibo:presentedAt
n15:ext-66fd79ce13e6e477613eb5e7c94d37cc