Document Open Access Logo

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

Authors Darya Melicher, Yangqingwei Shi, Alex Potanin, Jonathan Aldrich

PDF

Artifact Description

Thumbnail PDF
PDF
DARTS.3.2.2.pdf
  • Filesize: 305 kB
  • 2 pages

Document Identifiers

Subject Classification

Keywords
  • language-based security
  • capabilities
  • authority
  • modules

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

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.

Cite As Get BibTex

Darya Melicher, Yangqingwei Shi, Alex Potanin, and Jonathan Aldrich. A Capability-Based Module System for Authority Control (Artifact). In Special Issue of the 31st European Conference on Object-Oriented Programming (ECOOP 2017). Dagstuhl Artifacts Series (DARTS), Volume 3, Issue 2, pp. 2:1-2:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017) https://doi.org/10.4230/DARTS.3.2.2

Author Details

Darya Melicher
Yangqingwei Shi
Alex Potanin
Jonathan Aldrich

Artifact

  MD5 Sum: 1c10ef1f84e6283f6ce962790da20fcc (Get MD5 Sum)

Related Article

  • Darya Melicher, Yangqingwei Shi, Alex Potanin, and Jonathan Aldrich, "A Capability-Based Module System for Authority Control", in 31st European Conference on Object-Oriented Programming (ECOOP 2017), LIPIcs, Vol. 74, pp. 20:1-20:27, 2017. https://doi.org/10.4230/LIPIcs.ECOOP.2017.20
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact