A Capability-Based Module System for Authority Control (Artifact)

Darya Melicher; Yangqingwei Shi; Alex Potanin; Jonathan Aldrich

doi:10.4230/DARTS.3.2.2

A Capability-Based Module System for Authority Control (Artifact)

Darya Melicher
, Yangqingwei Shi
, Alex Potanin
, Jonathan Aldrich

Research output: Contribution to journal › Short survey › peer-review

Abstract

This artifact is intended to demonstrate the module system of the Wyvern programming language and consists of a Linux virtual machine with a snapshot of the Wyvern programming language’s codebase. The Wyvern codebase contains a test suite that corresponds to the code examples in the paper accompanying the artifact. In addition, the artifact contains a document describing how to compile and run Wyvern programs.

Original language	English
Pages (from-to)	2:1-2:2
Journal	Dagstuhl Artifacts Series (DARTS)
Volume	3
Issue number	2
DOIs	https://doi.org/10.4230/DARTS.3.2.2
Publication status	Published - 20 Jun 2017
Externally published	Yes

Access to Document

10.4230/DARTS.3.2.2

https://dblp.org/db/journals/darts/darts3.html#MelicherSPA17

A Capability-Based Module System for Authority Control
Melicher, D., Shi, Y., Potanin, A. & Aldrich, J., Jun 2017, 31st European Conference on Object-Oriented Programming, ECOOP 2017. Müller, P. (ed.). Saarbrücken/Wadern: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 27 p. 20. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 74).
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review

Open Access
12 Citations (Scopus)

Cite this

@article{f0fd8475a3d64efdbea8d8b26ce0b53d,

title = "A Capability-Based Module System for Authority Control (Artifact)",

abstract = "This artifact is intended to demonstrate the module system of the Wyvern programming language and consists of a Linux virtual machine with a snapshot of the Wyvern programming language{\textquoteright}s codebase. The Wyvern codebase contains a test suite that corresponds to the code examples in the paper accompanying the artifact. In addition, the artifact contains a document describing how to compile and run Wyvern programs.",

author = "Darya Melicher and Yangqingwei Shi and Alex Potanin and Jonathan Aldrich",

year = "2017",

month = jun,

day = "20",

doi = "10.4230/DARTS.3.2.2",

language = "English",

volume = "3",

pages = "2:1--2:2",

journal = "Dagstuhl Artifacts Series (DARTS)",

publisher = "Schloss Dagstuhl – Leibniz-Zentrum f{\"u}r Informatik",

number = "2",

}

TY - JOUR

T1 - A Capability-Based Module System for Authority Control (Artifact)

AU - Melicher, Darya

AU - Shi, Yangqingwei

AU - Potanin, Alex

AU - Aldrich, Jonathan

PY - 2017/6/20

Y1 - 2017/6/20

N2 - This artifact is intended to demonstrate the module system of the Wyvern programming language and consists of a Linux virtual machine with a snapshot of the Wyvern programming language’s codebase. The Wyvern codebase contains a test suite that corresponds to the code examples in the paper accompanying the artifact. In addition, the artifact contains a document describing how to compile and run Wyvern programs.

AB - This artifact is intended to demonstrate the module system of the Wyvern programming language and consists of a Linux virtual machine with a snapshot of the Wyvern programming language’s codebase. The Wyvern codebase contains a test suite that corresponds to the code examples in the paper accompanying the artifact. In addition, the artifact contains a document describing how to compile and run Wyvern programs.

U2 - 10.4230/DARTS.3.2.2

DO - 10.4230/DARTS.3.2.2

M3 - Short survey

VL - 3

SP - 2:1-2:2

JO - Dagstuhl Artifacts Series (DARTS)

JF - Dagstuhl Artifacts Series (DARTS)

IS - 2

ER -

A Capability-Based Module System for Authority Control (Artifact)

Abstract

Access to Document

Fingerprint

Research output

A Capability-Based Module System for Authority Control

Cite this