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 : demo.openlinksw.com 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
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
is primary topic of	HTML Summary of #83710 Efficient Static Analysis of Marlowe Contracts

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: iSPARQL | ODE Content Formats:

RDF

ODATA

Microdata

About

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