About: Efficient Static Analysis of Marlowe Contracts

Not logged in : Login

(Sponging disallowed)

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

About: Efficient Static Analysis of Marlowe Contracts 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 #83710 Efficient Static Analysis of Marlowe Contracts
sameAs	Efficient Static Analysis of Marlowe Contracts
http://www.loc.gov...erms/relators/EDT	Tiziana Margaria Bernhard Steffen
http://eprints.org/ontology/hasAccepted	Efficient Static Analysis of Marlowe Contracts (PDF)
http://eprints.org/ontology/hasDocument	Efficient Static Analysis of Marlowe Contracts (PDF) Efficient Static Analysis of Marlowe Contracts (Other) Efficient Static Analysis of Marlowe Contracts (Other) Efficient Static Analysis of Marlowe Contracts (Other) Efficient Static Analysis of Marlowe Contracts (Other) Efficient Static Analysis of Marlowe Contracts (Other)
dc:hasVersion	Efficient Static Analysis of Marlowe Contracts (PDF)
Title	Efficient Static Analysis of Marlowe Contracts
described by	https://demo.openlinksw.com/about/id/entity/https/www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/export_kar_RDFN3.n3 https://demo.openlinksw.com/about/id/entity/https/raw.githubusercontent.com/annajordanous/CO644Files/main/export_kar_RDFN3.n3
Date	2020-10-26
Creator	Pablo Lamela Seijas David Smith Simon Thompson
status	peer reviewed published
Publisher	Springer
abstract	SMT solvers can verify properties automatically and efficiently, and they offer increasing flexibility on the ways those properties can be described. But it is hard to predict how those ways of describing the properties affect the computational cost of verifying them. In this paper, we discuss what we learned while implementing and optimising the static analysis for Marlowe, a domain specific language for self-enforcing financial smart-contracts that can be deployed on a blockchain.
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/83710#authors
list of editors	https://kar.kent.ac.uk/id/eprint/83710#editors
is topic of	https://www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/export_kar_RDFN3.n3 https://raw.githubusercontent.com/annajordanous/CO644Files/main/export_kar_RDFN3.n3
is primary topic of	HTML Summary of #83710 Efficient Static Analysis of Marlowe Contracts

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, 36 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software