About: Zooid: A DSL for Certified Multiparty Computation

Not logged in : Login

(Sponging disallowed)

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

About: Zooid: A DSL for Certified Multiparty Computation Goto Sponge NotDistinct Permalink

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

Attributes	Values
type	http://eprints.org/ontology/ConferenceItemEPrint http://eprints.org/ontology/EPrint Article Academic Article
seeAlso	HTML Summary of #88249 Zooid: A DSL for Certified Multiparty Computation
sameAs	Zooid: A DSL for Certified Multiparty Computation
http://eprints.org/ontology/hasAccepted	Zooid: A DSL for Certified Multiparty Computation (PDF)
http://eprints.org/ontology/hasDocument	Zooid: A DSL for Certified Multiparty Computation (PDF) Zooid: A DSL for Certified Multiparty Computation (Other) Zooid: A DSL for Certified Multiparty Computation (Other) Zooid: A DSL for Certified Multiparty Computation (Other) Zooid: A DSL for Certified Multiparty Computation (Other) Zooid: A DSL for Certified Multiparty Computation (Other)
dc:hasVersion	Zooid: A DSL for Certified Multiparty Computation (PDF)
Title	Zooid: A DSL for Certified Multiparty Computation
described by	https://demo.openlinksw.com/about/id/entity/https/raw.githubusercontent.com/annajordanous/CO644Files/main/export_kar_RDFN3.n3
Date	2021-06-19
Creator	David Castro-Perez Francisco Ferreira Lorenzo Gheri Nobuko Yoshida
status	peer reviewed published
Publisher	ACM
abstract	We design and implement Zooid, a domain specific language for certified multiparty communication, embedded in Coq and implemented atop our mechanisation framework of asynchronous multiparty session types (the first of its kind). Zooid provides a fully mechanised metatheory forthe semantics of global and local types, and a fully verified end-point process language that faithfully reflects the type-level behaviours and thus inherits the global types properties such as deadlock freedom, protocol compliance, and liveness guarantees.
Is Part Of	https://kar.kent.ac.uk/id/repository
Subject	QA 76 Software, computer programming,
list of authors	https://kar.kent.ac.uk/id/eprint/88249#authors
presented at	42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2021)
is topic of	https://raw.githubusercontent.com/annajordanous/CO644Files/main/export_kar_RDFN3.n3
is primary topic of	HTML Summary of #88249 Zooid: A DSL for Certified Multiparty Computation

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.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